The SCEAS System
Navigation Menu

Conferences in DBLP

Fundamental Approaches to Software Engineering (FASE) (fase)
1998 (conf/fase/98)

  1. Kent Beck
    Extreme Programming: A Humanistic Discipline of Software Development. [Citation Graph (0, 0)][DBLP]
    FASE, 1998, pp:1-6 [Conf]
  2. Cliff B. Jones
    Some Mistakes I Have and What I Have Learned from Them. [Citation Graph (0, 0)][DBLP]
    FASE, 1998, pp:7-20 [Conf]
  3. Robert Allen, Rémi Douence, David Garlan
    Specifying and Analyzing Dynamic Software Architectures. [Citation Graph (0, 0)][DBLP]
    FASE, 1998, pp:21-37 [Conf]
  4. Narjes Berregeb, Adel Bouhoula, Michaël Rusinowitch
    Observational Proofs with Critical Contexts. [Citation Graph (0, 0)][DBLP]
    FASE, 1998, pp:38-53 [Conf]
  5. Steven Bradley, William Henderson, David Kendall, Adrian Robson
    Integrating AORTA with Model-Based Data Specification Languages. [Citation Graph (0, 0)][DBLP]
    FASE, 1998, pp:54-70 [Conf]
  6. Robert Büssow, Robert Geisler, Marcus Klar
    Specifying Safety-Critical Embedded Systems with Statecharts and Z: A Case Study. [Citation Graph (0, 0)][DBLP]
    FASE, 1998, pp:71-87 [Conf]
  7. Wolfgang Grieskamp, Maritta Heisel, Heiko Dörr
    Specifying Embedded Systems with Staecharts and Z: An Agenda for Cyclic Software Components. [Citation Graph (0, 0)][DBLP]
    FASE, 1998, pp:88-106 [Conf]
  8. Martin Große-Rhode
    Algebra Transformation Systems and their Composition. [Citation Graph (0, 0)][DBLP]
    FASE, 1998, pp:107-122 [Conf]
  9. Ali Hamie, John Howse, Stuart Kent
    Navigation Expresion in Object-Oriented Modelling. [Citation Graph (0, 0)][DBLP]
    FASE, 1998, pp:123-137 [Conf]
  10. Reiko Heckel
    Compositional Verification of Reactive Systems Specified by Graph Transformation. [Citation Graph (0, 0)][DBLP]
    FASE, 1998, pp:138-153 [Conf]
  11. Stefan Kahrs, Donald Sannella
    Reflections on the Design of a Specification language. [Citation Graph (0, 0)][DBLP]
    FASE, 1998, pp:154-170 [Conf]
  12. Ulrike Lechner
    Constructs, Concepts and Criteria for Reuse in Concurrent Object-Oriented languages. [Citation Graph (0, 0)][DBLP]
    FASE, 1998, pp:171-187 [Conf]
  13. Tiziana Margaria, Bernhard Steffen
    Backtracking-Free Design Planning by Automatic Synthesis in METAFrame. [Citation Graph (0, 0)][DBLP]
    FASE, 1998, pp:188-204 [Conf]
  14. Alexandre Mota, Augusto Sampaio
    Model-Checking CSP-Z. [Citation Graph (0, 0)][DBLP]
    FASE, 1998, pp:205-220 [Conf]
  15. Julia Padberg, Magdalena Gajewsky, Claudia Ermel
    Rule-Based Refinement of High-Level Nets Preserving Safety Properties. [Citation Graph (0, 0)][DBLP]
    FASE, 1998, pp:221-238 [Conf]
  16. Joy N. Reed, D. M. Jackson, B. Deianov, George M. Reed
    Automated Formal Analysis of Networks: FDR Models of Arbitrary Topologies and Flow-Control Mechanisms. [Citation Graph (0, 0)][DBLP]
    FASE, 1998, pp:239-254 [Conf]
  17. Hanne Riis Nielson, Torben Amtoft, Flemming Nielson
    Behaviour Analysis and Safety Conditions: A Case Study in CML. [Citation Graph (0, 0)][DBLP]
    FASE, 1998, pp:255-269 [Conf]
  18. Anders Sandholm, Michael I. Schwartzbach
    Distributed Safety Controllers for Web Services. [Citation Graph (0, 0)][DBLP]
    FASE, 1998, pp:270-284 [Conf]
  19. Peter Scholz
    A Refinement Calculus for Statecharts. [Citation Graph (0, 0)][DBLP]
    FASE, 1998, pp:285-301 [Conf]
  20. Bettina Sucrow
    Refining Formal Specifications of Human Computer Interaction by Graph Rewrite Rules. [Citation Graph (0, 0)][DBLP]
    FASE, 1998, pp:302-317 [Conf]
  21. Ralf Behnke, Rudolf Berghammer, Erich Meyer, Peter Schneider
    RELVIEW - A System for Calculating With Relations and Relational Programming. [Citation Graph (0, 0)][DBLP]
    FASE, 1998, pp:318-321 [Conf]
  22. Eric Dubois
    ALBERT: A Formal Language and Its Supporting Tools for Requirements Engineering. [Citation Graph (0, 0)][DBLP]
    FASE, 1998, pp:322-325 [Conf]
  23. Josef Tapken
    MOBY/PLC - A Design Tool for Hierarchical Real-Time Automata. [Citation Graph (0, 0)][DBLP]
    FASE, 1998, pp:326-329 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002