|
Titre :
|
Technique et science informatiques.
|
|
Titre de série :
|
Technique et science informatiques, 8 (2002)
|
|
Auteurs :
|
Janine Souquières, Metteur en scène, réalisateur
|
|
Type de document :
|
texte imprimé
|
|
Editeur :
|
Paris : Hermès science publications, 2002
|
|
ISBN/ISSN/EAN :
|
978-2-7462-0591-8
|
|
Format :
|
112 p. / ill. / 24 x 16 cm
|
|
Langues:
|
Français
|
|
Index. décimale :
|
005.5
|
|
Mots-clés:
|
méthodes formelles (informatique)
;
congrès
;
logiciels
;
développement
|
|
Résumé :
|
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.
|
