Conferences in DBLP

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

1. Arie van Deursen, Paul Klint, Chris Verhoef
   Research Issues in the Renovation of Legacy Systems. [Citation Graph (0, 0)][DBLP]
   FASE, 1999, pp:1-21 [Conf]
   
2. Herbert Weber
   Continuous Engineering of Information and Communication Infrastructures (Extended Abstract). [Citation Graph (0, 0)][DBLP]
   FASE, 1999, pp:22-29 [Conf]
   
3. Davide Ancona, Maura Cerioli, Elena Zucca
   A Formal Framework with Late Binding. [Citation Graph (0, 0)][DBLP]
   FASE, 1999, pp:30-44 [Conf]
   
4. Candida Attanasio, Flavio Corradini, Paola Inverardi
   Yet Another Real-Time Specification for the Steam Boiler: Local Clocks to Statically Measure Systems Performance. [Citation Graph (0, 0)][DBLP]
   FASE, 1999, pp:45-59 [Conf]
   
5. Roberto Bruni, José Meseguer, Ugo Montanari
   Executable Tile Specifications for Process Calculi. [Citation Graph (0, 0)][DBLP]
   FASE, 1999, pp:60-76 [Conf]
   
6. Eva Coscia, Gianna Reggio
   JTN: A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systems. [Citation Graph (0, 0)][DBLP]
   FASE, 1999, pp:77-97 [Conf]
   
7. Wan Fokkink, Chris Verhoef
   Conservative Extension in Positive/Negative Conditional Term Rewriting with Applications to Software Renovation Factories. [Citation Graph (0, 0)][DBLP]
   FASE, 1999, pp:98-113 [Conf]
   
8. Marie-Claude Gaudel, Carole Khoury, Alexandre V. Zamulin
   Dynamic Systems with Implicit State. [Citation Graph (0, 0)][DBLP]
   FASE, 1999, pp:114-128 [Conf]
   
9. Kevin Lano, Andy Evans
   Rigorous Development in UML. [Citation Graph (0, 0)][DBLP]
   FASE, 1999, pp:129-144 [Conf]
   
10. Antónia Lopes, José Luiz Fiadeiro
    Using Explicit State to Describe Architechtures. [Citation Graph (0, 0)][DBLP]
    FASE, 1999, pp:144-160 [Conf]
    
11. Markus Müller-Olm, Bernhard Steffen, Rance Cleaveland
    On the Evolution of Reactive Components: A Process-Algebraic Approach. [Citation Graph (0, 0)][DBLP]
    FASE, 1999, pp:161-175 [Conf]
    
12. V. A. Nepomniaschy
    Verification of Definite Iteration over Hierarchical Data Structures. [Citation Graph (0, 0)][DBLP]
    FASE, 1999, pp:176-187 [Conf]
    
13. Tobias Nipkow, Leonor Prensa Nieto
    Owicki/Gries in Isabelle/HOL. [Citation Graph (0, 0)][DBLP]
    FASE, 1999, pp:188-203 [Conf]
    
14. Chiara Nottegar, Corrado Priami, Pierpaolo Degano
    Semantic-Driven Performance Evaluation (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    FASE, 1999, pp:204-218 [Conf]
    
15. Josef Tapken
    Implementing Hierarchical Graph-Structures. [Citation Graph (0, 0)][DBLP]
    FASE, 1999, pp:219-233 [Conf]
    
16. Lynne Blair, Trevor Jones, Gordon S. Blair
    A Tool Suite for Multi-paradigm Specification. [Citation Graph (0, 0)][DBLP]
    FASE, 1999, pp:234-238 [Conf]
    
17. Christoph Lüth, Haykal Tej, Kolyang, Bernd Krieg-Brückner
    TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving. [Citation Graph (0, 0)][DBLP]
    FASE, 1999, pp:239-243 [Conf]