Thomas Stephen Edward Maibaum
Proceedings of the Third International Conference on Fundamental Approaches to Software Engineering
FASE, 2000.

@proceedings{FASE-2000,
	address       = "Berlin, Germany",
	editor        = "Thomas Stephen Edward Maibaum",
	isbn          = "3-540-67261-3",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Third International Conference on Fundamental Approaches to Software Engineering}",
	volume        = 1783,
	year          = 2000,
}

Contents (27 items)

8 ×#using
4 ×#formal method
4 ×#specification
3 ×#object-oriented
3 ×#verification
2 ×#algebra
2 ×#approach
2 ×#case study
2 ×#composition
2 ×#design

FASE-2000-Turski #re-engineering

Essay on Software Engineering at the Turn of Century (WMT), pp. 1–20.

FASE-2000-Soley

Memex Is Not Enough (RMS), p. 21.

FASE-2000-Harel

From Play-In Scenarios to Code: An Achievable Dream (DH), pp. 22–34.

FASE-2000-KolanoKM #parallel #realtime #refinement

Parallel Refinement Mechanisms for Real-Time Systems (PZK, RAK, DM), pp. 35–50.

FASE-2000-Suhl #safety

Applying RT-Z to Develop Safety-Critical Systems (CS), pp. 51–65.

FASE-2000-Dierks #algebra #process #realtime #source code

A Process Algebra for Real-Time Programs (HD), pp. 66–81.

FASE-2000-DondossolaB #fault tolerance #formal method #specification

System Fault Tolerance Specification: Proposal of a Method Combining Semi-formal and Formal Approaches (GD, OB), pp. 82–96.

FASE-2000-LanoAC #design #using

Structuring and Design of Reactive Systems Using RSDS and B (KL, KA, DC), pp. 97–111.

FASE-2000-AnlauffKPS #component #composition #domain-specific language #using

Using Domain-Specific Languages for the Realization of Component Composition (MA, PWK, AP, AS), pp. 112–126.

FASE-2000-ReggioACH #approach #formal method #lightweight #state machine #uml

Analysing UML Active Classes and Associated State Machines — A Lightweight Formal Approach (GR, EA, CC, HH), pp. 127–146.

FASE-2000-Hernandez-OralloR #learning #lifecycle #quality

Software as Learning: Quality Factors and Life-Cycle Revised (JHO, MJRQ), pp. 147–162.

FASE-2000-Kondoh #question #re-engineering #what

What is “Mathematicalness” in Software Engineering? (HK), pp. 163–177.

FASE-2000-EgyedM #approach #formal method #modelling

A Formal Approach to Heterogeneous Software Modeling (AE, NM), pp. 178–192.

FASE-2000-Overgaard #metamodelling #object-oriented #specification

Formal Specification of Object-Oriented Meta-modelling (GÖ), pp. 193–207.

FASE-2000-HuizingK #invariant #object-oriented #source code #using #verification

Verification of Object Oriented Programs Using Class Invariants (KH, RK), pp. 208–221.

FASE-2000-GruerHK #design #network #problem #specification #using #verification

Verification of Object-Z Specifications by Using Transition Systems: Application to the Radiomobile Network Design Problem (PG, VH, AK), pp. 222–236.

FASE-2000-NelsonCA #multi #object-oriented

A Model for Describing Object-Oriented Systems from Multiple Perspectives (TN, DDC, PSCA), pp. 237–248.

FASE-2000-PadbergHG #algebra #safety

Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems (JP, KH, MG), pp. 249–265.

FASE-2000-BellegardeJK #composition #refinement

Ready-Simulation Is Not Ready to Express a Modular Refinement Relation (FB, JJ, OK), pp. 266–283.

FASE-2000-HuismanJ #hoare #java #logic #termination #verification

Java Program Verification via a Hoare Logic with Abrupt Termination (MH, BJ), pp. 284–303.

FASE-2000-Parisi-PresicceW #configuration management #graph transformation #policy #using

Foundations for Software Configuration Management Policies Using Graph Transformations (FPP, ALW), pp. 304–318.

FASE-2000-FradetIR #mobile #non-functional

Analyzing Non-functional Properties of Mobile Agents (PF, VI, SR), pp. 319–333.

FASE-2000-Wehrheim #automation #case study #formal method #specification #using

Specification of an Automatic Manufacturing System: A Case Study in Using Integrated Formal Methods (HW), pp. 334–348.

FASE-2000-HuneS #automaton #case study #synthesis #using

A Case Study on Using Automata in Control Synthesis (TH, AS), pp. 349–362.

FASE-2000-BalserRSST #development

Formal System Development with KIV (MB, WR, GS, KS, AT), pp. 363–366.

FASE-2000-LuthW #development #tool support

More About TAS and IsaWin — Tools for Formal Program Development (CL, BW), pp. 367–370.

FASE-2000-ClavelDELMMQ #maude #using

Using Maude (MC, FD, SE, PL, NMO, JM, JFQ), pp. 371–374.