عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
364259851X
9783642598517
b551257
Algebraic Foundations of Systems Specification
[Book]
edited by Egidio Astesiano, Hans-Jörg Kreowski, Bernd Krieg-Brückner.
Berlin, Heidelberg
Springer Berlin Heidelberg
1999
(xii, 616 pages 57 illustrations)
IFIP state-of-the-art reports.
Preface --;The Role of Formal Specifications --;Algebraic Preliminaries --;From Total Equational to Partial First Order Logic --;Institutions: An Abstract Framework for Formal Specifications --;Specification Semantics --;Structuring and Modularity --;Refinement and Implementation --;Specification Languages --;Term Rewriting --;Proof in Flat Specifications --;Proof Systems for Structured Specifications and Their Refinements --;Object Specification --;Algebraic Specification of Concurrent Systems --;Formalization of the Development Process --;Bibliography --;Index.
This volume covers active topics and advances in system specification including: specification semantics; refinement; specification languages; term rewriting; deduction; model-oriented specification; object-specification; and concurrency. Topics are illuminated with examples.
Computer science.
Logic design.
Software engineering.
edited by Egidio Astesiano, Hans-Jörg Kreowski, Bernd Krieg-Brückner.
B Krieg-Brückner
Egidio Astesiano
H -J Kreowski
مطالعه متن کتاب [Book]
Y
