Algebraic Foundations of Systems Specification / edited by Egidio Astesiano, Hans-Jörg Kreowski, Bernd Krieg-Brückner.
This IFIP state-of-the-art report presents a collection of fundamental high-quality contributions on the algebraic foundations of systems specification. The contributions cover and survey current topics and recent advances, and address such subjects as: the role of formal specification, algebraic pr...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Main Author: | |
| Other Authors: | , |
| Format: | eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
1999.
|
| Edition: | 1. |
| Series: | IFIP state-of-the-art reports.
|
| Subjects: |
MARC
| LEADER | 00000cam a2200000Mi 4500 | ||
|---|---|---|---|
| 001 | b8009788 | ||
| 006 | m o d | ||
| 007 | cr ||||||||||| | ||
| 008 | 121227s1999 gw a ob 001 0 eng | ||
| 005 | 20240418145853.3 | ||
| 019 | |a 607385706 |a 607833864 |a 934989933 |a 936313814 | ||
| 020 | |a 9783642598517 |q (electronic bk.) | ||
| 020 | |a 364259851X |q (electronic bk.) | ||
| 020 | |z 9783642641510 | ||
| 020 | |z 3642641512 | ||
| 020 | |z 3540637729 |q (hardcover ; |q alk. paper) | ||
| 020 | |z 9783540637721 |q (hardcover ; |q alk. paper) | ||
| 024 | 7 | |a 10.1007/978-3-642-59851-7 | |
| 035 | |a (OCoLC)spr851833081 | ||
| 035 | |a (OCoLC)851833081 |z (OCoLC)607385706 |z (OCoLC)607833864 |z (OCoLC)934989933 |z (OCoLC)936313814 | ||
| 037 | |a spr10.1007/978-3-642-59851-7 | ||
| 040 | |a AU@ |b eng |e pn |c AU@ |d OCLCO |d OCLCQ |d OCLCE |d I9W |d GW5XE |d OCLCF |d COO |d OCLCQ |d EBLCP |d OCLCQ | ||
| 042 | |a dlr | ||
| 049 | |a GWRE | ||
| 050 | 4 | |a QA76.6-76.66 | |
| 100 | 1 | |a Astesiano, Egidio. | |
| 245 | 1 | 0 | |a Algebraic Foundations of Systems Specification / |c edited by Egidio Astesiano, Hans-Jörg Kreowski, Bernd Krieg-Brückner. |
| 250 | |a 1. | ||
| 260 | |a Berlin, Heidelberg : |b Springer Berlin Heidelberg, |c 1999. | ||
| 300 | |a 1 online resource (xii, 616 pages 57 illustrations) | ||
| 336 | |a text |b txt |2 rdacontent. | ||
| 337 | |a computer |b c |2 rdamedia. | ||
| 338 | |a online resource |b cr |2 rdacarrier. | ||
| 490 | 1 | |a IFIP State-of-the-Art Reports. | |
| 505 | 0 | |a 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. | |
| 504 | |a Includes bibliographical references (pages 563-610) and indexes. | ||
| 520 | |a This IFIP state-of-the-art report presents a collection of fundamental high-quality contributions on the algebraic foundations of systems specification. The contributions cover and survey current topics and recent advances, and address such subjects as: the role of formal specification, algebraic preliminaries, partiality, institutions, specification semantics, structuring, refinement, specification languages, term rewriting, deduction and proof systems, object specification, concurrency, and the development process. The authors are well-known experts in the field. The book is an outcome of IFIP WG 1.3 (Foundations of Systems Specification) in cooperation with Esprit Basic Research WG COMPASS, and provides the foundations of the algebraic specification language CASL designed in the CoFI (Common Framework Initiative for Algebraic Specification and Development) project. It is aimed at system developers, researchers, and students. | ||
| 650 | 0 | |a Computer science. | |
| 650 | 0 | |a Software engineering. | |
| 650 | 0 | |a Logic design. | |
| 650 | 7 | |a Computer science. |2 fast |0 (OCoLC)fst00872451. | |
| 650 | 7 | |a Logic design. |2 fast |0 (OCoLC)fst01002045. | |
| 650 | 7 | |a Software engineering. |2 fast |0 (OCoLC)fst01124185. | |
| 700 | 1 | |a Kreowski, H.-J. |q (Hans-Jörg) | |
| 700 | 1 | |a Krieg-Brückner, B. |q (Bernd) | |
| 776 | 0 | 8 | |i Print version: |z 9783642641510. |
| 830 | 0 | |a IFIP state-of-the-art reports. | |
| 856 | 4 | 0 | |u https://colorado.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-642-59851-7 |z Full Text (via Springer) |
| 907 | |a .b80097881 |b 07-02-19 |c 06-02-15 | ||
| 998 | |a web |b 05-01-17 |c f |d b |e - |f eng |g gw |h 0 |i 1 | ||
| 907 | |a .b80097881 |b 05-09-17 |c 06-02-15 | ||
| 915 | |a M | ||
| 956 | |a Springer e-books | ||
| 956 | |b Springer Nature - Springer Book Archive - Springer Computer Science | ||
| 956 | |a Computer Science | ||
| 956 | |a Springer e-books: Archive | ||
| 999 | f | f | |i c54c9212-4677-565a-89c2-0335da3d8171 |s 24d769e4-012f-5559-8b62-0de89e64ffe1 |
| 952 | f | f | |p Can circulate |a University of Colorado Boulder |b Online |c Online |d Online |e QA76.6-76.66 |h Library of Congress classification |i Ebooks, Prospector |n 1 |