|
Conferences in DBLP
- Bran Selic
Physical Programming: Beyond Mere Logic. [Citation Graph (0, 0)][DBLP] FASE, 2001, pp:1- [Conf]
- Richard F. Paige, Jonathan S. Ostroff
Metamodelling and Conformance Checking with PVS. [Citation Graph (0, 0)][DBLP] FASE, 2001, pp:2-16 [Conf]
- Tony Clark, Andy Evans, Stuart Kent
The Metamodelling Language Calculus: Foundation Semantics for UML. [Citation Graph (0, 0)][DBLP] FASE, 2001, pp:17-31 [Conf]
- Ralf Pinger, Hans-Dieter Ehrich
Compositional Checking of Communication among Observers. [Citation Graph (0, 0)][DBLP] FASE, 2001, pp:32-44 [Conf]
- Joy N. Reed, Jane Sinclair
Combining Independent Specifications. [Citation Graph (0, 0)][DBLP] FASE, 2001, pp:45-59 [Conf]
- Paola Inverardi, Sebastián Uchitel
Proving Deadlock Freedom in Component-Based Programming. [Citation Graph (0, 0)][DBLP] FASE, 2001, pp:60-75 [Conf]
- Rik Eshuis, Roel Wieringa
A Real-Time Execution Semantics for UML Activity Diagrams. [Citation Graph (0, 0)][DBLP] FASE, 2001, pp:76-90 [Conf]
- Clemens Fischer, Ernst-Rüdiger Olderog, Heike Wehrheim
A CSP View on UML-RT Structure Diagrams. [Citation Graph (0, 0)][DBLP] FASE, 2001, pp:91-108 [Conf]
- Reiko Heckel, Stefan Sauer
Strengthening UML Collaboration Diagrams by State Transformations. [Citation Graph (0, 0)][DBLP] FASE, 2001, pp:109-123 [Conf]
- Christine Choppy, Pascal Poizat, Jean-Claude Royer
Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation. [Citation Graph (0, 0)][DBLP] FASE, 2001, pp:124-139 [Conf]
- Perdita Stevens
On Use Cases and Their Relationships in the Unified Modelling Language. [Citation Graph (0, 0)][DBLP] FASE, 2001, pp:140-155 [Conf]
- Francis Bordeleau, Jean-Pierre Corriveau
On the Importance of Inter-scenario Relationships in Hierarchical State Machine Design. [Citation Graph (0, 0)][DBLP] FASE, 2001, pp:156-170 [Conf]
- Gianna Reggio, Maura Cerioli, Egidio Astesiano
Towards a Rigorous Semantics of UML Supporting Its Multiview Approach. [Citation Graph (0, 0)][DBLP] FASE, 2001, pp:171-186 [Conf]
- Jan Jürjens
Towards Development of Secure Systems Using UMLsec. [Citation Graph (0, 0)][DBLP] FASE, 2001, pp:187-200 [Conf]
- Ralf Lämmel
Grammar Testing. [Citation Graph (0, 0)][DBLP] FASE, 2001, pp:201-216 [Conf]
- Alexey Loginov, Suan Hsi Yong, Susan Horwitz, Thomas W. Reps
Debugging via Run-Time Type Checking. [Citation Graph (0, 0)][DBLP] FASE, 2001, pp:217-232 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] FASE, 2001, pp:233-248 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] FASE, 2001, pp:249-252 [Conf]
- Lutz Schröder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman
Semantics of Architectural Specifications in CASL. [Citation Graph (0, 0)][DBLP] FASE, 2001, pp:253-268 [Conf]
- Till Mossakowski, Serge Autexier, Dieter Hutter
Extending Development Graphs with Hiding. [Citation Graph (0, 0)][DBLP] FASE, 2001, pp:269-283 [Conf]
- Bart Jacobs, Erik Poll
A Logic for the Java Modeling Language JML. [Citation Graph (0, 0)][DBLP] FASE, 2001, pp:284-299 [Conf]
- Bernhard Reus, Martin Wirsing, Rolf Hennicker
A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models. [Citation Graph (0, 0)][DBLP] FASE, 2001, pp:300-317 [Conf]
- Natasha Sharygina, James C. Browne, Robert P. Kurshan
A Formal Object-Oriented Analysis for Software Reliability: Design for Verification. [Citation Graph (0, 0)][DBLP] FASE, 2001, pp:318-332 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] FASE, 2001, pp:333-348 [Conf]
|