skip to content
Tools and algorithms for the construction and analysis of systems : 5th international conference, TACAS '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, the Netherlands, March 22-28, 1999 : proceedings Preview this item
ClosePreview this item
Checking...

Tools and algorithms for the construction and analysis of systems : 5th international conference, TACAS '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, the Netherlands, March 22-28, 1999 : proceedings

Author: W R Cleaveland
Publisher: Berlin ; New York : Springer, ©1999.
Series: Lecture notes in computer science, 1579.
Edition/Format:   Print book : Document : Conference publication   Computer File : EnglishView all editions and formats
Summary:

ETAPS'99 is the second instance of the European Joint Conferences on Theory and Practice of Software. Many of the issues involved in software design apply to systems in general, including hardware  Read more...

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

Genre/Form: Kongress
Conference papers and proceedings
Amsterdam (1999)
Congresses
Congrès
Material Type: Conference publication, Document, Internet resource
Document Type: Book, Computer File, Internet Resource
All Authors / Contributors: W R Cleaveland
ISBN: 3540657037 9783540657033
OCLC Number: 40926014
Description: xi, 443 pages : illustrations ; 24 cm.
Contents: Invited Contribution.- Modeling for Mere Mortals.- Real-Time.- Scheduling System Verification.- A Period Assignment Algorithm for Real-Time System Design.- Analyzing Stochastic Fixed-Priority Real-Time Systems.- Timed Diagnostics for Reachability Properties.- Case Studies.- Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools.- Proving the Soundness of a Java Bytecode Verifier Specification in Isabelle/HOL.- Automated Fast-Track Reconfiguration of Group Communication Systems.- Specifications and Proofs for Ensemble Layers.- Compositionality and Abstraction.- An Automated Analysis of Ping-Pong Interactions in E-Mail Services.- Automatic Verification of Cryptographic Protocols through Compositional Analysis Techniques.- Verification of Hierarchical State/Event Systems Using Reusability and Compositionality.- On Proving Safety Properties by Integrating Static Analysis, Theorem Proving and Abstraction.- Symbolic Analysis.- Symbolic Model Checking without BDDs.- Symbolic Verification of Lossy Channel Systems: Application to the Bounded Retransmission Protocol.- Model Checking in CLP.- Using Logic Programs with Stable Model Semantics to Solve Deadlock and Reachability Problems for 1-Safe Petri Nets.- Process Algebra.- Finite State Verification for the Asynchronous ?-Calculus.- Process Algebra in PVS.- On the Benefits of Using the Up-To Techniques for Bisimulation Verification.- Computing Strong/Weak Bisimulation Equivalences and Observation Congruence for Value-Passing Processes.- Frameworks for System Construction and Analysis.- Hardware Testing Using a Communication Protocol Conformance Testing Tool.- A Light-Weight Framework for Hardware Verification.- An Easily Extensible Toolset for Tabular Mathematical Expressions.- From DFA-Frameworks to DFA-Generators: A Unifying Multiparadigm Approach.- Tool Descriptions.- A Theorem Prover-Based Analysis Tool for Object-Oriented Databases.- DYANA: An Environment for Embedded System Design and Analysis.- Path Exploration Tool.- Modular State Level Analysis of Distributed Systems Techniques and Tool Support.- Position Paper.- Some Issues in the Software Engineering of Verification Tools.- ETAPS Tool Demonstation.- The ETI Online Service in Action.
Series Title: Lecture notes in computer science, 1579.
Responsibility: W. Rance Cleaveland, ed.
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/40926014> # Tools and algorithms for the construction and analysis of systems : 5th international conference, TACAS '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, the Netherlands, March 22-28, 1999 : proceedings
    a schema:Book, schema:MediaObject, schema:CreativeWork ;
   library:oclcnum "40926014" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/3856539947#Place/berlin> ; # Berlin
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://experiment.worldcat.org/entity/work/data/3856539947#Topic/logica> ; # Logica
   schema:about <http://experiment.worldcat.org/entity/work/data/3856539947#Topic/systemes_conception_de_congres> ; # Systèmes, Conception de--Congrès
   schema:about <http://experiment.worldcat.org/entity/work/data/3856539947#Topic/engenharia_de_programacao_software> ; # Engenharia de programacao (software)
   schema:about <http://id.worldcat.org/fast/1141401> ; # System design
   schema:about <http://id.worldcat.org/fast/872537> ; # Computer software--Development
   schema:about <http://experiment.worldcat.org/entity/work/data/3856539947#Topic/programmatuurtechniek> ; # Programmatuurtechniek
   schema:about <http://experiment.worldcat.org/entity/work/data/3856539947#Topic/kongress> ; # Kongress
   schema:about <http://experiment.worldcat.org/entity/work/data/3856539947#Topic/softwareentwicklung> ; # Softwareentwicklung
   schema:about <http://experiment.worldcat.org/entity/work/data/3856539947#Topic/systemes_conception_de> ; # Systèmes, Conception de
   schema:about <http://experiment.worldcat.org/entity/work/data/3856539947#Topic/programacao_de_computadores> ; # Programacao de computadores
   schema:about <http://experiment.worldcat.org/entity/work/data/3856539947#Topic/system_design> ; # System design
   schema:about <http://experiment.worldcat.org/entity/work/data/3856539947#Topic/computer_software_development> ; # Computer software--Development
   schema:about <http://experiment.worldcat.org/entity/work/data/3856539947#Topic/logiciels_developpement> ; # Logiciels--Développement
   schema:about <http://experiment.worldcat.org/entity/work/data/3856539947#Topic/logiciels_developpement_congres> ; # Logiciels--Développement--Congrès
   schema:about <http://dewey.info/class/004.21/e21/> ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/72062532> ; # Walter Rance Cleaveland
   schema:contributor <http://experiment.worldcat.org/entity/work/data/3856539947#Meeting/etaps_99_1999_amsterdam_netherlands> ; # ETAPS '99 (1999 : Amsterdam, Netherlands)
   schema:copyrightYear "1999" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/3856539947#Meeting/tacas_99_1999_amsterdam_netherlands> ; # TACAS '99 (1999 : Amsterdam, Netherlands)
   schema:datePublished "1999" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/3856539947> ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Kongress"@en ;
   schema:genre "Conference publication"@en ;
   schema:genre "Amsterdam (1999)"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
   schema:name "Tools and algorithms for the construction and analysis of systems : 5th international conference, TACAS '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, the Netherlands, March 22-28, 1999 : proceedings"@en ;
   schema:productID "40926014" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/40926014#PublicationEvent/berlin_new_york_springer_1999> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/3856539947#Agent/springer> ; # Springer
   schema:url <http://link.springer.de/link/service/series/0558/tocs/t1579.htm> ;
   schema:url <http://link.springer-ny.com/link/service/series/0558/tocs/t1579.htm> ;
   schema:url <http://swbplus.bsz-bw.de/bsz075165783cov.htm> ;
   schema:url <http://link.springer.com/10.1007/3-540-49059-0> ;
   schema:url <http://dx.doi.org/10.1007/3-540-49059-0> ;
   schema:url <http://www.library.tufts.edu/ezproxy/ezproxy.asp?LOCATION=SpLinkLeNoCoSc> ;
   schema:workExample <http://worldcat.org/isbn/9783540657033> ;
   umbel:isLike <http://d-nb.info/955865980> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GB9927437> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/40926014> ;
    .


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/3856539947#Meeting/etaps_99_1999_amsterdam_netherlands> # ETAPS '99 (1999 : Amsterdam, Netherlands)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/3856539947#Place/amsterdam_netherlands> ; # Amsterdam, Netherlands)
   schema:name "ETAPS '99 (1999 : Amsterdam, Netherlands)" ;
    .

