Cahier d'exercices : N 1 Modélisation ensembliste ... - Univ. Nantes
Décrivez un commutateur ayant exactement deux positions on et off en utilisant
un type de base. POSITION qui définit les positions. Quel(s) constat(s) faites-vous
sur ce type de spécification et en général sur la façon de spécifier des ensembles
ayant tr`es peu d'éléments ? Exercice 3 : relations, composition, restriction.
Un extrait du document