Conferences in DBLP

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

1. Gérard Berry
   Esterel v7: From Verified Formal Specification to Efficient Industrial Designs. [Citation Graph (0, 0)][DBLP]
   FASE, 2005, pp:1- [Conf]
   
2. Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
   Checking Memory Safety with Blast. [Citation Graph (0, 0)][DBLP]
   FASE, 2005, pp:2-18 [Conf]
   
3. Axel Martens
   Analyzing Web Service Based Business Processes. [Citation Graph (0, 0)][DBLP]
   FASE, 2005, pp:19-33 [Conf]
   
4. Reiko Heckel, Leonardo Mariani
   Automatic Conformance Testing of Web Services. [Citation Graph (0, 0)][DBLP]
   FASE, 2005, pp:34-48 [Conf]
   
5. Hartmut Ehrig, Karsten Ehrig, Juan de Lara, Gabriele Taentzer, Dániel Varró, Szilvia Varró-Gyapay
   Termination Criteria for Model Transformation. [Citation Graph (0, 0)][DBLP]
   FASE, 2005, pp:49-63 [Conf]
   
6. Gabriele Taentzer, Arend Rensink
   Ensuring Structural Constraints in Graph-Based Models with Type Inheritance. [Citation Graph (0, 0)][DBLP]
   FASE, 2005, pp:64-79 [Conf]
   
7. Ralf Reussner, Jens Happe, Annegret Habel
   Modelling Parametric Contracts and the State Space of Composite Components by Graph Grammars. [Citation Graph (0, 0)][DBLP]
   FASE, 2005, pp:80-95 [Conf]
   
8. Homayoun Dayani-Fard, Yijun Yu, John Mylopoulos, Periklis Andritsos
   Improving the Build Architecture of Legacy C/C++ Software Systems. [Citation Graph (0, 0)][DBLP]
   FASE, 2005, pp:96-110 [Conf]
   
9. Genaína Nunes Rodrigues, David S. Rosenblum, Sebastián Uchitel
   Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems. [Citation Graph (0, 0)][DBLP]
   FASE, 2005, pp:111-126 [Conf]
   
10. Andreas Leicher, Jörn Guy Süß
    Augmenting UML Models for Composition Conflict Analysis. [Citation Graph (0, 0)][DBLP]
    FASE, 2005, pp:127-140 [Conf]
    
11. Soo Ho Chang, Man Jib Han, Soo Dong Kim
    A Tool to Automate Component Clustering and Identification. [Citation Graph (0, 0)][DBLP]
    FASE, 2005, pp:141-144 [Conf]
    
12. Imed Hammouda, Juha Hautamäki, Mika Pussinen, Kai Koskimies
    Managing Variability Using Heterogeneous Feature Variation Patterns. [Citation Graph (0, 0)][DBLP]
    FASE, 2005, pp:145-159 [Conf]
    
13. Kim Guldstrand Larsen, Ulrik Larsen, Andrzej Wasowski
    Color-Blind Specifications for Transformations of Reactive Synchronous Programs. [Citation Graph (0, 0)][DBLP]
    FASE, 2005, pp:160-174 [Conf]
    
14. Therese Berg, Olga Grinchtein, Bengt Jonsson, Martin Leucker, Harald Raffelt, Bernhard Steffen
    On the Correspondence Between Conformance Testing and Regular Inference. [Citation Graph (0, 0)][DBLP]
    FASE, 2005, pp:175-189 [Conf]
    
15. David A. Naumann
    Observational Purity and Encapsulation. [Citation Graph (0, 0)][DBLP]
    FASE, 2005, pp:190-204 [Conf]
    
16. José M. Cañete, Francisco José Galán Morillo
    Towards a Theory on the Role of Ontologies in Software Engineering Problem Solving. [Citation Graph (0, 0)][DBLP]
    FASE, 2005, pp:205-219 [Conf]
    
17. Marsha Chechik, Arie Gurfinkel
    A Framework for Counterexample Generation and Exploration. [Citation Graph (0, 0)][DBLP]
    FASE, 2005, pp:220-236 [Conf]
    
18. Michael Eichberg, Thorsten Schäfer, Mira Mezini
    Using Annotations to Check Structural Properties of Classes. [Citation Graph (0, 0)][DBLP]
    FASE, 2005, pp:237-252 [Conf]
    
19. Vladimir Jakobac, Alexander Egyed, Nenad Medvidovic
    Improving System Understanding via Interactive, Tailorable, Source Code Analysis. [Citation Graph (0, 0)][DBLP]
    FASE, 2005, pp:253-268 [Conf]
    
20. Ganeshan Jayaraman, Venkatesh Prasad Ranganath, John Hatcliff
    Kaveri: Delivering the Indus Java Program Slicer to Eclipse. [Citation Graph (0, 0)][DBLP]
    FASE, 2005, pp:269-272 [Conf]
    
21. Arjan J. Mooij, Nicolae Goga, Judi Romijn
    Non-local Choice and Beyond: Intricacies of MSC Choice Nodes. [Citation Graph (0, 0)][DBLP]
    FASE, 2005, pp:273-288 [Conf]
    
22. Atanas Rountev, Scott Kagan, Jason Sawin
    Coverage Criteria for Testing of Object Interactions in Sequence Diagrams. [Citation Graph (0, 0)][DBLP]
    FASE, 2005, pp:289-304 [Conf]
    
23. Jan Jürjens, Pasha Shabalin
    Tools for Secure Systems Development with UML: Security Analysis with ATPs. [Citation Graph (0, 0)][DBLP]
    FASE, 2005, pp:305-309 [Conf]
    
24. Alexander Egyed, Wuwei Shen, Kun Wang
    Maintaining Life Perspectives During the Refinement of UML Class Structures. [Citation Graph (0, 0)][DBLP]
    FASE, 2005, pp:310-325 [Conf]
    
25. Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Angelo Morzenti
    Automated Compositional Proofs for Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    FASE, 2005, pp:326-340 [Conf]
    
26. Daniel Hausmann, Till Mossakowski, Lutz Schröder
    Iterative Circular Coinduction for CoCasl in Isabelle/HOL. [Citation Graph (0, 0)][DBLP]
    FASE, 2005, pp:341-356 [Conf]
    
27. Wojciech Mostowski
    Formalisation and Verification of Java Card Security Properties in Dynamic Logic. [Citation Graph (0, 0)][DBLP]
    FASE, 2005, pp:357-371 [Conf]