Les Inscriptions à la Bibliothèque sont ouvertes en
ligne via le site: https://biblio.enp.edu.dz
Les Réinscriptions se font à :
• La Bibliothèque Annexe pour les étudiants en
2ème Année CPST
• La Bibliothèque Centrale pour les étudiants en Spécialités
A partir de cette page vous pouvez :
Retourner au premier écran avec les recherches... |
Détail de l'auteur
Auteur Bruce Mills
Documents disponibles écrits par cet auteur
Faire une suggestion Affiner la recherchePractical formal software engineering / Bruce Mills
Titre : Practical formal software engineering : wanting the software you get Type de document : texte imprimé Auteurs : Bruce Mills, Auteur Editeur : Cambridge : Cambridge University Press Année de publication : 2009 Importance : XXXIII,339 p. Présentation : ill. Format : 26 cm ISBN/ISSN/EAN : 978-0-521-87903-3 Note générale : Bibliogr. - Index Langues : Anglais (eng) Mots-clés : Software engineering -- Textbooks
Logiciels -- Guides pratiques et mémentosIndex. décimale : 004.4 Logiciel. Programme Résumé : Based around a theme of the construction of a game engine, this textbook is for final year undergraduate and graduate students, emphasising formal methods in writing robust code quickly. This book takes an unusual, engineering-inspired approach to illuminate the creation and verification of large software systems . Where other textbooks discuss business practices through generic project management techniques or detailed rigid logic systems, this book examines the interaction between code in a physical machine and the logic applied in creating the software. These elements create an informal and rigorous study of logic, algebra, and geometry through software. Assuming prior experience with C, C++, or Java programming languages, chapters introduce UML, OCL, and Z from scratch. Extensive worked examples motivate readers to learn the languages through the technical side of software science. Note de contenu : In summary :
1. Fundamentals:
2. Languae
3. PracticePractical formal software engineering : wanting the software you get [texte imprimé] / Bruce Mills, Auteur . - Cambridge : Cambridge University Press, 2009 . - XXXIII,339 p. : ill. ; 26 cm.
ISBN : 978-0-521-87903-3
Bibliogr. - Index
Langues : Anglais (eng)
Mots-clés : Software engineering -- Textbooks
Logiciels -- Guides pratiques et mémentosIndex. décimale : 004.4 Logiciel. Programme Résumé : Based around a theme of the construction of a game engine, this textbook is for final year undergraduate and graduate students, emphasising formal methods in writing robust code quickly. This book takes an unusual, engineering-inspired approach to illuminate the creation and verification of large software systems . Where other textbooks discuss business practices through generic project management techniques or detailed rigid logic systems, this book examines the interaction between code in a physical machine and the logic applied in creating the software. These elements create an informal and rigorous study of logic, algebra, and geometry through software. Assuming prior experience with C, C++, or Java programming languages, chapters introduce UML, OCL, and Z from scratch. Extensive worked examples motivate readers to learn the languages through the technical side of software science. Note de contenu : In summary :
1. Fundamentals:
2. Languae
3. PracticeExemplaires
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 053821 004.4 MIL Papier Bibliothèque Centrale Informatique Disponible Consultation sur place