skip to content
The generic development language Deva : presentation and case studies Preview this item
ClosePreview this item
Checking...

The generic development language Deva : presentation and case studies

Author: Matthias K Weber; Martin Simons; Christine Lafontaine
Publisher: Berlin ; New York : Springer-Verlag, [1993] ©1993
Series: Lecture notes in computer science, 738.
Edition/Format:   Print book : Document   Computer File : EnglishView all editions and formats
Summary:

This book summarizes work done by the authors under theEsprit Tool Use project (1985-1990), at GMD in Karlsruhe andat Berlin University of Technology.

Rating:

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

Subjects
More like this

 

Find a copy in the library

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

Details

Genre/Form: Electronic resources (Books)
Material Type: Document, Internet resource
Document Type: Book, Computer File, Internet Resource
All Authors / Contributors: Matthias K Weber; Martin Simons; Christine Lafontaine
ISBN: 0387573356 9780387573359 3540573356 9783540573357
OCLC Number: 28927852
Description: xi, 246 pages : illustrations ; 24 cm.
Contents: 1. Introduction --
2. Informal Introduction to Deva --
2.1. An Algebraic Derivation --
2.2. Elements of Proof Design --
2.3. Further Constructs --
3. Stepwise Definition of Deva --
3.1. Two Examples --
3.2. The Explicit Part: Kernel --
3.3. The Explicit Part: Extensions --
3.4. The Explicit Part: Illustrations --
3.5. The Implicit Part --
3.6. The Implicit Part: Illustrations --
3.7. Mathematical Properties of Deva --
4. Formalization of Basic Theories --
4.2. Logical Basis --
4.3. Basic Theories of VDM --
4.4. Basic Theories for Algorithm Calculation --
5. Case Study on VDM-Style Developments --
5.2. The Vienna Development Method --
5.3. Formalization of VDM-Reification in Deva --
5.4. The Human Leukocyte Antigen Case Study --
5.5. Formalization of the HLA Development in Deva --
5.6. Proof of Transitivity of Reification in Deva --
6. Case Study on Algorithm Calculation --
6.2. Join Lists --
6.3. Non-empty Join Lists --
6.4. Some Theory of Join Lists --
6.5. Some Theory of Non-Empty Join Lists --
6.6. Segment Problems --
6.7. Tree Evaluation Problems --
7. Conclusion --
A Machine-level Definition of the Deva Kernel --
B Index of Deva Constructs --
C Crossreferences --
C.1. Table of Deva Sections Defined in the Tutorial --
C.2. Index of Variables Defined in the Tutorial --
C.3. Table of Deva Sections Defined in the Case Studies --
C.4. Index of Variables Defined in the Case Studies.
Series Title: Lecture notes in computer science, 738.
Responsibility: Matthias Weber, Martin Simons, Christine Lafontaine.
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/28927852> # The generic development language Deva : presentation and case studies
    a schema:CreativeWork, schema:MediaObject, schema:Book ;
    library:oclcnum "28927852" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/890648011#Topic/langages_de_programmation_fonctionnels> ; # Langages de programmation fonctionnels
    schema:about <http://dewey.info/class/005.131/e20/> ;
    schema:about <http://id.worldcat.org/fast/936087> ; # Functional programming languages
    schema:about <http://experiment.worldcat.org/entity/work/data/890648011#Topic/langages_de_programmation_fonctionnelle> ; # Langages de programmation fonctionnelle
    schema:about <http://id.worldcat.org/fast/891725> ; # Deva (Computer program language)
    schema:about <http://experiment.worldcat.org/entity/work/data/890648011#Topic/deva_langage_de_programmation> ; # Deva (Langage de programmation)
    schema:about <http://experiment.worldcat.org/entity/work/data/890648011#Topic/deva> ; # Deva
    schema:author <http://viaf.org/viaf/50091399> ; # Matthias K. Weber
    schema:author <http://viaf.org/viaf/5611692> ; # Christine Lafontaine
    schema:author <http://viaf.org/viaf/113505598> ; # Martin Simons
    schema:bookFormat bgn:PrintBook ;
    schema:copyrightYear "1993" ;
    schema:datePublished "1993" ;
    schema:description "1. Introduction -- 2. Informal Introduction to Deva -- 2.1. An Algebraic Derivation -- 2.2. Elements of Proof Design -- 2.3. Further Constructs -- 3. Stepwise Definition of Deva -- 3.1. Two Examples -- 3.2. The Explicit Part: Kernel -- 3.3. The Explicit Part: Extensions -- 3.4. The Explicit Part: Illustrations -- 3.5. The Implicit Part -- 3.6. The Implicit Part: Illustrations -- 3.7. Mathematical Properties of Deva -- 4. Formalization of Basic Theories -- 4.2. Logical Basis -- 4.3. Basic Theories of VDM -- 4.4. Basic Theories for Algorithm Calculation -- 5. Case Study on VDM-Style Developments -- 5.2. The Vienna Development Method -- 5.3. Formalization of VDM-Reification in Deva -- 5.4. The Human Leukocyte Antigen Case Study -- 5.5. Formalization of the HLA Development in Deva -- 5.6. Proof of Transitivity of Reification in Deva -- 6. Case Study on Algorithm Calculation -- 6.2. Join Lists -- 6.3. Non-empty Join Lists -- 6.4. Some Theory of Join Lists -- 6.5. Some Theory of Non-Empty Join Lists -- 6.6. Segment Problems -- 6.7. Tree Evaluation Problems -- 7. Conclusion -- A Machine-level Definition of the Deva Kernel -- B Index of Deva Constructs -- C Crossreferences -- C.1. Table of Deva Sections Defined in the Tutorial -- C.2. Index of Variables Defined in the Tutorial -- C.3. Table of Deva Sections Defined in the Case Studies -- C.4. Index of Variables Defined in the Case Studies."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/890648011> ;
    schema:genre "Electronic resources (Books)"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/890648011#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:name "The generic development language Deva : presentation and case studies"@en ;
    schema:productID "28927852" ;
    schema:url <http://swbplus.bsz-bw.de/bsz036026816cov.htm> ;
    schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=738> ;
    schema:url <http://www.library.tufts.edu/ezproxy/ezproxy.asp?LOCATION=SpLinkLeNoCoSc> ;
    schema:workExample <http://worldcat.org/isbn/9780387573359> ;
    schema:workExample <http://worldcat.org/isbn/9783540573357> ;
    umbel:isLike <http://d-nb.info/931460182> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/28927852> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/890648011#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/28927852> ; # The generic development language Deva : presentation and case studies
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/890648011#Topic/deva_langage_de_programmation> # Deva (Langage de programmation)
    a schema:Intangible ;
    schema:name "Deva (Langage de programmation)"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/890648011#Topic/langages_de_programmation_fonctionnelle> # Langages de programmation fonctionnelle
    a schema:Intangible ;
    schema:name "Langages de programmation fonctionnelle"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/890648011#Topic/langages_de_programmation_fonctionnels> # Langages de programmation fonctionnels
    a schema:Intangible ;
    schema:name "Langages de programmation fonctionnels"@fr ;
    .

