skip to content
TAPSOFT '95 : theory and practice of software development : 6th International joint conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings Preview this item
ClosePreview this item
Checking...

TAPSOFT '95 : theory and practice of software development : 6th International joint conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings

Author: Peter D Mosses; Mogens Nielsen; Michael I Schwartzbach
Publisher: Berlin [etc.] : Springer, cop. 1995.
Series: Lecture notes in computer science, 915.
Edition/Format:   Print book : Document   Computer File : EnglishView all editions and formats
Database:WorldCat
Summary:

Theoretical computer scientists and software engineers (researchers and practitioners) discuss how formal methods can usefully be applied in software development. These proceedings of the TAPSOFT '95  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: Congressen (vorm)
Additional Physical Format: TAPSOFT '95
(NL-LeOCL)137102542
(OCoLC)32391827
Material Type: Document
Document Type: Book, Computer File
All Authors / Contributors: Peter D Mosses; Mogens Nielsen; Michael I Schwartzbach
ISBN: 3540592938 9783540592938
OCLC Number: 150398057
Description: 1 online resource (XV, 810 p. :) ill.
Contents: A decade of TAPSOFT.- Theory and practice of software development.- Rational spaces and set constraints.- Formal methods and social context in software development.- Testing can be formal, too.- Anatomy of the Pentium bug.- Rational mechanics and natural mathematics.- First-order logic on finite trees.- Decidability of equivalence for deterministic synchronized tree automata.- The equivalence problem for letter-to-letter bottom-up tree transducers is solvable.- ?I: A symmetric calculus based on internal mobility.- Complete inference systems for weak bisimulation equivalences in the ?-calculus.- Reasoning about higher-order processes.- Confluence of processes and systems of objects.- An algebraic approach to temporal logic.- On behavioural abstraction and behavioural satisfaction in higher-order logic.- Assumption/guarantee specifications in linear-time temporal logic (extended abstract).- Fine hierarchy of regular ?-languages.- Computing the Wadge degree, the Lifschitz degree, and the Rabin index of a regular language of infinite words in polynomial time.- Semi-trace morphisms and rational transductions.- Nonfinite axiomatizability of shuffle inequalities.- On the category of Petri net computations.- High undecidability of weak bisimilarity for Petri nets.- Polynomial algorithms for the synthesis of bounded nets.- Semi-completeness of hierarchical and super-hierarchical combinations of term rewriting systems.- Lazy narrowing: Strong completeness and eager variable elimination (extended abstract).- On the expressive power of algebraic graph grammars with application conditions.- Generated models and the ?-rule: The nondeterministic case.- CPO models for a class of GSOS languages.- Statecharts, transition structures and transformations.- An imperative object calculus.- A refinement of import/export declarations in modular logic programming and its semantics.- Strictness and totality analysis with conjunction.- Generic techniques for source-level debugging and dynamic program slicing.- Reasoning with executable specifications.- Calculating software generators from solution specifications.- Comparing flow-based binding-time analyses.- Can you trust your data.- Static and dynamic processor allocation for higher-order concurrent languages.- Mechanized inductive proof of properties of a simple code optimizer.- Describing a Signal Analyzer in the process algebra PMC - A case study.- A gentle introduction to specification engineering using a case study in telecommunications.- Precise interprocedural dataflow analysis with applications to constant propagation.- Formal specification and prototyping of a program specializer.- Proving the correctness of recursion-based automatic program transformations.- Reactive system specification and refinement.- Measuring concurrency of regular distributed computations.- Non-speculative and upward invocation of continuations in a parallel language.- A model inference system for generic specification with application to code sharing.- Relations as abstract datatypes: An institution to specify relations between algebras.- Performance-oriented formal specifications - the LotoTis approach.- Signal: A formal design environment for real-time systems.- The META-Frame: An environment for flexible tool management.- STeP: The Stanford Temporal Prover.- The HOL-UNITY verification system.- PLATO: A tool to assist programming as term rewriting and theorem proving.- LOFT: A tool for assisting selection of test data sets from algebraic specifications.- The SMoLCS ToolSet.- The Asf+Sdf Meta-environment documentation tools for free.- The B-Toolkit demonstration.- Object Oriented Semantics Directed Compiler Generation: A prototype.
Series Title: Lecture notes in computer science, 915.
Responsibility: Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach (eds.).
More information:

Reviews

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

Tags

Be the first.

Similar Items

Related Subjects:(1)

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/150398057> # TAPSOFT '95 theory and practice of software development : 6th International joint conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings
    a schema:CreativeWork, schema:MediaObject, schema:Book ;
    library:oclcnum "150398057" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1104429989#Place/berlin_etc> ; # Berlin etc.
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1104429989#Topic/programmatuurtechniek> ; # Programmatuurtechniek
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/53363436> ; # Michael I. Schwartzbach
    schema:contributor <http://viaf.org/viaf/3819776> ; # Mogens Nielsen
    schema:contributor <http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/international_joint_conference_caap_fase_6_1995_aarhus> ; # International joint conference CAAP/FASE (6 : 1995 : Aarhus)
    schema:contributor <http://viaf.org/viaf/728498> ; # Peter D. Mosses
    schema:copyrightYear "op." ;
    schema:datePublished "1995" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1104429989> ;
    schema:genre "Congressen (vorm)" ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/1611-3349> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/32391827> ;
    schema:name "TAPSOFT '95 theory and practice of software development : 6th International joint conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings" ;
    schema:numberOfPages "810" ;
    schema:productID "150398057" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/150398057#PublicationEvent/berlin_etc_springer_cop_1995> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1104429989#Agent/springer> ; # Springer
    schema:workExample <http://worldcat.org/isbn/9783540592938> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/150398057> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1104429989#Meeting/international_joint_conference_caap_fase_6_1995_aarhus> # International joint conference CAAP/FASE (6 : 1995 : Aarhus)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/1104429989#Place/aarhus> ; # Aarhus)
    schema:name "International joint conference CAAP/FASE (6 : 1995 : Aarhus)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1104429989#Topic/programmatuurtechniek> # Programmatuurtechniek
    a schema:Intangible ;
    schema:name "Programmatuurtechniek" ;
    .

<http://viaf.org/viaf/3819776> # Mogens Nielsen
    a schema:Person ;
    schema:familyName "Nielsen" ;
    schema:givenName "Mogens" ;
    schema:name "Mogens Nielsen" ;
    .

<http://viaf.org/viaf/53363436> # Michael I. Schwartzbach
    a schema:Person ;
    schema:familyName "Schwartzbach" ;
    schema:givenName "Michael I." ;
    schema:name "Michael I. Schwartzbach" ;
    .

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

<http://worldcat.org/isbn/9783540592938>
    a schema:ProductModel ;
    schema:isbn "3540592938" ;
    schema:isbn "9783540592938" ;
    .

<http://worldcat.org/issn/1611-3349> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/150398057> ; # TAPSOFT '95 theory and practice of software development : 6th International joint conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings
    schema:issn "1611-3349" ;
    schema:name "Lecture notes in computer science ;" ;
    .

<http://www.worldcat.org/oclc/32391827>
    a schema:CreativeWork ;
    rdfs:label "TAPSOFT '95" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/150398057> ; # TAPSOFT '95 theory and practice of software development : 6th International joint conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings
    .

<http://www.worldcat.org/title/-/oclc/150398057>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/150398057> ; # TAPSOFT '95 theory and practice of software development : 6th International joint conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings
    schema:dateModified "2015-04-26" ;
    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.