Approches formelles pour le développement de logiciels / Jean-Marc Jézéquel

Public ISBD Titre : Approches formelles pour le développement de logiciels : préparé suite à l'atelier AFADL'2003 tenu à Rennes en janvier 2003 Type de document : texte imprimé Auteurs : Jean-Marc Jézéquel, Directeur de publication, rédacteur en chef ; Jeanine Souquières, Directeur de publication, rédacteur en chef Editeur : Paris : Hermès Science Publications Année de publication : 2004 Autre Editeur : Paris : Éditions Lavoisier Collection : TSI. Technique et science informatiques num. 23 Importance : 850-956 p. Format : 24 cm. ISBN/ISSN/EAN : 978-2-7462-1016-5 Langues : Français Catégories : INFORMATIQUE:005.1.Programmation,programmes,organisations des donnees Mots-clés : Méthodes formelles (informatique)  Logiciels-Développement  Actes de congrès Approches formelles pour le développement de logiciels : préparé suite à l'atelier AFADL'2003 tenu à Rennes en janvier 2003 [texte imprimé] / Jean-Marc Jézéquel, Directeur de publication, rédacteur en chef ; Jeanine Souquières, Directeur de publication, rédacteur en chef . - Paris : Hermès Science Publications : Paris : Éditions Lavoisier, 2004 . - 850-956 p. ; 24 cm.. - (TSI. Technique et science informatiques; 23) . ISBN : 978-2-7462-1016-5 Langues : Français Catégories : INFORMATIQUE:005.1.Programmation,programmes,organisations des donnees Mots-clés : Méthodes formelles (informatique)  Logiciels-Développement  Actes de congrès

Réservation

Réserver ce document

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
005.1.801-1	005.1.801-1	Livre interne	BIBLIOTHEQUE CENTRALE	Informatique (bc)	Disponible

Numéro 7 - Approches formelles pour le développement de logiciels (Bulletin de Revue des sciences et technologies de l'information, Numéro 7 [01/02/2004]) / Jean-Marc Jézéquel

Public ISBD [n° ou bulletin]  est un bulletin de Revue des sciences et technologies de l'information Titre : Numéro 7 - Approches formelles pour le développement de logiciels : préparé suite à l'atelier AFADL'2003 tenu à Rennes en janvier 2003 Type de document : texte imprimé Auteurs : Jean-Marc Jézéquel, Directeur de publication, rédacteur en chef ; Jeanine Souquières, Directeur de publication, rédacteur en chef Année de publication : 2004 Langues : Français Mots-clés : Méthodes formelles (informatique)  Logiciels-Développement  Actes de congrès [n° ou bulletin]  est un bulletin de Revue des sciences et technologies de l'information Numéro 7 - Approches formelles pour le développement de logiciels : préparé suite à l'atelier AFADL'2003 tenu à Rennes en janvier 2003 [texte imprimé] / Jean-Marc Jézéquel, Directeur de publication, rédacteur en chef ; Jeanine Souquières, Directeur de publication, rédacteur en chef . - 2004. Langues : Français Mots-clés : Méthodes formelles (informatique)  Logiciels-Développement  Actes de congrès

Contient

• Validation des règles de base de l'atelier B / Karim Berkani in Revue des sciences et technologies de l'information, Numéro 7 ([01/02/2004])
• Adaptabilité et validation de la traduction de B vers C / Frédéric Badeau in Revue des sciences et technologies de l'information, Numéro 7 ([01/02/2004])
• Stratégie de couverture de test à un haut niveau d'abstraction / Pierre Bontron in Revue des sciences et technologies de l'information, Numéro 7 ([01/02/2004])
• La méthode B et l'ingénierie système in Revue des sciences et technologies de l'information, Numéro 7 ([01/02/2004])
• Les réseaux de régulation biologique in Revue des sciences et technologies de l'information, Numéro 7 ([01/02/2004])
• Modèles de programmation mon conventionnels in Revue des sciences et technologies de l'information, Numéro 7 ([01/02/2004])

Réservation

Réserver ce document

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
RV 11-201-1	RV 11-201-1	Périodique	BIBLIOTHEQUE DE FACULTE DES SCIENCES	Périodiques (SCI)	Disponible
RV 11-201-2	RV 11-201-2	Périodique	BIBLIOTHEQUE DE FACULTE DES SCIENCES	Périodiques (SCI)	Disponible

---

page 1/1