Conferences in DBLP

Fundamental Approaches to Software Engineering (FASE) (fase)
2002 (conf/fase/2002)

1. Michel Charpentier
   An Approach to Composition Motivated by wp. [Citation Graph (0, 0)][DBLP]
   FASE, 2002, pp:1-14 [Conf]
   
2. Gilles Barthe, Dilian Gurov, Marieke Huisman
   Compositional Verification of Secure Applet Interactions. [Citation Graph (0, 0)][DBLP]
   FASE, 2002, pp:15-32 [Conf]
   
3. Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen
   A Generic Component Framework for System Modeling. [Citation Graph (0, 0)][DBLP]
   FASE, 2002, pp:33-48 [Conf]
   
4. Antonio Cerone
   Implementing Condition/Event Nets in the Circal Process Algebra. [Citation Graph (0, 0)][DBLP]
   FASE, 2002, pp:49-63 [Conf]
   
5. Fei Xie, James C. Browne
   Integrated State Space Reduction for Model Checking Executable Object-Oriented Software System Designs. [Citation Graph (0, 0)][DBLP]
   FASE, 2002, pp:64-79 [Conf]
   
6. Andreas Hagerer, Hardi Hungar, Oliver Niese, Bernhard Steffen
   Model Generation by Moderated Regular Extrapolation. [Citation Graph (0, 0)][DBLP]
   FASE, 2002, pp:80-95 [Conf]
   
7. Sumit Kumar, Susan Horwitz
   Better Slicing of Programs with Jumps and Switches. [Citation Graph (0, 0)][DBLP]
   FASE, 2002, pp:96-112 [Conf]
   
8. Marco Bernardo, Francesco Franzè
   Architectural Types Revisited: Extensible And/Or Connections. [Citation Graph (0, 0)][DBLP]
   FASE, 2002, pp:113-127 [Conf]
   
9. Virginia C. Carneiro de Paula, Thaís Vasconcelos Batista
   Mapping an ADL to a Component-Based Application Development Environment. [Citation Graph (0, 0)][DBLP]
   FASE, 2002, pp:128-142 [Conf]
   
10. Mariano Belaunde, Mikael Peltier
    From EDOC Components to CCM Components: A Precise Mapping Specification. [Citation Graph (0, 0)][DBLP]
    FASE, 2002, pp:143-158 [Conf]
    
11. Tony Clark, Andy Evans, Stuart Kent
    Engineering Modelling Languages: A Precise Meta-Modelling Approach. [Citation Graph (0, 0)][DBLP]
    FASE, 2002, pp:159-173 [Conf]
    
12. Juan de Lara, Hans Vangheluwe
    AToM³: A Tool for Multi-formalism and Meta-modelling. [Citation Graph (0, 0)][DBLP]
    FASE, 2002, pp:174-188 [Conf]
    
13. Luciano Baresi, Mauro Pezzè
    A Toolbox for Automating Visual Software Engineering. [Citation Graph (0, 0)][DBLP]
    FASE, 2002, pp:189-202 [Conf]
    
14. Julian C. Bradfield, Juliana Küster Filipe, Perdita Stevens
    Enriching OCL Using Observational Mu-Calculus. [Citation Graph (0, 0)][DBLP]
    FASE, 2002, pp:203-217 [Conf]
    
15. Alexandre David, M. Oliver Möller, Wang Yi
    Formal Verification of UML Statecharts with Real-Time Extensions. [Citation Graph (0, 0)][DBLP]
    FASE, 2002, pp:218-232 [Conf]
    
16. Reiner Hähnle, Kristofer Johannisson, Aarne Ranta
    An Authoring Tool for Informal and Formal Requirements Specifications. [Citation Graph (0, 0)][DBLP]
    FASE, 2002, pp:233-248 [Conf]
    
17. Felix Bübl
    Introducing Context-Based Constraints. [Citation Graph (0, 0)][DBLP]
    FASE, 2002, pp:249-263 [Conf]
    
18. Andreas Nonnengart, Georg Rock, Werner Stephan
    Formal Requirements Engineering Using Observer Models. [Citation Graph (0, 0)][DBLP]
    FASE, 2002, pp:264-278 [Conf]
    
19. Oscar López, Miguel A. Laguna, Francisco José García Peñalvo
    Automatic Generation of Use Cases from Workflows: A Petri Net Based Approach. [Citation Graph (0, 0)][DBLP]
    FASE, 2002, pp:279-293 [Conf]
    
20. Luciano Baresi, Franca Garzotto, Luca Mainetti, Paolo Paolini
    Meta-modeling Techniques Meet Web Application Design Tools. [Citation Graph (0, 0)][DBLP]
    FASE, 2002, pp:294-307 [Conf]
    
21. Antonio Navarro, Baltasar Fernández-Manjón, Alfredo Fernández-Valmayor, José Luis Sierra
    Formal-Driven Conceptualization and Prototyping of Hypermedia Applications. [Citation Graph (0, 0)][DBLP]
    FASE, 2002, pp:308-322 [Conf]
    
22. João Gouveia, Georgios Koutsoukos, Michel Wermelinger, Luis Filipe Andrade, José Luiz Fiadeiro
    The Coordination Development Environment. [Citation Graph (0, 0)][DBLP]
    FASE, 2002, pp:323-326 [Conf]
    
23. 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. [Citation Graph (0, 0)][DBLP]
    FASE, 2002, pp:327-330 [Conf]
    
24. Fei Xie, Vladimir Levin, James C. Browne
    ObjectCheck: A Model Checking Tool for Executable Object-Oriented Software System Designs. [Citation Graph (0, 0)][DBLP]
    FASE, 2002, pp:331-335 [Conf]
    
25. 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. [Citation Graph (0, 0)][DBLP]
    FASE, 2002, pp:336-340 [Conf]