Technique et science informatiques, n° 8 (2002). Approches formelles dans l'assistance au développement de logiciels
Éditeur: Lavoisier-Hermès
2002112 pagesISBN 9782746205918
Format: BrochéLangue : Français
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.
Ce livre est proposé par (0) membre(s)
Ce livre est mis en favori par (0) membre(s)