default search action

combined dblp search
author search
venue search
publication search

ask others

4. FASE 2001: Genova, Italy (Part of ETAPS 2001)

> Home > Conferences and Workshops > FASE
> Home > Conferences and Workshops > ETAPS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/fase/2001
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/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

- view
  authority control:
- export record
  dblp key:
  - conf/fase/Selic01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/Selic01
Bran Selic:
Physical Programming: Beyond Mere Logic. 1

Metamodelling

- view
  authority control:
- export record
  dblp key:
  - conf/fase/PaigeO01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/PaigeO01
Richard F. Paige, Jonathan S. Ostroff:
Metamodelling and Conformance Checking with PVS. 2-16
- view
  authority control:
- export record
  dblp key:
  - conf/fase/ClarkEK01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/ClarkEK01
Tony Clark, Andy Evans, Stuart Kent:
The Metamodelling Language Calculus: Foundation Semantics for UML. 17-31

Distributed Components

- view
  authority control:
- export record
  dblp key:
  - conf/fase/PingerE01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/PingerE01
Ralf Pinger, Hans-Dieter Ehrich:
Compositional Checking of Communication among Observers. 32-44
- view
  authority control:
- export record
  dblp key:
  - conf/fase/ReedS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/ReedS01
Joy N. Reed, Jane E. Sinclair:
Combining Independent Specifications. 45-59
- view
  authority control:
- export record
  dblp key:
  - conf/fase/InverardiU01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/InverardiU01
Paola Inverardi, Sebastián Uchitel:
Proving Deadlock Freedom in Component-Based Programming. 60-75

UML

- view
  authority control:
- export record
  dblp key:
  - conf/fase/EshuisW01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/EshuisW01
Rik Eshuis, Roel J. Wieringa:
A Real-Time Execution Semantics for UML Activity Diagrams. 76-90
- view
  authority control:
- export record
  dblp key:
  - conf/fase/FischerOW01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/FischerOW01
Clemens Fischer, Ernst-Rüdiger Olderog, Heike Wehrheim:
A CSP View on UML-RT Structure Diagrams. 91-108
- view
  authority control:
- export record
  dblp key:
  - conf/fase/HeckelS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/HeckelS01
Reiko Heckel, Stefan Sauer:
Strengthening UML Collaboration Diagrams by State Transformations. 109-123
- view
  authority control:
- export record
  dblp key:
  - conf/fase/ChoppyPR01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/ChoppyPR01
Christine Choppy, Pascal Poizat, Jean-Claude Royer:
Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation. 124-139
- view
  authority control:
- export record
  dblp key:
  - conf/fase/Stevens01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/Stevens01
Perdita Stevens:
On Use Cases and Their Relationships in the Unified Modelling Language. 140-155
- view
  authority control:
- export record
  dblp key:
  - conf/fase/BordeleauC01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/BordeleauC01
Francis Bordeleau, Jean-Pierre Corriveau:
On the Importance of Inter-scenario Relationships in Hierarchical State Machine Design. 156-170
- view
  authority control:
- export record
  dblp key:
  - conf/fase/ReggioCA01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/ReggioCA01
Gianna Reggio, Maura Cerioli, Egidio Astesiano:
Towards a Rigorous Semantics of UML Supporting Its Multiview Approach. 171-186
- view
  authority control:
- export record
  dblp key:
  - conf/fase/Jurjens01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/Jurjens01
Jan Jürjens:
Towards Development of Secure Systems Using UMLsec. 187-200

Testing

- view
  authority control:
- export record
  dblp key:
  - conf/fase/Lammel01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/Lammel01
Ralf Lämmel:
Grammar Testing. 201-216
- view
  authority control:
- export record
  dblp key:
  - conf/fase/LoginovYHR01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/LoginovYHR01
Alexey Loginov, Suan Hsi Yong, Susan Horwitz, Thomas W. Reps:
Debugging via Run-Time Type Checking. 217-232
- view
  authority control:
- export record
  dblp key:
  - conf/fase/NieseSMHBI01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/NieseSMHBI01
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
- view
  authority control:
- export record
  dblp key:
  - conf/fase/NieseNHKGEH01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/NieseNHKGEH01
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

- view
  authority control:
- export record
  dblp key:
  - conf/fase/SchroderMTKH01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/SchroderMTKH01
Lutz Schröder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman:
Semantics of Architectural Specifications in CASL. 253-268
- view
  authority control:
- export record
  dblp key:
  - conf/fase/MossakowskiAH01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/MossakowskiAH01
Till Mossakowski, Serge Autexier, Dieter Hutter:
Extending Development Graphs with Hiding. 269-283
- view
  authority control:
- export record
  dblp key:
  - conf/fase/JacobsP01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/JacobsP01
Bart Jacobs, Erik Poll:
A Logic for the Java Modeling Language JML. 284-299
- view
  authority control:
- export record
  dblp key:
  - conf/fase/ReusWH01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/ReusWH01
Bernhard Reus, Martin Wirsing, Rolf Hennicker:
A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models. 300-317

Case Studies

- view
  authority control:
- export record
  dblp key:
  - conf/fase/SharyginaBK01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/SharyginaBK01
Natasha Sharygina, James C. Browne, Robert P. Kurshan:
A Formal Object-Oriented Analysis for Software Reliability: Design for Verification. 318-332
- view
  authority control:
- export record
  dblp key:
  - conf/fase/OlveczkyKMTZ01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/OlveczkyKMTZ01
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.