Conferences in DBLP

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

1. Serge Abiteboul
   Distributed Information Management with XML and Web Services. [Citation Graph (0, 0)][DBLP]
   FASE, 2004, pp:1-11 [Conf]
   
2. Gruia-Catalin Roman, Christine Julien, Jamie Payton
   A Formal Treatment of Context-Awareness. [Citation Graph (0, 0)][DBLP]
   FASE, 2004, pp:12-36 [Conf]
   
3. Alexander Egyed
   Consistent Adaptation and Evolution of Class Diagrams during Refinement. [Citation Graph (0, 0)][DBLP]
   FASE, 2004, pp:37-53 [Conf]
   
4. Jianjun Zhao, Baowen Xu
   Measuring Aspect Cohesion. [Citation Graph (0, 0)][DBLP]
   FASE, 2004, pp:54-68 [Conf]
   
5. Tim McComb
   Refactoring Object-Z Specifications. [Citation Graph (0, 0)][DBLP]
   FASE, 2004, pp:69-83 [Conf]
   
6. Marieke Huisman, Dilian Gurov, Christoph Sprenger, Gennady Chugunov
   Checking Absence of Illicit Applet Interactions: A Case Study. [Citation Graph (0, 0)][DBLP]
   FASE, 2004, pp:84-98 [Conf]
   
7. Gilles Barthe, Guillaume Dufay
   A Tool-Assisted Framework for Certified Bytecode Verification. [Citation Graph (0, 0)][DBLP]
   FASE, 2004, pp:99-113 [Conf]
   
8. Engelbert Hubbers, Erik Poll
   Reasoning about Card Tears and Transactions in Java Card. [Citation Graph (0, 0)][DBLP]
   FASE, 2004, pp:114-128 [Conf]
   
9. Robert Chatley, Susan Eisenbach, Jeff Kramer, Jeff Magee, Sebastián Uchitel
   Predictable Dynamic Plugin Systems. [Citation Graph (0, 0)][DBLP]
   FASE, 2004, pp:129-143 [Conf]
   
10. Georg Jung, John Hatcliff, Venkatesh Prasad Ranganath
    A Correlation Framework for the CORBA Component Model. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:144-159 [Conf]
    
11. Adam Childs, Jesse Greenwald, Venkatesh Prasad Ranganath, Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Georg Jung, Prashant Shanti, Gurdip Singh
    Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:160-164 [Conf]
    
12. Ruth Breu, Gerhard Popp
    Actor-Centric Modeling of User Rights. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:165-179 [Conf]
    
13. Dae-Kyoo Kim, Indrakshi Ray, Robert B. France, Na Li
    Modeling Role-Based Access Control Using Parameterized UML Models. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:180-193 [Conf]
    
14. Laura Bocchi
    Compositional Nested Long Running Transactions. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:194-208 [Conf]
    
15. Daniel Moldt, Jan Ortmann
    DaGen: A Tool for Automatic Translation from DAML-S to High-Level Petri Nets. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:209-213 [Conf]
    
16. Roswitha Bardohl, Hartmut Ehrig, Juan de Lara, Gabriele Taentzer
    Integrating Meta-modelling Aspects with Graph Transformation for Efficient Visual Language Definition and Model Manipulation. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:214-228 [Conf]
    
17. Grégoire Hamon, John M. Rushby
    An Operational Semantics for Stateflow. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:229-243 [Conf]
    
18. Christine Choppy, Gianna Reggio
    Improving Use Case Based Requirements Using Formally Grounded Specifications. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:244-260 [Conf]
    
19. Islam A. M. El-Maddah, T. S. E. Maibaum
    The GOPCSD Tool: An Integrated Development Environment for Process Control Requirements and Design. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:261-266 [Conf]
    
20. Haifeng He, Neelam Gupta
    Automated Debugging Using Path-Based Weakest Preconditions. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:267-280 [Conf]
    
21. Yves Ledru, Lydie du Bousquet, Olivier Maury, Pierre Bontron
    Filtering TOBIAS Combinatorial Test Suites. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:281-294 [Conf]
    
22. Henry Muccini, Marcio S. Dias, Debra J. Richardson
    Systematic Testing of Software Architectures in the C2 Style. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:295-309 [Conf]
    
23. Peter Saffrey, Muffy Calder
    Optimising Communication Structure for Model Checking. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:310-323 [Conf]
    
24. Fei Xie, Vladimir Levin, Robert P. Kurshan, James C. Browne
    Translating Software Designs for Model Checking. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:324-338 [Conf]
    
25. Carlo Ghezzi, Vincenzo Martena, Gian Pietro Picco
    Enhancing Remote Method Invocation through Type-Based Static Analysis. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:339-353 [Conf]
    
26. Peter Csaba Ölveczky, José Meseguer
    Specification and Analysis of Real-Time Systems Using Real-Time Maude. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:354-358 [Conf]
    
27. Si Won Choi, Soo Ho Chang, Soo Dong Kim
    A Systematic Methodology for Developing Component Frameworks. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:359-373 [Conf]
    
28. Ioana Sora, Vladimir Cretu, Pierre Verbaeten, Yolande Berbers
    Automating Decisions in Component Composition Based on Propagation of Requirements. [Citation Graph (0, 0)][DBLP]
    FASE, 2004, pp:374-388 [Conf]