The SCEAS System
Navigation Menu

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
    AToM3: 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]
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002