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:   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
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


<http://www.worldcat.org/oclc/150398057>
library:oclcnum"150398057"
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/150398057>
rdf:typeschema:Book
schema:about
schema:contributor
schema:contributor
schema:contributor
schema:contributor
schema:copyrightYear"op."
schema:datePublished"1995"
schema:exampleOfWork<http://worldcat.org/entity/work/id/1104429989>
schema:genre"Congressen (vorm)"
schema:inLanguage"en"
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:publisher
schema:url
schema:workExample

Content-negotiable representations

Close Window

Please sign in to WorldCat 

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