TAPSOFT '93: Theory and Practice of Software Development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993. Proceedings. 1st ed. 1993

種類:

電子ブック

責任表示:

edited by Marie-Claude Gaudel, Jean-Pierre Jouannaud

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993

著者名:

• Gaudel, Marie-Claude.
• Jouannaud, Jean-Pierre.
• SpringerLink (Online service)

シリーズ名:

Lecture Notes in Computer Science ; 668

ISBN:

9783540475989 [3540475982]    

注記:

Goldilocks and the three specifications -- On relating some models for concurrency -- Compositionality results for different types of parameterization and parameter passing in specification languages -- Proving ground confluence and inductive validity in constructor based equational specifications -- Associative-commutative discrimination nets -- Algebraic specification and development in geometric modeling -- A case study in transformational design of concurrent systems -- Yeast: A case study for a practical use of formal methods -- Verification and comparison of transition systems -- Constraining interference in an object-based design method -- From ?-calculus to higher-order ?-calculus — and back -- Hyperedge replacement with rendezvous -- True concurrency semantics for a linear logic programming language with broadcast communication -- A general framework for modular implementations of modular system specifications -- Specifications can make programs run faster -- Application of the composition principle
This volume contains the proceedings of the fourth International Joint Conference on the Theory and Practice of Software Development, TAPSOFT '93. Since the first in 1985, the aim of these conferences has been to bring together theoretical computer scientists and researchers in software engineering with a view to discussing how formal methods can usefully be applied in software development. TAPSOFT '93 consists ofthree parts: an advanced seminar, the Colloquium on Trees in Algebra and Programming (CAAP), and the Colloquium on Formal Approaches of Software Engineering (FASE). The advanced seminar includes four invited surveys and four invited conferences. The selected papers for CAAP are organized in seven sessions: specifications and proofs, concurrency, automata and counting, constraints solving, rewriting, logic and trees, analysis of algorithms, and a common session with FASE on type inference. The selected papers for FASE are presented in eight sessions: case studies in formal design and development, comp

ローカル注記:

学内専用E-BOOKS (local access only)