================================================== SOA7 Page 4 - Un exemple de spécification formelle : Lego Mindstorm®



Ontologie : Urbanity

élément : Sequence_Unit_Class

rdf:ID : Cours_SOA7_Page04

rdfs:label : SOA7 Page 4 - Un exemple de spécification formelle : Lego Mindstorm®

image/svg+xml Conception : Henry Boccon-Gibod Sequence Unit c ≤ 1 URL Fonctionelle D Cours/SOA7/IMG/img4.jpg fait partie de P Cours SOA7 - Pratique de la méthodologie Praxeme, à l'usage de l'atelier Objecteering ≤ 1 précède P SOA7 Page 5 - Théorie et pragmatisme des spécifications suit IF SOA7 Page 3 - Notions de spécifications formelles, semi-formelles, informelles (2) SOA7 Page 4 - Un exemple de spécification formelle : Lego Mindstorm®