<http://id.worldcat.org/fast/891725> # Deva (Computer program language)
    a schema:Intangible ;
    schema:name "Deva (Computer program language)"@en ;
    .

<http://id.worldcat.org/fast/936087> # Functional programming languages
    a schema:Intangible ;
    schema:name "Functional programming languages"@en ;
    .

<http://viaf.org/viaf/113505598> # Martin Simons
    a schema:Person ;
    schema:birthDate "1965" ;
    schema:familyName "Simons" ;
    schema:givenName "Martin" ;
    schema:name "Martin Simons" ;
    .

<http://viaf.org/viaf/50091399> # Matthias K. Weber
    a schema:Person ;
    schema:familyName "Weber" ;
    schema:givenName "Matthias K." ;
    schema:name "Matthias K. Weber" ;
    .

<http://viaf.org/viaf/5611692> # Christine Lafontaine
    a schema:Person ;
    schema:familyName "Lafontaine" ;
    schema:givenName "Christine" ;
    schema:name "Christine Lafontaine" ;
    .

<http://worldcat.org/isbn/9780387573359>
    a schema:ProductModel ;
    schema:isbn "0387573356" ;
    schema:isbn "9780387573359" ;
    .

<http://worldcat.org/isbn/9783540573357>
    a schema:ProductModel ;
    schema:isbn "3540573356" ;
    schema:isbn "9783540573357" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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