TAPSOFT '95: Theory and Practice of Software Development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22 - 26, 1995. Proceedings. 1st ed. 1995
- 種類:
- 電子ブック
- 責任表示:
- edited by Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach
- 出版情報:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
- 著者名:
- シリーズ名:
- Lecture Notes in Computer Science ; 915
- ISBN:
- 9783540492337 [354049233X]
- 注記:
- 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
This volume presents the proceedings of the Sixth International Joint Conference on the Theory and Practice of Software Engineering, TAPSOFT '95, held in Aarhus, Denmark in May 1995. TAPSOFT '95 celebrates the 10th anniversary of this conference series started in Berlin in 1985 to bring together theoretical computer scientists and software engineers (researchers and practitioners) with a view to discussing how formal methods can usefully be applied in software development. The volume contains seven invited papers, among them one by Vaugham Pratt on the recently revealed bug in the Pentium chip, and 44 revised full papers selected from a total of 147 submissions. In addition the TAPSOFT '95 proceedings contains 10 tool descriptions. - ローカル注記:
- 学内専用E-BOOKS (local access only)
類似資料:
|
Springer Berlin Heidelberg : Imprint: Springer | |
|
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
|
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
|
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
|
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
|
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
