Conferences in DBLP

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

1. Michal Young
   Symbiosis of Static Analysis and Program Testing. [Citation Graph (0, 0)][DBLP]
   FASE, 2003, pp:1-5 [Conf]
   
2. Claus Pahl
   An Ontology for Software Component Matching. [Citation Graph (0, 0)][DBLP]
   FASE, 2003, pp:6-21 [Conf]
   
3. Ioana Sora, Pierre Verbaeten, Yolande Berbers
   A Description Language For Composable Components. [Citation Graph (0, 0)][DBLP]
   FASE, 2003, pp:22-36 [Conf]
   
4. Nazareno Aguirre, T. S. E. Maibaum
   A Logical Basis for the Specification of Reconfigurable Component-Based Systems. [Citation Graph (0, 0)][DBLP]
   FASE, 2003, pp:37-51 [Conf]
   
5. Clemens Reichmann, Markus Kühl, Klaus D. Müller-Glaser
   An Overall System Design Approach Doing Object-Oriented Modeling to Code-Generation for Embedded Electronic Systems. [Citation Graph (0, 0)][DBLP]
   FASE, 2003, pp:52-66 [Conf]
   
6. Pascal Fenkam, Harald Gall, Mehdi Jazayeri
   Composing Specifications of Event Based Applications. [Citation Graph (0, 0)][DBLP]
   FASE, 2003, pp:67-86 [Conf]
   
7. Stephan Merz, Martin Wirsing, Júlia Zappe
   A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems. [Citation Graph (0, 0)][DBLP]
   FASE, 2003, pp:87-101 [Conf]
   
8. David Scott, Alastair R. Beresford, Alan Mycroft
   Spatial Security Policies for Mobile Agents in a Sentient Computing Environment. [Citation Graph (0, 0)][DBLP]
   FASE, 2003, pp:102-117 [Conf]
   
9. Vieri Del Bianco, Luigi Lavazza, Marco Mauri, Giuseppe Occorso
   Towards UML-Based Formal Specifications of Component-Based Real-Time Software. [Citation Graph (0, 0)][DBLP]
   FASE, 2003, pp:118-134 [Conf]
   
10. Jennifer Tenzer, Perdita Stevens
    Modelling Recursive Calls with UML State Diagrams. [Citation Graph (0, 0)][DBLP]
    FASE, 2003, pp:135-149 [Conf]
    
11. Jianjun Zhao, Martin C. Rinard
    Pipa: A Behavioral Interface Specification Language for AspectJ. [Citation Graph (0, 0)][DBLP]
    FASE, 2003, pp:150-165 [Conf]
    
12. Wim Vanderperren, Davy Suvée, Bart Wydaeghe, Viviane Jonckers
    PacoSuite and JAsCo: A Visual Component Composition Environment with Advanced Aspect Separation Features. [Citation Graph (0, 0)][DBLP]
    FASE, 2003, pp:166-169 [Conf]
    
13. Reiko Heckel, Marc Lohmann
    Model-Based Development of Web Applications Using Graphical Reaction Rules. [Citation Graph (0, 0)][DBLP]
    FASE, 2003, pp:170-183 [Conf]
    
14. Yan Jin, Robert Esser, Charles Lakos, Jörn W. Janneck
    Modular Analysis of Dataflow Process Networks. [Citation Graph (0, 0)][DBLP]
    FASE, 2003, pp:184-199 [Conf]
    
15. Sandro Morasca
    Foundations of a Weak Measurement-Theoretic Approach to Software Measurement. [Citation Graph (0, 0)][DBLP]
    FASE, 2003, pp:200-215 [Conf]
    
16. Pierre Kelsen
    An Information-Based View of Representational Coupling in Object-Oriented Systems. [Citation Graph (0, 0)][DBLP]
    FASE, 2003, pp:216-230 [Conf]
    
17. Marcin Kubica
    A Temporal Approach to Specification and Verification of Pointer Data-Structures. [Citation Graph (0, 0)][DBLP]
    FASE, 2003, pp:231-245 [Conf]
    
18. Bernhard Beckert, Wojciech Mostowski
    A Program Logic for Handling JAVA CARD's Transaction Mechanism. [Citation Graph (0, 0)][DBLP]
    FASE, 2003, pp:246-260 [Conf]
    
19. Lutz Schröder, Till Mossakowski
    Monad-Independent Hoare Logic in HASCASL. [Citation Graph (0, 0)][DBLP]
    FASE, 2003, pp:261-277 [Conf]
    
20. Manuel Koch, Francesco Parisi-Presicce
    Visual Specifications of Policies and Their Verification. [Citation Graph (0, 0)][DBLP]
    FASE, 2003, pp:278-293 [Conf]
    
21. Angelo Gargantini, Elvinia Riccobene
    Automatic Model Driven Animation of SCR Specifications. [Citation Graph (0, 0)][DBLP]
    FASE, 2003, pp:294-309 [Conf]
    
22. Anita Goel, S. C. Gupta, S. K. Wasan
    Probe Mechanism for Object-Oriented Software Testing. [Citation Graph (0, 0)][DBLP]
    FASE, 2003, pp:310-324 [Conf]
    
23. Natasha Sharygina, James C. Browne
    Model Checking Software via Abstraction of Loop Transitions. [Citation Graph (0, 0)][DBLP]
    FASE, 2003, pp:325-340 [Conf]
    
24. Christian Attiogbé, Pascal Poizat, Gwen Salaün
    Integration of Formal Datatypes within State Diagrams. [Citation Graph (0, 0)][DBLP]
    FASE, 2003, pp:341-355 [Conf]
    
25. Giuseppe Della Penna, Antinisca Di Marco, Benedetto Intrigila, Igor Melatti, Alfonso Pierantonio
    Xere: Towards a Natural Interoperability between XML and ER Diagrams. [Citation Graph (0, 0)][DBLP]
    FASE, 2003, pp:356-371 [Conf]
    
26. Henry Muccini
    Detecting Implied Scenarios Analyzing Non-local Branching Choices. [Citation Graph (0, 0)][DBLP]
    FASE, 2003, pp:372-386 [Conf]
    
27. Ingolf Krüger
    Capturing Overlapping, Triggered, and Preemptive Collaborations Using MSCs. [Citation Graph (0, 0)][DBLP]
    FASE, 2003, pp:387-402 [Conf]