Fr. 98.50

Formal Specification and Design

Anglais · Livre de poche

Expédition généralement dans un délai de 1 à 3 semaines (ne peut pas être livré de suite)

Description

En savoir plus

Klappentext Formal specification is a method for precisely modelling computer-based systems that combines concepts from software engineering and mathematical logic. In this book the authors describe algebraic and state-based specification techniques from the unified view of the Common Object-oriented Language for Design! COLD. The kernel language is explained in detail! with many examples. Fundamental and advanced methods are also presented. Appendices contain full details of the language's syntax and a specification library. Techniques for software development and design are emphasised throughout! so the book will be an excellent choice for courses in these areas. Zusammenfassung The authors describe specification techniques from the unified view of the Common Object-oriented Language for Design. Inhaltsverzeichnis Part I. Algebraic Specification: 1. Introducing the basic concepts; 2. Setting up algebraic specifications; 3. Structuring algebraic specifications; 4. Implementing algebraic specifications; Part II. State-Based Specification: 5. From algebras to states; 6. Setting up state-based specification; 7. Structuring state-based specification; 8. Implementing state-based specification; Part III. Advanced Techniques: 9. Theoretical topics; 10. Additional language constructs; 11. Towards large systems; Bibliography; Appendices; Index.

Détails du produit

Auteurs L. M. G. Feijs, L. M. G. Jonkers Feijs, Loe M.g. Jonkers Feijs, H. B. M. Jonkers, Feijs L. M. G.
Edition Cambridge University Press ELT
 
Langues Anglais
Format d'édition Livre de poche
Sortie 10.11.2005
 
EAN 9780521435925
ISBN 978-0-521-43592-5
Pages 352
Thème Cambridge Tracts in Theoretica
Catégorie Sciences naturelles, médecine, informatique, technique > Informatique, ordinateurs > Informatique

Commentaires des clients

Aucune analyse n'a été rédigée sur cet article pour le moment. Sois le premier à donner ton avis et aide les autres utilisateurs à prendre leur décision d'achat.

Écris un commentaire

Super ou nul ? Donne ton propre avis.

Pour les messages à CeDe.ch, veuillez utiliser le formulaire de contact.

Il faut impérativement remplir les champs de saisie marqués d'une *.

En soumettant ce formulaire, tu acceptes notre déclaration de protection des données.