![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
5. FMCO 2006: Amsterdam, The Netherlands
- Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever:
Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures. Lecture Notes in Computer Science 4709, Springer 2007, ISBN 978-3-540-74791-8
Testing
- Lars Frantzen, Jan Tretmans:
Model-Based Testing of Environmental Conformance of Components. 1-25 - Cyrille Artho, Armin Biere, Shinichi Honiden:
Exhaustive Testing of Exception Handlers with Enforcer. 26-46 - Bertrand Jeannet, Thierry Jéron, Vlad Rusu:
Model-Based Test Selection for Infinite-State Reactive Systems. 47-69
Program Verification
- Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle
, Philipp Rümmer, Peter H. Schmitt:
Verifying Object-Oriented Programs with KeY: A Tutorial. 70-101 - Marjan Sirjani:
Rebeca: Theory, Applications, and Tools. 102-126 - Martin Leucker
:
Learning Meets Verification. 127-151
Trust and Security
- Gilles Barthe, Lilian Burdy, Julien Charles, Benjamin Grégoire, Marieke Huisman
, Jean-Louis Lanet, Mariela Pavlova, Antoine Requet:
JACK - A Tool for Validation of Security and Behaviour of Java Applications. 152-174 - Vladimiro Sassone, Karl Krukow, Mogens Nielsen:
Towards a Formal Framework for Computational Trust. 175-184
Models of Computation
- Jesús Aranda
, Cinzia Di Giusto, Catuscia Palamidessi
, Frank D. Valencia:
On Recursion, Replication and Scope Mechanisms in Process Calculi. 185-206 - Mariangiola Dezani-Ciancaglini
, Elena Giachino, Sophia Drossopoulou, Nobuko Yoshida
:
Bounded Session Types for Object Oriented Languages. 207-245
Distributed Programming
- Bill Donkervoet, Gul Agha:
Reflecting on Aspect-Oriented Programming, Metaprogramming, and Adaptive Distributed Monitoring. 246-265 - Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Yallop:
Links: Web Programming Without Tiers. 266-296
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.