skip to content
Recent trends in algebraic development techniques : 14th international workshop, Château de Bonas, France, September 15 - 18, 1999 ; selected papers Preview this item
ClosePreview this item
Checking...

Recent trends in algebraic development techniques : 14th international workshop, Château de Bonas, France, September 15 - 18, 1999 ; selected papers

Author: Didier Bert; Christine Choppy; Peter Mosses
Publisher: Berlin [u.a.] : Springer, 2000.
Series: Lecture notes in computer science, 1827.
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
Summary:

The papers address: algebraic specification and other specification formalisms; test and validation; concurrent processes applications; logic and validation; combining formalisms; subsorts and  Read more...

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: Kongress
Document Type: Book
All Authors / Contributors: Didier Bert; Christine Choppy; Peter Mosses
ISBN: 3540678980 9783540678984
OCLC Number: 247448286
Notes: Literaturangaben.
Description: X, 476 S : graph. Darst ; 24 cm.
Contents: Invited Topics.- A Type-Theoretic Memory Model for Verification of Sequential Java Programs.- From States to Histories.- Principles and Pragmatics of Subtyping in PVS.- Casl: Language, Methodology and Tools.- Extending Casl by Late Binding.- Towards an Evolutionary Formal Software-Development Using CASL.- Development of Parsing Tools for CASL Using Generic Language Technology.- Using CASL to Specify the Requirements and the Design: A Problem Specific Approach.- Subsorted Partial Higher-Order Logic as an Extension of CASL.- Specifying Real Numbers in CASL.- Foundations.- Specification Refinement with System F - The Higher-Order Case.- Guarded Algebras: Disguising Partiality so You Won't Know Whether Its There.- A General Completeness Result in Refinement.- An Institution of Hybrid Systems.- Realization of Probabilistic Automata: Categorical Approach.- Specifications in an Arbitrary Institution with Symbols.- A General Algebraic Framework for Studying Modular Systems.- Specification of Processes and Interactions.- History Preserving Bisimulation for Contextual Nets.- A Model for Interaction of Agents and Environments.- Algebra-Coalgebra Structures and Bialgebras.- A Uniform Model Theory for the Specification of Data and Process Types.- Other Topics.- Relating Abstract Datatypes and Z-Schemata.- Algebraic Specification of Operator-Based Multimedia Scenarios.- Higher-Order Logic and Theorem Proving for Structured Specifications.- Extraction of Structured Programs from Specification Proofs.- Towards a Verification Logic for Rewriting Logic.- The Role of Normalisation in Testing from Structured Algebraic Specifications.
Series Title: Lecture notes in computer science, 1827.
Responsibility: WADT '99. Didier Bert ... (eds.).

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/247448286> # Recent trends in algebraic development techniques : 14th international workshop, Château de Bonas, France, September 15 - 18, 1999 ; selected papers
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "247448286" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/2452739288#Place/berlin_u_a> ; # Berlin u.a.
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://dewey.info/class/005.1/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/2452739288#Topic/algebraische_spezifikation_chateau_de_bonas_1999> ; # Algebraische Spezifikation--Château de Bonas <1999>
    schema:about <http://experiment.worldcat.org/entity/work/data/2452739288#Topic/abstract_data_types_computer_science> ; # Abstract data types (Computer science)
    schema:about <http://experiment.worldcat.org/entity/work/data/2452739288#Topic/computer_science_mathematics> ; # Computer science--Mathematics
    schema:about <http://experiment.worldcat.org/entity/work/data/2452739288#Topic/computer_software_development> ; # Computer software--Development
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/2452739288#Meeting/wadt_14_1999_09_15_18_chateau_de_bonas> ; # WADT (14 : 1999.09.15-18 : Château de Bonas)
    schema:contributor <http://viaf.org/viaf/41042339> ; # Christine Choppy
    schema:contributor <http://viaf.org/viaf/728498> ; # Peter Mosses
    schema:contributor <http://viaf.org/viaf/45177348> ; # Didier Bert
    schema:contributor <http://experiment.worldcat.org/entity/work/data/2452739288#Meeting/international_workshop_on_algebraic_development_techniques_14_1999_09_15_18_chateau_de_bonas> ; # International Workshop on Algebraic Development Techniques (14 : 1999.09.15-18 : Château de Bonas)
    schema:datePublished "2000" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/2452739288> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/2452739288#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:name "Recent trends in algebraic development techniques : 14th international workshop, Château de Bonas, France, September 15 - 18, 1999 ; selected papers" ;
    schema:productID "247448286" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/247448286#PublicationEvent/berlin_u_a_springer_2000> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/2452739288#Agent/springer> ; # Springer
    schema:workExample <http://worldcat.org/isbn/9783540678984> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/247448286> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/2452739288#Meeting/international_workshop_on_algebraic_development_techniques_14_1999_09_15_18_chateau_de_bonas> # International Workshop on Algebraic Development Techniques (14 : 1999.09.15-18 : Château de Bonas)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/2452739288#Place/chateau_de_bonas> ; # Château de Bonas)
    schema:name "International Workshop on Algebraic Development Techniques (14 : 1999.09.15-18 : Château de Bonas)" ;
    .

<http://experiment.worldcat.org/entity/work/data/2452739288#Meeting/wadt_14_1999_09_15_18_chateau_de_bonas> # WADT (14 : 1999.09.15-18 : Château de Bonas)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/2452739288#Place/chateau_de_bonas> ; # Château de Bonas)
    schema:name "WADT (14 : 1999.09.15-18 : Château de Bonas)" ;
    .

<http://experiment.worldcat.org/entity/work/data/2452739288#Place/chateau_de_bonas> # Château de Bonas)
    a schema:Place ;
    schema:name "Château de Bonas)" ;
    .

<http://experiment.worldcat.org/entity/work/data/2452739288#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/247448286> ; # Recent trends in algebraic development techniques : 14th international workshop, Château de Bonas, France, September 15 - 18, 1999 ; selected papers
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/2452739288#Topic/abstract_data_types_computer_science> # Abstract data types (Computer science)
    a schema:Intangible ;
    schema:name "Abstract data types (Computer science)" ;
    .

<http://experiment.worldcat.org/entity/work/data/2452739288#Topic/algebraische_spezifikation_chateau_de_bonas_1999> # Algebraische Spezifikation--Château de Bonas <1999>
    a schema:Intangible ;
    schema:name "Algebraische Spezifikation--Château de Bonas <1999>" ;
    .

<http://experiment.worldcat.org/entity/work/data/2452739288#Topic/computer_science_mathematics> # Computer science--Mathematics
    a schema:Intangible ;
    schema:name "Computer science--Mathematics" ;
    .

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

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

<http://viaf.org/viaf/45177348> # Didier Bert
    a schema:Person ;
    schema:familyName "Bert" ;
    schema:givenName "Didier" ;
    schema:name "Didier Bert" ;
    .

<http://viaf.org/viaf/728498> # Peter Mosses
    a schema:Person ;
    schema:familyName "Mosses" ;
    schema:givenName "Peter" ;
    schema:name "Peter Mosses" ;
    .

<http://worldcat.org/isbn/9783540678984>
    a schema:ProductModel ;
    schema:description "kart." ;
    schema:isbn "3540678980" ;
    schema:isbn "9783540678984" ;
    .

<http://www.worldcat.org/title/-/oclc/247448286>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/247448286> ; # Recent trends in algebraic development techniques : 14th international workshop, Château de Bonas, France, September 15 - 18, 1999 ; selected papers
    schema:dateModified "2015-04-09" ;
    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.