Conferences in DBLP

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

1. 
   Deriving Non-zeno Behavior Models from Goal Models Using ILP. [Citation Graph (, )][DBLP]
   
   
2. 
   What's in a Feature: A Requirements Engineering Perspective. [Citation Graph (, )][DBLP]
   
   
3. 
   Formal Approach to Integrating Feature and Architecture Models. [Citation Graph (, )][DBLP]
   
   
4. 
   Correctness-Preserving Configuration of Business Process Models. [Citation Graph (, )][DBLP]
   
   
5. 
   Consistent Integration of Models Based on Views of Visual Languages. [Citation Graph (, )][DBLP]
   
   
6. 
   Translating Model Simulators to Analysis Models. [Citation Graph (, )][DBLP]
   
   
7. 
   Orthographic Modeling Environment. [Citation Graph (, )][DBLP]
   
   
8. 
   HOL-OCL: A Formal Proof Environment for UML/OCL. [Citation Graph (, )][DBLP]
   
   
9. 
   Towards Faithful Model Extraction Based on Contexts. [Citation Graph (, )][DBLP]
   
   
10. 
    Leveraging Patterns on Domain Models to Improve UML Profile Definition. [Citation Graph (, )][DBLP]
    
    
11. 
    When Things Go Wrong: Interrupting Conversations. [Citation Graph (, )][DBLP]
    
    
12. 
    Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services. [Citation Graph (, )][DBLP]
    
    
13. 
    Engineering Service Oriented Applications: From StPowla Processes to SRML Models. [Citation Graph (, )][DBLP]
    
    
14. 
    A Logic of Graph Constraints. [Citation Graph (, )][DBLP]
    
    
15. 
    A Generic Complete Dynamic Logic for Reasoning About Purity and Effects. [Citation Graph (, )][DBLP]
    
    
16. 
    Modelling and Verification of Timed Interaction and Migration. [Citation Graph (, )][DBLP]
    
    
17. 
    A Model Checking Approach for Verifying COWS Specifications. [Citation Graph (, )][DBLP]
    
    
18. 
    Contextual Integration Testing of Classes. [Citation Graph (, )][DBLP]
    
    
19. 
    An Automatic Verifier for Java-Like Programs Based on Dynamic Frames. [Citation Graph (, )][DBLP]
    
    
20. 
    A Domain Analysis to Specify Design Defects and Generate Detection Algorithms. [Citation Graph (, )][DBLP]
    
    
21. 
    Automated Analysis of Permission-Based Security Using UMLsec. [Citation Graph (, )][DBLP]
    
    
22. 
    Software Quality Improvement Via Pattern Matching. [Citation Graph (, )][DBLP]
    
    
23. 
    Object Composition in Scenario-Based Programming. [Citation Graph (, )][DBLP]
    
    
24. 
    Regular Inference for State Machines Using Domains with Equality Tests. [Citation Graph (, )][DBLP]
    
    
25. 
    COMP-REF: A Technique to Guide the Delegation of Responsibilities to Components in Software Systems. [Citation Graph (, )][DBLP]
    
    
26. 
    Verification of Architectural Refactorings by Rule Extraction. [Citation Graph (, )][DBLP]
    
    
27. 
    Formal Model-Driven Program Refactoring. [Citation Graph (, )][DBLP]
    
    
28. 
    An Algebraic Semantics for MOF. [Citation Graph (, )][DBLP]
    
    
29. 
    A Formal Framework for Developing Adaptable Service-Based Applications. [Citation Graph (, )][DBLP]
    
    
30. 
    Language-Based Optimisation of Sensor-Driven Distributed Computing Applications. [Citation Graph (, )][DBLP]
    
    
31. 
    Clint: A Composition Language Interpreter (Tool Paper). [Citation Graph (, )][DBLP]