skip to content
Algebraic Foundations of Systems Specification Preview this item
ClosePreview this item
Checking...

Algebraic Foundations of Systems Specification

Author: Egidio Astesiano; H -J Kreowski; B Krieg-Brückner
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.
Series: IFIP state-of-the-art reports.
Edition/Format:   eBook : Document : English : 1View all editions and formats
Database:WorldCat
Summary:
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  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Egidio Astesiano; H -J Kreowski; B Krieg-Brückner
ISBN: 9783642598517 364259851X
OCLC Number: 851833081
Reproduction Notes: Electronic reproduction. [S.l.] : HathiTrust Digital Library, 2010. MiAaHDL
Description: 1 online resource (xii, 616 pages 57 illustrations).
Details: Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
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.
Series Title: IFIP state-of-the-art reports.
Responsibility: edited by Egidio Astesiano, Hans-Jörg Kreowski, Bernd Krieg-Brückner.
More information:

Abstract:

This volume covers active topics and advances in system specification including: specification semantics; refinement; specification languages; term rewriting; deduction; model-oriented specification;  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/851833081> # Algebraic Foundations of Systems Specification
    a schema:Book, schema:CreativeWork, schema:MediaObject ;
    library:oclcnum "851833081" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/354759668#Place/berlin_heidelberg> ; # Berlin, Heidelberg
    schema:about <http://experiment.worldcat.org/entity/work/data/354759668#Topic/algebraische_logica> ; # Algebraïsche logica
    schema:about <http://dewey.info/class/005.11/e23/> ;
    schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
    schema:about <http://id.worldcat.org/fast/1002045> ; # Logic design
    schema:about <http://id.worldcat.org/fast/1124185> ; # Software engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/354759668#Topic/systeemontwerp> ; # Systeemontwerp
    schema:bookEdition "1." ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/20329161> ; # Bernd Krieg-Brückner
    schema:contributor <http://viaf.org/viaf/15316002> ; # Hans-Jörg Kreowski
    schema:creator <http://viaf.org/viaf/109540244> ; # Egidio Astesiano
    schema:datePublished "1999" ;
    schema:description "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."@en ;
    schema:description "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."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/354759668> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/354759668#Series/ifip_state_of_the_art_reports> ; # IFIP state-of-the-art reports.
    schema:isSimilarTo <http://worldcat.org/entity/work/data/354759668#CreativeWork/> ;
    schema:name "Algebraic Foundations of Systems Specification"@en ;
    schema:productID "851833081" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/851833081#PublicationEvent/berlin_heidelberg_springer_berlin_heidelberg_1999> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/354759668#Agent/springer_berlin_heidelberg> ; # Springer Berlin Heidelberg
    schema:url <http://catalog.hathitrust.org/api/volumes/oclc/41754666.html> ;
    schema:url <http://dx.doi.org/10.1007/978-3-642-59851-7> ;
    schema:url <http://books.google.com/books?id=F7FQAAAAMAAJ> ;
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=3094703> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-642-59851-7> ;
    schema:workExample <http://worldcat.org/isbn/9783642598517> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/851833081> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/354759668#Agent/springer_berlin_heidelberg> # Springer Berlin Heidelberg
    a bgn:Agent ;
    schema:name "Springer Berlin Heidelberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/354759668#Place/berlin_heidelberg> # Berlin, Heidelberg
    a schema:Place ;
    schema:name "Berlin, Heidelberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/354759668#Series/ifip_state_of_the_art_reports> # IFIP state-of-the-art reports.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/851833081> ; # Algebraic Foundations of Systems Specification
    schema:name "IFIP state-of-the-art reports." ;
    schema:name "IFIP State-of-the-Art Reports" ;
    .

<http://experiment.worldcat.org/entity/work/data/354759668#Topic/algebraische_logica> # Algebraïsche logica
    a schema:Intangible ;
    schema:name "Algebraïsche logica"@en ;
    .

<http://id.worldcat.org/fast/1002045> # Logic design
    a schema:Intangible ;
    schema:name "Logic design"@en ;
    .

<http://id.worldcat.org/fast/1124185> # Software engineering
    a schema:Intangible ;
    schema:name "Software engineering"@en ;
    .

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
    schema:name "Computer science"@en ;
    .

<http://viaf.org/viaf/109540244> # Egidio Astesiano
    a schema:Person ;
    schema:familyName "Astesiano" ;
    schema:givenName "Egidio" ;
    schema:name "Egidio Astesiano" ;
    .

<http://viaf.org/viaf/15316002> # Hans-Jörg Kreowski
    a schema:Person ;
    schema:familyName "Kreowski" ;
    schema:givenName "Hans-Jörg" ;
    schema:givenName "H.-J" ;
    schema:name "Hans-Jörg Kreowski" ;
    .

<http://viaf.org/viaf/20329161> # Bernd Krieg-Brückner
    a schema:Person ;
    schema:familyName "Krieg-Brückner" ;
    schema:givenName "Bernd" ;
    schema:givenName "B." ;
    schema:name "Bernd Krieg-Brückner" ;
    .

<http://worldcat.org/entity/work/data/354759668#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/851833081> ; # Algebraic Foundations of Systems Specification
    .

<http://worldcat.org/isbn/9783642598517>
    a schema:ProductModel ;
    schema:isbn "364259851X" ;
    schema:isbn "9783642598517" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.