Verwandte Artikel zu Formal Specification and Design (Cambridge Tracts in...
Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science, Series Number 35) - Hardcover
Inhaltsangabe
The authors describe specification techniques from the unified view of the Common Object-oriented Language for Design.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Críticas
..".well-written...a good introduction to formal specification concepts. It is very readable and elegant. It may be used in an almost notation-independent way, not just by those who are interested in the COLD-K notation." H.I. Kilov, Computing Reviews
Reseña del editor
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, a wide-spectrum language in the tradition of VDM and Z. The kernel language is explained in detail, with many examples, including: set representation, a display device, an INGRES-like database system, and a line editor. Fundamental techniques such as initial algebra semantics, loose semantics, partial functions, hiding, sharing, predicate and dynamic logic, abstraction functions, representation of invariants and black-box correctness are also presented. More advanced ideas, for example Horn logic, and large systems are given in the final part. 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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Neu kaufen
Diesen Artikel anzeigen
EUR 129,49
EUR 7,74 für den Versand von USA nach Deutschland
Versandziele, Kosten & Dauer
Suchergebnisse für Formal Specification and Design (Cambridge Tracts in...
Beispielbild für diese ISBN
Formal Specification and Design
Verlag:
Cambridge University Press, 1992
ISBN 10: 0521434572
ISBN 13: 9780521434577
Gebraucht
Hardcover
Anbieter: Ammareal, Morangis, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Très bon. Ancien livre de bibliothèque. Edition 1992. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1992. Ammareal gives back up to 15% of this item's net price to charity organizations. Bestandsnummer des Verkäufers E-731-952
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Formal Specification and Design
Verlag:
Cambridge University Press CUP, 1992
ISBN 10: 0521434572
ISBN 13: 9780521434577
Neu
Hardcover
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. pp. 351. Bestandsnummer des Verkäufers 262118291
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Formal Specification and Design
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. pp. 351. Bestandsnummer des Verkäufers 182118297
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Formal Specification and Design
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. pp. 351. Bestandsnummer des Verkäufers 5762380
Anzahl: 1 verfügbar