skip to content
Fundamentals of algebraic specification / 2, Module specifications and constraints. Preview this item
ClosePreview this item
Checking...

Fundamentals of algebraic specification / 2, Module specifications and constraints.

Author: Hartmut Ehrig
Publisher: Berlin ; Heidelberg : Springer, 1990.
Series: European Association for Theoretical Computer Science.; EATCS monographs on theoretical computer science
Edition/Format:   Print book : EnglishView all editions and formats
Summary:

Since the early seventies concepts of specification have become central in the whole area of computer science. The fundamentals of algebraic specification lay a basis for teaching, research, and  Read more...

Rating:

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

Find a copy online

Links to this item

Find a copy in the library

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

Details

Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Hartmut Ehrig
ISBN: 3540517995 9783540517993 0387517995 9780387517995
OCLC Number: 311253874
Description: XI, 427 Seiten : Diagramme.
Contents: 1 Informal Introduction to Abstract Modules.- 1A: Towards Modularization in Software Development.- 1B: Modules and Modularization in Programming and Specification Languages.- 1C: Concepts for Abstract Modules and Modular Systems.- 1D: Informal Introduction to Algebraic Specification of Modules and Modular Systems.- 1E: Abstract Data Types and Abstract Modules.- 1F: Bibliographic Notes.- 2 Module Specifications.- 2A: Syntax of Module Specifications.- 2B: Restriction Construction and Conservative Functors.- 2C: Semantics and Correctness of Module Specifications.- 2D: Modular Specification of an Airport Schedule: Part 1.- 3 Basic Operations on Module Specifications.- 3A: Composition.- 3B: Union.- 3C: Actualization.- 3D: Distributive Laws.- 3E: Modular Specification of an Airport Schedule System: Part 2.- 4 General Operations on Module Specifications.- 4A: General Notion of Operations.- 4B: Clean Operations.- 4C: Renaming, Partial Composition and Recursion.- 4D: Product and Iteration.- 4E: Bibliographic Notes for Chapters 2, 3, and 4.- 5 Refinement, Interface Specifications, and Realizations.- 5A: Refinement.- 5B: Interface Specifications.- 5C: Realization.- 5D: Modular Specification of an Airport Schedule System: Part 3.- 6 Development Categories, Simulation, and Transformation.- 6A: Development Categories.- 6B: Compatibility of Operations with Development Steps.- 6C: Simulation.- 6D: Transformations.- 6E: Bibliographic Notes for Chapters 5 and 6.- 7 Constraints.- 7A: Concepts of Constraints.- 7B: Logic of Constraints.- 7C: Specifications with Constraints.- 7D: Parameterized Specifications with Constraints.- 8 Module Specifications and Operations with Constraints.- 8A: Module Specifications with Constraints.- 8B: Composition with Constraints.- 8C: Union with Constraints.- 8D: Actualization with Constraints.- 8E: Modular Specification of an Airport Schedule System: Part 4.- 8F: Discussion and Bibliographic Notes for Chapters 7 and 8.- 9 Abstract ACT ONE and ACT TWO.- 9A: Abstract Specifications with Constraints.- 9B: Abstract ACT ONE.- 9C: Abstract ACT TWO.- 9D: Modular Specification of an Airport Schedule System: Part 5.- 9E: Bibliographic Notes for Chapter 9.- 10 Summary of Basic Notions.- 10A: Summary of Equational Specifications.- 10B: Summary of Parameterized Specifications.- 10C: Basic Concepts from Category Theory.
Series Title: European Association for Theoretical Computer Science.; EATCS monographs on theoretical computer science
Responsibility: H. Ehrig ; B. Mahr.
More information:

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/311253874> # Fundamentals of algebraic specification 2, Module specifications and constraints.
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "311253874" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/4921899066#Place/berlin> ; # Berlin
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/4921899066#Place/heidelberg> ; # Heidelberg
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/4921899066#Person/ehrig_hartmut> ; # Hartmut Ehrig
   schema:creator <http://experiment.worldcat.org/entity/work/data/4921899066#Person/ehrig_hartmut> ; # Hartmut Ehrig
   schema:datePublished "1990" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/4921899066> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4921899066#Series/eatcs_monographs_on_theoretical_computer_science> ; # EATCS monographs on theoretical computer science ;
   schema:name "Fundamentals of algebraic specification 2, Module specifications and constraints." ;
   schema:productID "311253874" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/311253874#PublicationEvent/berlin_heidelberg_springer_1990> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/4921899066#Agent/springer> ; # Springer
   schema:url <http://swbplus.bsz-bw.de/bsz019435118cov.htm> ;
   schema:workExample <http://worldcat.org/isbn/9780387517995> ;
   schema:workExample <http://worldcat.org/isbn/9783540517993> ;
   umbel:isLike <http://d-nb.info/891698736> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/311253874> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/4921899066#Organization/european_association_for_theoretical_computer_science> # European Association for Theoretical Computer Science.
    a schema:Organization ;
   schema:name "European Association for Theoretical Computer Science." ;
    .

<http://experiment.worldcat.org/entity/work/data/4921899066#Person/ehrig_hartmut> # Hartmut Ehrig
    a schema:Person ;
   schema:familyName "Ehrig" ;
   schema:givenName "Hartmut" ;
   schema:name "Hartmut Ehrig" ;
    .

<http://experiment.worldcat.org/entity/work/data/4921899066#Series/eatcs_monographs_on_theoretical_computer_science> # EATCS monographs on theoretical computer science ;
    a bgn:PublicationSeries ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/4921899066#Organization/european_association_for_theoretical_computer_science> ; # European Association for Theoretical Computer Science.
   schema:hasPart <http://www.worldcat.org/oclc/311253874> ; # Fundamentals of algebraic specification 2, Module specifications and constraints.
   schema:name "EATCS monographs on theoretical computer science ;" ;
    .

<http://worldcat.org/isbn/9780387517995>
    a schema:ProductModel ;
   schema:isbn "0387517995" ;
   schema:isbn "9780387517995" ;
    .

<http://worldcat.org/isbn/9783540517993>
    a schema:ProductModel ;
   schema:isbn "3540517995" ;
   schema:isbn "9783540517993" ;
    .

<http://www.worldcat.org/title/-/oclc/311253874>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/311253874> ; # Fundamentals of algebraic specification 2, Module specifications and constraints.
   schema:dateModified "2018-11-10" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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