Egidio Astesiano
Proceedings of the First International Conference on Fundamental Approaches to Software Engineering
FASE, 1998.

@proceedings{FASE-1998,
	address       = "Lisbon, Portugal",
	editor        = "Egidio Astesiano",
	isbn          = "3-540-64303-6",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the First International Conference on Fundamental Approaches to Software Engineering}",
	volume        = 1382,
	year          = 1998,
}

Contents (23 items)

6 ×#specification
4 ×#safety
3 ×#design
3 ×#modelling
3 ×#named
2 ×#analysis
2 ×#automation
2 ×#case study
2 ×#composition
2 ×#embedded

FASE-1998-Beck #development #programming

Extreme Programming: A Humanistic Discipline of Software Development (KB), pp. 1–6.

FASE-1998-Jones #what

Some Mistakes I Have and What I Have Learned from Them (CBJ), pp. 7–20.

FASE-1998-AllenDG #architecture #specification

Specifying and Analyzing Dynamic Software Architectures (RA, RD, DG), pp. 21–37.

FASE-1998-BerregebBR #proving

Observational Proofs with Critical Contexts (NB, AB, MR), pp. 38–53.

FASE-1998-BradleyHKR #modelling #specification

Integrating AORTA with Model-Based Data Specification Languages (SB, WH, DK, AR), pp. 54–70.

FASE-1998-BussowGK #case study #embedded #safety #specification

Specifying Safety-Critical Embedded Systems with Statecharts and Z: A Case Study (RB, RG, MK), pp. 71–87.

FASE-1998-GrieskampHD #component #embedded #specification

Specifying Embedded Systems with Staecharts and Z: An Agenda for Cyclic Software Components (WG, MH, HD), pp. 88–106.

FASE-1998-Grosse-Rhode #algebra #composition

Algebra Transformation Systems and their Composition (MGR), pp. 107–122.

FASE-1998-HamieHK #modelling #navigation #object-oriented

Navigation Expresion in Object-Oriented Modelling (AH, JH, SK), pp. 123–137.

FASE-1998-Heckel #composition #graph transformation #verification

Compositional Verification of Reactive Systems Specified by Graph Transformation (RH), pp. 138–153.

FASE-1998-KahrsS #design #specification

Reflections on the Design of a Specification language (SK, DS), pp. 154–170.

FASE-1998-Lechner #concept #concurrent #object-oriented #reuse

Constructs, Concepts and Criteria for Reuse in Concurrent Object-Oriented languages (UL), pp. 171–187.

FASE-1998-MargariaS #automation #backtracking #design #synthesis

Backtracking-Free Design Planning by Automatic Synthesis in METAFrame (TMS, BS), pp. 188–204.

FASE-1998-MotaS #model checking

Model-Checking CSP-Z (AM, AS), pp. 205–220.

FASE-1998-PadbergGE #refinement #rule-based #safety

Rule-Based Refinement of High-Level Nets Preserving Safety Properties (JP, MG, CE), pp. 221–238.

FASE-1998-ReedJDR #analysis #automation #formal method #modelling #network

Automated Formal Analysis of Networks: FDR Models of Arbitrary Topologies and Flow-Control Mechanisms (JNR, DMJ, BD, GMR), pp. 239–254.

FASE-1998-NielsonAN #analysis #behaviour #case study #safety

Behaviour Analysis and Safety Conditions: A Case Study in CML (HRN, TA, FN), pp. 255–269.

FASE-1998-SandholmS #distributed #safety #web #web service

Distributed Safety Controllers for Web Services (AS, MIS), pp. 270–284.

FASE-1998-Scholz #calculus #refinement

A Refinement Calculus for Statecharts (PS), pp. 285–301.

FASE-1998-Sucrow #graph grammar #interactive #specification

Refining Formal Specifications of Human Computer Interaction by Graph Rewrite Rules (BS), pp. 302–317.

FASE-1998-BehnkeBMS #named #programming #relational

RELVIEW — A System for Calculating With Relations and Relational Programming (RB, RB, EM, PS), pp. 318–321.

FASE-1998-Dubois #formal method #named #requirements #tool support

ALBERT: A Formal Language and Its Supporting Tools for Requirements Engineering (ED), pp. 322–325.

FASE-1998-Tapken #automaton #design #named #realtime

MOBY/PLC — A Design Tool for Hierarchical Real-Time Automata (JT), pp. 326–329.