3. FASE 2000: Berlin, Germany (Part of ETAPS 2000)

@proceedings{DBLP:conf/fase/2000,
  editor    = {T. S. E. Maibaum},
  title     = {Fundamental Approaches to Software Engineering, Third Internationsl
               Conference, FASE 2000, Held as Part of the European Joint Conferences
               on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany,
               March 25 - April 2, 2000, Proceedings},
  booktitle = {FASE},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1783},
  year      = {2000},
  isbn      = {3-540-67261-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Papers

• Wladyslaw M. Turski:
  Essay on Software Engineering at the Turn of Century. 1-20
  
• Richard Mark Soley:
  Memex Is Not Enough. 21
  
• David Harel:
  From Play-In Scenarios to Code: An Achievable Dream. 22-34
  

Real-Time Systems

• Paul Z. Kolano, Richard A. Kemmerer, Dino Mandrioli:
  Parallel Refinement Mechanisms for Real-Time Systems. 35-50
  
• Carsten Sühl:
  Applying RT-Z to Develop Safety-Critical Systems. 51-65
  
• Henning Dierks:
  A Process Algebra for Real-Time Programs. 66-81
  

Formally Engineering Systems

• Giovanna Dondossola, Oliver Botti:
  System Fault Tolerance Specification: Proposal of a Method Combining Semi-formal and Formal Approaches. 82-96
  
• Kevin Lano, Kelly Androutsopoulos, David Clark:
  Structuring and Design of Reactive Systems Using RSDS and B. 97-111
  
• Matthias Anlauff, Philipp W. Kutter, Alfonso Pierantonio, Asuman Sünbül:
  Using Domain-Specific Languages for the Realization of Component Composition. 112-126
  

Software Engineering

• Gianna Reggio, Egidio Astesiano, Christine Choppy, Heinrich Hußmann:
  Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach. 127-146
  
• José Hernández-Orallo, M. José Ramírez-Quintana:
  Software as Learning: Quality Factors and Life-Cycle Revised. 147-162
  
• Hidetaka Kondoh:
  What Is `Mathematicalness' in Software Engineering? 163-177
  
• Alexander Egyed, Nenad Medvidovic:
  A Formal Approach to Heterogeneous Software Modeling. 178-192
  

Object Orientation

• Gunnar Övergaard:
  Formal Specification of Object-Oriented Meta-modelling. 193-207
  
• Kees Huizing, Ruurd Kuiper:
  Verification of Object Oriented Programs Using Class Invariants. 208-221
  
• Pablo Gruer, Vincent Hilaire, Abder Koukam:
  Verification of Object-Z Specifications by Using Transition Systems: Application to the Radiomobile Network Design Problem. 222-236
  
• Torsten Nelson, Donald D. Cowan, Paulo S. C. Alencar:
  A Model for Describing Object-Oriented Systems from Multiple Perspectives. 237-248
  

Formallz Engineering Systems

• Julia Padberg, Kathrin Hoffmann, Magdalena Gajewsky:
  Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems. 249-265
  

Theory and Applications

• Françoise Bellegarde, Jacques Julliand, Olga Kouchnarenko:
  Ready-Simulation Is Not Ready to Express a Modular Refinement Relation. 266-283
  
• Marieke Huisman, Bart Jacobs:
  Java Program Verification via a Hoare Logic with Abrupt Termination. 284-303
  
• Francesco Parisi-Presicce, Alexander L. Wolf:
  Foundations for Software Configuration Management Policies Using Graph Transformations. 304-318
  
• Pascal Fradet, Valérie Issarny, Siegfried Rouvrais:
  Analyzing Non-functional Properties of Mobile Agents. 319-333
  

Case Studies

• Heike Wehrheim:
  Specification of an Automatic Manufacturing System: A Case Study in Using Integrated Formal Methods. 334-348
  
• Thomas Hune, Anders Sandholm:
  A Case Study on Using Automata in Control Synthesis. 349-362
  

Demonstrations

• Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel, Andreas Thums:
  Formal System Development with KIV. 363-366
  
• Christoph Lüth, Burkhart Wolff:
  More About TAS and IsaWin - Tools for Formal Program Development. 367-370
  
• Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada:
  Using Maude. 371-374