عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
364259851X
(Number (ISBN
9783642598517
NATIONAL BIBLIOGRAPHY NUMBER
Number
b551257
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Algebraic Foundations of Systems Specification
General Material Designation
[Book]
First Statement of Responsibility
edited by Egidio Astesiano, Hans-Jörg Kreowski, Bernd Krieg-Brückner.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin, Heidelberg
Name of Publisher, Distributor, etc.
Springer Berlin Heidelberg
Date of Publication, Distribution, etc.
1999
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
(xii, 616 pages 57 illustrations)
SERIES
Series Title
IFIP state-of-the-art reports.
CONTENTS NOTE
Text of Note
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.
SUMMARY OR ABSTRACT
Text of Note
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.
TOPICAL NAME USED AS SUBJECT
Computer science.
Logic design.
Software engineering.
PERSONAL NAME - PRIMARY RESPONSIBILITY
edited by Egidio Astesiano, Hans-Jörg Kreowski, Bernd Krieg-Brückner.
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
B Krieg-Brückner
Egidio Astesiano
H -J Kreowski
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
