Jean-Pierre Finance
Proceedings of the Second International Conference on Fundamental Approaches to Software Engineering
FASE, 1999.

@proceedings{FASE-1999,
	address       = "Amsterdam, The Netherlands",
	editor        = "Jean-Pierre Finance",
	isbn          = "3-540-65718-5",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Second International Conference on Fundamental Approaches to Software Engineering}",
	volume        = 1577,
	year          = 1999,
}

Contents (17 items)

3 ×#specification
2 ×#development
2 ×#legacy
2 ×#performance

FASE-1999-DeursenKV #legacy #research

Research Issues in the Renovation of Legacy Systems (AvD, PK, CV), pp. 1–21.

FASE-1999-Weber #communication #information management

Continuous Engineering of Information and Communication Infrastructures (HW), pp. 22–29.

FASE-1999-AnconaCZ #framework

A Formal Framework with Late Binding (DA, MC, EZ), pp. 30–44.

FASE-1999-AttanasioCI #performance #realtime #specification

Yet Another Real-Time Specification for the Steam Boiler: Local Clocks to Statically Measure Systems Performance (CA, FC, PI), pp. 45–59.

FASE-1999-BruniMM #calculus #execution #process #specification

Executable Tile Specifications for Process Calculi (RB, JM, UM), pp. 60–76.

FASE-1999-CosicaR #concurrent #named

JTN: A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systems (EC, GR), pp. 77–97.

FASE-1999-FokkinkV #legacy #term rewriting

Conservative Extension in Positive/Negative Conditional Term Rewriting with Applications to Software Renovation Factories (WF, CV), pp. 98–113.

FASE-1999-GaudelKZ

Dynamic Systems with Implicit State (MCG, CK, AVZ), pp. 114–128.

FASE-1999-LanoE #development #uml

Rigorous Development in UML (KL, AE), pp. 129–144.

FASE-1999-LopesF #using

Using Explicit State to Describe Architechtures (AL, JLF), pp. 144–160.

FASE-1999-Muller-OlmSC #algebra #approach #component #evolution #on the

On the Evolution of Reactive Components: A Process-Algebraic Approach (MMO, BS, RC), pp. 161–175.

FASE-1999-Nepomniaschy #data type #verification

Verification of Definite Iteration over Hierarchical Data Structures (VAN), pp. 176–187.

FASE-1999-NipkowN #higher-order

Owicki/Gries in Isabelle/HOL (TN, LPN), pp. 188–203.

FASE-1999-NottegarPD #evaluation #performance #semantics

Semantic-Driven Performance Evaluation (CN, CP, PD), pp. 204–218.

FASE-1999-Tapken #implementation

Implementing Hierarchical Graph-Structures (JT), pp. 219–233.

FASE-1999-BlairJB #multi #specification

A Tool Suite for Multi-paradigm Specification (LB, TJ, GSB), pp. 234–238.

FASE-1999-LuthTKK #development #proving #theorem proving #tool support

TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving (CL, HT, K, BKB), pp. 239–243.