This book is a self-contained exposition of formal (i. e. rigorous, mathematical) methods for the specification, analysis and verification of system design. Representative applications of these methods are given to software specification and communications standardisation. The book is aimed at practising design engineers, rather than at theoretical computer scientists.
Sprache
Verlagsort
Verlagsgruppe
McGraw-Hill Education - Europe
Zielgruppe
Für höhere Schule und Studium
Für Beruf und Forschung
Illustrationen
Maße
ISBN-13
978-0-632-01931-1 (9780632019311)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Klassifikation
Formal methods - theory and practice; LOTOS and the formal specification of communication standards - an example; developing a high level specification formalism; form specification, through design to code - a case study in refinement; simple transaction processing and CSP.
