GEOTRUST SSL CERTIFICATE
Résultat de la recherche
3 recherche sur le mot-clé 'méthodes formelles (informatique)'
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![Imprimer la page de recherche courante...](./images/print.gif)
![Tris disponibles](./images/orderby_az.gif)
![]()
texte imprimé
Présente une formalisation des systèmes numériques modélisant leur comportement au moyen de fonctions booléennes ou de formules de la logique. Les systèmes digitaux regroupent les ordinateurs et la plupart des techniques de transmission de l'inf[...]![]()
texte imprimé
Yves Ledru, Metteur en scène, réalisateur ; Marie-Laure Potet, Metteur en scène, réalisateur | Paris : Hermès science publications | 2001Numéro thématique suite à l'atelier AFALD'2000 (approches formelles dans l'assistance au développement de logiciels) qui s'est tenu à Grenoble en janvier 2000. Aborde notamment : l'étude de cas d'un système de contrôle d'accès à un ensemble de b[...]![]()
texte imprimé
Fait suite à l'atelier AFADL'2001. Plusieurs thèmes autour des différentes phases de développement d'un logiciel : approche UML, application des méthodes formelles, génération de tests, méthodologie de formalisation et vérification.