|
" Algebraic Foundations of Systems Specification "
edited by Egidio Astesiano, Hans-Jörg Kreowski, Bernd Krieg-Brückner.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
731471
|
| Doc. No
|
:
|
b551257
|
| Main Entry
|
:
|
edited by Egidio Astesiano, Hans-Jörg Kreowski, Bernd Krieg-Brückner.
|
| Title & Author
|
:
|
Algebraic Foundations of Systems Specification\ edited by Egidio Astesiano, Hans-Jörg Kreowski, Bernd Krieg-Brückner.
|
| Publication Statement
|
:
|
Berlin, Heidelberg: Springer Berlin Heidelberg, 1999
|
| Series Statement
|
:
|
IFIP state-of-the-art reports.
|
| Page. NO
|
:
|
(xii, 616 pages 57 illustrations)
|
| ISBN
|
:
|
364259851X
|
|
|
:
|
: 9783642598517
|
| Contents
|
:
|
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.
|
| Abstract
|
:
|
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.
|
| Subject
|
:
|
Computer science.
|
| Subject
|
:
|
Logic design.
|
| Subject
|
:
|
Software engineering.
|
| Added Entry
|
:
|
B Krieg-Brückner
|
|
|
:
|
Egidio Astesiano
|
|
|
:
|
H -J Kreowski
|
| |