skip to content
Formal specification and design Preview this item
ClosePreview this item
Checking...

Formal specification and design

Author: L M G Feijs; H B M Jonkers
Publisher: Cambridge ; New York : Cambridge University Press, 1992.
Series: Cambridge tracts in theoretical computer science, 35.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:

The authors describe specification techniques from the unified view of the Common Object-oriented Language for Design.

Rating:

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

Subjects
More like this

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: L M G Feijs; H B M Jonkers
ISBN: 0521434572 9780521434577
OCLC Number: 27680819
Description: xvi, 335 pages : illustrations ; 26 cm.
Contents: 3.7. Semantics of normal-form specifications. 3.8. Hidden names. 4. Implementing algebraic specifications. 4.2. Expressions. 4.3. Term interpretation of expressions. 4.4. Declarations. 4.5. Survey of assertions and expressions. 4.6. Algorithmic predicate definitions. 4.7. Algorithmic function definitions. 4.8. From inductive to algorithmic definitions. 4.9. Implementing an algebraic specification. 4.10. Example: implementation of sets --
II. State-based specification. 5. From algebras to states. 5.2. What is a state-based specification? 5.3. Procedure names and class signatures. 5.4. States as algebras. 5.5. Classes. 5.6. Introducing variables. 5.7. Procedure definitions. 5.8. Comparison with imperative programs. 5.9. From predicate logic to dynamic logic. 5.10. Classes and specifications. 6. Setting up state-based specifications. 6.1. Kinds of axioms. 8.7. Example: implementation of a line editor. 8.7.1. Specifying the system. 8.7.2. Documenting a building block. 8.7.3. Choosing a representation. 8.7.4. Adding display-oriented features. 8.7.5. Implementing the display-oriented features. 8.7.6. Translation to C. 8.7.7. Executing the program --
III. Advanced techniques. 9. Theoretical topics. 9.2. Undefinedness revisited. 9.3. Initial algebras. 9.4. Horn clauses. 9.5. Origin consistency. 9.6. Comparing two types of models. 9.7. The class concept revisited. 10. Additional language constructs. 10.2. Liberal scope rules. 10.3. Free definitions. 10.4. Parameterisation. 10.5. Abstraction schemes. 10.6. Application schemes. 10.7. Extending the normalization procedure. 10.8. More complex parameter restrictions. 10.9. Object creation and procedures with results. 10.10. Variable sort definitions. 10.11. Dependent definitions. 10.12. Example: specification of instances. 10.13. Unifying expressions and statements. 11. Towards large systems. 11.2. Graphical representation of modules. 11.3. Components and designs. 11.4. Applications. 11.5. Concluding remarks --
A Syntax. A.1 General. A.2 Concrete syntax. A.3 Tokens. A.4 Keywords. A.5 Comments. A.6 Grammar. A.7 Operator priorities and associativities. A.7.1 Operators in renamings and signatures. A.7.2 Operators in assertions and expressions --
B Standard library. B.1 Booleans. B.2 Natural numbers. B.3 Characters. B.4 Tuples. B.5 Finite sets. B.6 Finite bags. B.7 Finite sequences. B.8 Finite maps.
Series Title: Cambridge tracts in theoretical computer science, 35.
Responsibility: L.M.G. Feijs & H.B.M. Jonkers.
More information:

Reviews

Editorial reviews

Publisher Synopsis

