L'automatisation de la ligne 1 a été réalisée côté logiciel au moyen de la méthode B. La méthode B permet de prouver la cohérence d'une conception logicielle avec une spécification formelle (mathématique).
Elle est toujours utilisée aujourd'hui par des industriels du ferroviaire comme Alstom ou Siemens.
[^] # Re: Assembleur
Posté par -mat . En réponse au journal Code source de Apollo 11. Évalué à 2.
L'automatisation de la ligne 1 a été réalisée côté logiciel au moyen de la méthode B. La méthode B permet de prouver la cohérence d'une conception logicielle avec une spécification formelle (mathématique).
Elle est toujours utilisée aujourd'hui par des industriels du ferroviaire comme Alstom ou Siemens.