Résultat de la recherche
2 recherche sur le tag 'méthodes formelles'




![]()
texte imprimé
"De nombreux modèles formels à objets ont été proposés au cours de la période écoulée. Les concepteurs d'outils de développement disposent maintenant d'un ensemble fourni de théories pour formaliser les systèmes à objets, mais ces théories sont [...]![]()
texte imprimé
Nicolas Navet | Paris [France] : Lavoisier | Traité IC2 (Série : informatique et systèmes d'information), Dirigée par : Jean-Charles, Pomerol | 2006Aujourd'hui, les systèmes informatiques temps réel sont présents dans de multiples secteurs d'activités : contrôle des systèmes automatisés de production, aide à la conduite des véhicules ou gestion des flux d'information sur des réseaux locaux [...]