default search action

combined dblp search
author search
venue search
publication search

ask others

5. FASE 2002: Grenoble, France (Part of ETAPS 2002)

> 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/2002
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/2002
Ralf-Detlef Kutsche, Herbert Weber:
Fundamental Approaches to Software Engineering, 5th International Conference, FASE 2002, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings. Lecture Notes in Computer Science 2306, Springer 2002, ISBN 3-540-43353-8

Formal Frameworks

- view
  authority control:
- export record
  dblp key:
  - conf/fase/Charpentier02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/Charpentier02
Michel Charpentier:
An Approach to Composition Motivated by wp. 1-14
- view
  authority control:
- export record
  dblp key:
  - conf/fase/BartheGH02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/BartheGH02
Gilles Barthe, Dilian Gurov, Marieke Huisman:
Compositional Verification of Secure Applet Interactions. 15-32
- view
  authority control:
- export record
  dblp key:
  - conf/fase/EhrigOBKP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/EhrigOBKP02
Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen:
A Generic Component Framework for System Modeling. 33-48

Model and Program Analysis

- view
  authority control:
- export record
  dblp key:
  - conf/fase/Cerone02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/Cerone02
Antonio Cerone:
Implementing Condition/Event Nets in the Circal Process Algebra. 49-63
- view
  authority control:
- export record
  dblp key:
  - conf/fase/XieB02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/XieB02
Fei Xie, James C. Browne:
Integrated State Space Reduction for Model Checking Executable Object-Oriented Software System Designs. 64-79
- view
  authority control:
- export record
  dblp key:
  - conf/fase/HagererHNS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/HagererHNS02
Andreas Hagerer, Hardi Hungar, Oliver Niese, Bernhard Steffen:
Model Generation by Moderated Regular Extrapolation. 80-95
- view
  authority control:
- export record
  dblp key:
  - conf/fase/KumarH02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/KumarH02
Sumit Kumar, Susan Horwitz:
Better Slicing of Programs with Jumps and Switches. 96-112

Architecture Descriptions

- view
  authority control:
- export record
  dblp key:
  - conf/fase/BernardoF02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/BernardoF02
Marco Bernardo, Francesco Franzè:
Architectural Types Revisited: Extensible And/Or Connections. 113-127
- view
  authority control:
- export record
  dblp key:
  - conf/fase/PaulaB02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/PaulaB02
Virginia C. Carneiro de Paula, Thaís Vasconcelos Batista:
Mapping an ADL to a Component-Based Application Development Environment. 128-142
- view
  authority control:
- export record
  dblp key:
  - conf/fase/BelaundeP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/BelaundeP02
Mariano Belaunde, Mikael Peltier:
From EDOC Components to CCM Components: A Precise Mapping Specification. 143-158

Meta-Models

- view
  authority control:
- export record
  dblp key:
  - conf/fase/ClarkEK02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/ClarkEK02
Tony Clark, Andy Evans, Stuart Kent:
Engineering Modelling Languages: A Precise Meta-Modelling Approach. 159-173
- view
  authority control:
- export record
  dblp key:
  - conf/fase/LaraV02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/LaraV02
Juan de Lara, Hans Vangheluwe:
AToM³: A Tool for Multi-formalism and Meta-modelling. 174-188
- view
  authority control:
- export record
  dblp key:
  - conf/fase/BaresiP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/BaresiP02
Luciano Baresi, Mauro Pezzè:
A Toolbox for Automating Visual Software Engineering. 189-202

Formal Approaches towards UML

- view
  authority control:
- export record
  dblp key:
  - conf/fase/BradfieldFS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/BradfieldFS02
Julian C. Bradfield, Juliana Küster Filipe, Perdita Stevens:
Enriching OCL Using Observational Mu-Calculus. 203-217
- view
  authority control:
- export record
  dblp key:
  - conf/fase/DavidMY02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/DavidMY02
Alexandre David, M. Oliver Möller, Wang Yi:
Formal Verification of UML Statecharts with Real-Time Extensions. 218-232

Requirements Engineering

- view
  authority control:
- export record
  dblp key:
  - conf/fase/HahnleJR02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/HahnleJR02
Reiner Hähnle, Kristofer Johannisson, Aarne Ranta:
An Authoring Tool for Informal and Formal Requirements Specifications. 233-248
- view
  authority control:
- export record
  dblp key:
  - conf/fase/Bubl02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/Bubl02
Felix Bübl:
Introducing Context-Based Constraints. 249-263
- view
  authority control:
- export record
  dblp key:
  - conf/fase/NonnengartRS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/NonnengartRS02
Andreas Nonnengart, Georg Rock, Werner Stephan:
Formal Requirements Engineering Using Observer Models. 264-278
- view
  authority control:
- export record
  dblp key:
  - conf/fase/LopezLG02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/LopezLG02
Oscar López, Miguel A. Laguna, Francisco José García-Peñalvo:
Automatic Generation of Use Cases from Workflows: A Petri Net Based Approach. 279-293
- view
  authority control:
- export record
  dblp key:
  - conf/fase/BaresiGMP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/BaresiGMP02
Luciano Baresi, Franca Garzotto, Luca Mainetti, Paolo Paolini:
Meta-modeling Techniques Meet Web Application Design Tools. 294-307
- view
  authority control:
- export record
  dblp key:
  - conf/fase/NavarroFFS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/NavarroFFS02
Antonio Navarro, Baltasar Fernández-Manjón, Alfredo Fernández-Valmayor, José Luis Sierra:
Formal-Driven Conceptualization and Prototyping of Hypermedia Applications. 308-322

Tool Demonstration

- view
  authority control:
- export record
  dblp key:
  - conf/fase/GouveiaKWAF02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/GouveiaKWAF02
João Gouveia, Georgios Koutsoukos, Michel Wermelinger, Luís Andrade, José Luiz Fiadeiro:
The Coordination Development Environment. 323-326
- view
  authority control:
- export record
  dblp key:
  - conf/fase/AhrendtBBGHHMMS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/AhrendtBBGHHMMS02
Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Peter H. Schmitt:
The KeY System: Integrating Object-Oriented Design and Formal Methods. 327-330
- view
  authority control:
- export record
  dblp key:
  - conf/fase/XieLB02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/XieLB02
Fei Xie, Vladimir Levin, James C. Browne:
ObjectCheck: A Model Checking Tool for Executable Object-Oriented Software System Designs. 331-335
- view
  authority control:
- export record
  dblp key:
  - conf/fase/HagererHMNSI02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/HagererHMNSI02
Andreas Hagerer, Hardi Hungar, Tiziana Margaria, Oliver Niese, Bernhard Steffen, Hans-Dieter Ide:
Demonstration of an Operational Procedure for the Model-Based Testing of CTI Systems. 336-340

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.