Résultat de la recherche
2 résultat(s) recherche sur le tag 'méthodes formelles'
trié(s) par (Pertinence décroissant(e), Titre croissant(e)) Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche
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 [...]