..".well-written...a good introduction to formal specification concepts. It is very readable and elegant. It may be used in an almost notation-independent way, not just by those who are interested in Read more...

 
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/27680819> # Formal specification and design
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "27680819" ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/343079#Place/cambridge> ; # Cambridge
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
    schema:about <http://dewey.info/class/005.12/e20/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/343079#Topic/object_oriented_programming_computer_science> ; # Object-oriented programming (Computer science)
    schema:about <http://id.worldcat.org/fast/1042804> ; # Object-oriented programming (Computer science)
    schema:about <http://experiment.worldcat.org/entity/work/data/343079#Thing/mathematical_logic> ; # Mathematical logic
    schema:about <http://experiment.worldcat.org/entity/work/data/343079#Topic/logiciels_developpement> ; # Logiciels--Développement
    schema:about <http://experiment.worldcat.org/entity/work/data/343079#Topic/calcul_formel> ; # Calcul formel
    schema:about <http://id.worldcat.org/fast/872537> ; # Computer software--Development
    schema:about <http://experiment.worldcat.org/entity/work/data/343079#Topic/software> ; # Software
    schema:about <http://experiment.worldcat.org/entity/work/data/343079#Topic/langages_algebriques> ; # Langages algébriques
    schema:about <http://id.loc.gov/authorities/subjects/sh85029535> ; # Computer software--Development
    schema:about <http://experiment.worldcat.org/entity/work/data/343079#Topic/algebre> ; # Algèbre
    schema:about <http://experiment.worldcat.org/entity/work/data/343079#Topic/computer_software_development> ; # Computer software--Development
    schema:about <http://experiment.worldcat.org/entity/work/data/343079#Topic/softwarespezifikation> ; # Softwarespezifikation
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/10159749> ; # H. B. M. Jonkers
    schema:creator <http://viaf.org/viaf/93752972> ; # Loe M. G. Feijs
    schema:datePublished "1992" ;
    schema:description "8.7. Example: implementation of a line editor. 8.7.1. Specifying the system. 8.7.2. Documenting a building block. 8.7.3. Choosing a representation. 8.7.4. Adding display-oriented features. 8.7.5. Implementing the display-oriented features. 8.7.6. Translation to C. 8.7.7. Executing the program -- III. Advanced techniques. 9. Theoretical topics. 9.2. Undefinedness revisited. 9.3. Initial algebras. 9.4. Horn clauses. 9.5. Origin consistency. 9.6. Comparing two types of models. 9.7. The class concept revisited. 10. Additional language constructs. 10.2. Liberal scope rules. 10.3. Free definitions. 10.4. Parameterisation. 10.5. Abstraction schemes. 10.6. Application schemes. 10.7. Extending the normalization procedure. 10.8. More complex parameter restrictions. 10.9. Object creation and procedures with results. 10.10. Variable sort definitions. 10.11. Dependent definitions. 10.12. Example: specification of instances. 10.13. Unifying expressions and statements. 11. Towards large systems."@en ;
    schema:description "11.2. Graphical representation of modules. 11.3. Components and designs. 11.4. Applications. 11.5. Concluding remarks -- A Syntax. A.1 General. A.2 Concrete syntax. A.3 Tokens. A.4 Keywords. A.5 Comments. A.6 Grammar. A.7 Operator priorities and associativities. A.7.1 Operators in renamings and signatures. A.7.2 Operators in assertions and expressions -- B Standard library. B.1 Booleans. B.2 Natural numbers. B.3 Characters. B.4 Tuples. B.5 Finite sets. B.6 Finite bags. B.7 Finite sequences. B.8 Finite maps."@en ;
    schema:description "3.7. Semantics of normal-form specifications. 3.8. Hidden names. 4. Implementing algebraic specifications. 4.2. Expressions. 4.3. Term interpretation of expressions. 4.4. Declarations. 4.5. Survey of assertions and expressions. 4.6. Algorithmic predicate definitions. 4.7. Algorithmic function definitions. 4.8. From inductive to algorithmic definitions. 4.9. Implementing an algebraic specification. 4.10. Example: implementation of sets -- II. State-based specification. 5. From algebras to states. 5.2. What is a state-based specification? 5.3. Procedure names and class signatures. 5.4. States as algebras. 5.5. Classes. 5.6. Introducing variables. 5.7. Procedure definitions. 5.8. Comparison with imperative programs. 5.9. From predicate logic to dynamic logic. 5.10. Classes and specifications. 6. Setting up state-based specifications. 6.1. Kinds of axioms."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/343079> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/343079#Series/cambridge_tracts_in_theoretical_computer_science> ; # Cambridge tracts in theoretical computer science ;
    schema:name "Formal specification and design"@en ;
    schema:productID "27680819" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/27680819#PublicationEvent/cambridge_new_york_cambridge_university_press_1992> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/343079#Agent/cambridge_university_press> ; # Cambridge University Press
    schema:url <http://catdir.loc.gov/catdir/toc/cam029/92253191.html> ;
    schema:url <http://www.gbv.de/dms/bowker/toc/9780521434577.pdf> ;
    schema:workExample <http://worldcat.org/isbn/9780521434577> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GB9250666> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/27680819> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/343079#Agent/cambridge_university_press> # Cambridge University Press
    a bgn:Agent ;
    schema:name "Cambridge University Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/343079#Series/cambridge_tracts_in_theoretical_computer_science> # Cambridge tracts in theoretical computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/27680819> ; # Formal specification and design
    schema:name "Cambridge tracts in theoretical computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/343079#Thing/mathematical_logic> # Mathematical logic
    a schema:Thing ;
    schema:name "Mathematical logic" ;
    .

<http://experiment.worldcat.org/entity/work/data/343079#Topic/computer_software_development> # Computer software--Development
    a schema:Intangible ;
    schema:name "Computer software--Development"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/343079#Topic/langages_algebriques> # Langages algébriques
    a schema:Intangible ;
    schema:name "Langages algébriques"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/343079#Topic/logiciels_developpement> # Logiciels--Développement
    a schema:Intangible ;
    schema:name "Logiciels--Développement"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/343079#Topic/object_oriented_programming_computer_science> # Object-oriented programming (Computer science)
    a schema:Intangible ;
    schema:name "Object-oriented programming (Computer science)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/343079#Topic/softwarespezifikation> # Softwarespezifikation
    a schema:Intangible ;
    schema:name "Softwarespezifikation"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85029535> # Computer software--Development
    a schema:Intangible ;
    schema:name "Computer software--Development"@en ;
    .

<http://id.worldcat.org/fast/1042804> # Object-oriented programming (Computer science)
    a schema:Intangible ;
    schema:name "Object-oriented programming (Computer science)"@en ;
    .

<http://id.worldcat.org/fast/872537> # Computer software--Development
    a schema:Intangible ;
    schema:name "Computer software--Development"@en ;
    .

<http://viaf.org/viaf/10159749> # H. B. M. Jonkers
    a schema:Person ;
    schema:familyName "Jonkers" ;
    schema:givenName "H. B. M." ;
    schema:name "H. B. M. Jonkers" ;
    .

<http://viaf.org/viaf/93752972> # Loe M. G. Feijs
    a schema:Person ;
    schema:familyName "Feijs" ;
    schema:givenName "Loe M. G." ;
    schema:givenName "L. M. G." ;
    schema:name "Loe M. G. Feijs" ;
    .

<http://worldcat.org/isbn/9780521434577>
    a schema:ProductModel ;
    schema:isbn "0521434572" ;
    schema:isbn "9780521434577" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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