<http://experiment.worldcat.org/entity/work/data/3856539947#Meeting/tacas_99_1999_amsterdam_netherlands> # TACAS '99 (1999 : Amsterdam, Netherlands)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/3856539947#Place/amsterdam_netherlands> ; # Amsterdam, Netherlands)
   schema:name "TACAS '99 (1999 : Amsterdam, Netherlands)" ;
    .

<http://experiment.worldcat.org/entity/work/data/3856539947#Place/amsterdam_netherlands> # Amsterdam, Netherlands)
    a schema:Place ;
   schema:name "Amsterdam, Netherlands)" ;
    .

<http://experiment.worldcat.org/entity/work/data/3856539947#Topic/engenharia_de_programacao_software> # Engenharia de programacao (software)
    a schema:Intangible ;
   schema:name "Engenharia de programacao (software)"@en ;
    .

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

<http://experiment.worldcat.org/entity/work/data/3856539947#Topic/logiciels_developpement_congres> # Logiciels--Développement--Congrès
    a schema:Intangible ;
   schema:name "Logiciels--Développement--Congrès"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3856539947#Topic/programacao_de_computadores> # Programacao de computadores
    a schema:Intangible ;
   schema:name "Programacao de computadores"@en ;
    .

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

<http://experiment.worldcat.org/entity/work/data/3856539947#Topic/softwareentwicklung> # Softwareentwicklung
    a schema:Intangible ;
   schema:name "Softwareentwicklung"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3856539947#Topic/systemes_conception_de> # Systèmes, Conception de
    a schema:Intangible ;
   schema:name "Systèmes, Conception de"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/3856539947#Topic/systemes_conception_de_congres> # Systèmes, Conception de--Congrès
    a schema:Intangible ;
   schema:name "Systèmes, Conception de--Congrès"@en ;
    .

<http://id.worldcat.org/fast/1141401> # System design
    a schema:Intangible ;
   schema:name "System design"@en ;
    .

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

<http://link.springer.com/10.1007/3-540-49059-0>
   rdfs:comment "eBook available for UOIT via SpringerLink. Click link to access" ;
    .

<http://link.springer.de/link/service/series/0558/tocs/t1579.htm>
   rdfs:comment "Sommaire + texte intégral (accès réservé)" ;
    .

<http://link.springer-ny.com/link/service/series/0558/tocs/t1579.htm>
   rdfs:comment "Restricted to Springer LINK subscribers" ;
    .

<http://viaf.org/viaf/72062532> # Walter Rance Cleaveland
    a schema:Person ;
   schema:birthDate "1961" ;
   schema:familyName "Cleaveland" ;
   schema:givenName "Walter Rance" ;
   schema:givenName "W. R." ;
   schema:name "Walter Rance Cleaveland" ;
    .

<http://worldcat.org/isbn/9783540657033>
    a schema:ProductModel ;
   schema:isbn "3540657037" ;
   schema:isbn "9783540657033" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/40926014> ; # Tools and algorithms for the construction and analysis of systems : 5th international conference, TACAS '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, the Netherlands, March 22-28, 1999 : proceedings
   schema:issn "0302-9743" ;
   schema:name "Lecture notes in computer science ;" ;
   schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/title/-/oclc/40926014>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/40926014> ; # Tools and algorithms for the construction and analysis of systems : 5th international conference, TACAS '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, the Netherlands, March 22-28, 1999 : proceedings
   schema:dateModified "2017-12-24" ;
   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.