default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4. 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
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.
last updated on 2024-10-31 20:21 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
