Formal specification and design

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 f...

Ausführliche Beschreibung

Bibliographische Detailangaben

1. Verfasser:	Feijs, L. M. G. (VerfasserIn)
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	Cambridge Cambridge University Press 1992
Schriftenreihe:	Cambridge tracts in theoretical computer science 35
Schlagworte:	Computer software / Development Object-oriented programming (Computer science) Algebraische Spezifikation Softwarespezifikation Systemplanung Systementwurf Softwareentwicklung
Online-Zugang:	BSB01 FHN01 URL des Erstveröffentlichers
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!