![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
4. FASE 2001: Genova, Italy (Part of ETAPS 2001)
- Heinrich Hußmann:
Fundamental Approaches to Software Engineering, 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings. Lecture Notes in Computer Science 2029, Springer 2001, ISBN 3-540-41863-6
Invited Paper
- Bran Selic:
Physical Programming: Beyond Mere Logic. 1
Metamodelling
- Richard F. Paige, Jonathan S. Ostroff:
Metamodelling and Conformance Checking with PVS. 2-16 - Tony Clark
, Andy Evans, Stuart Kent:
The Metamodelling Language Calculus: Foundation Semantics for UML. 17-31
Distributed Components
- Ralf Pinger, Hans-Dieter Ehrich:
Compositional Checking of Communication among Observers. 32-44 - Joy N. Reed, Jane E. Sinclair:
Combining Independent Specifications. 45-59 - Paola Inverardi, Sebastián Uchitel
:
Proving Deadlock Freedom in Component-Based Programming. 60-75
UML
- Rik Eshuis, Roel J. Wieringa:
A Real-Time Execution Semantics for UML Activity Diagrams. 76-90 - Clemens Fischer, Ernst-Rüdiger Olderog, Heike Wehrheim:
A CSP View on UML-RT Structure Diagrams. 91-108 - Reiko Heckel, Stefan Sauer:
Strengthening UML Collaboration Diagrams by State Transformations. 109-123 - Christine Choppy, Pascal Poizat, Jean-Claude Royer:
Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation. 124-139 - Perdita Stevens:
On Use Cases and Their Relationships in the Unified Modelling Language. 140-155 - Francis Bordeleau, Jean-Pierre Corriveau
:
On the Importance of Inter-scenario Relationships in Hierarchical State Machine Design. 156-170 - Gianna Reggio, Maura Cerioli
, Egidio Astesiano:
Towards a Rigorous Semantics of UML Supporting Its Multiview Approach. 171-186 - Jan Jürjens:
Towards Development of Secure Systems Using UMLsec. 187-200
Testing
- Ralf Lämmel
:
Grammar Testing. 201-216 - Alexey Loginov, Suan Hsi Yong, Susan Horwitz, Thomas W. Reps:
Debugging via Run-Time Type Checking. 217-232 - Oliver Niese, Bernhard Steffen, Tiziana Margaria, Andreas Hagerer, Georg Brune, Hans-Dieter Ide:
Library-Based Design and Consistency Checking of System-Level Industrial Test Cases. 233-248 - Oliver Niese, Markus Nagelmann, Andreas Hagerer, Klaus Kolodziejczyk-Strunck, Werner Goerigk, Andrei Erochok, Bernhard Hammelmann:
Demonstration of an Automated Integrated Testing Environment for CTI Systems. 249-252
Formal Methods
- Lutz Schröder
, Till Mossakowski
, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman:
Semantics of Architectural Specifications in CASL. 253-268 - Till Mossakowski
, Serge Autexier
, Dieter Hutter:
Extending Development Graphs with Hiding. 269-283 - Bart Jacobs, Erik Poll:
A Logic for the Java Modeling Language JML. 284-299 - Bernhard Reus, Martin Wirsing, Rolf Hennicker:
A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models. 300-317
Case Studies
- Natasha Sharygina, James C. Browne, Robert P. Kurshan:
A Formal Object-Oriented Analysis for Software Reliability: Design for Verification. 318-332 - Peter Csaba Ölveczky, Mark Keaton, José Meseguer, Carolyn L. Talcott, Steve Zabele:
Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude. 333-348
![](https://dblp.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.