Ralf-Detlef Kutsche, Herbert Weber
Proceedings of the Fifth International Conference on Fundamental Approaches to Software Engineering
FASE, 2002.

@proceedings{FASE-2002,
	address       = "Grenoble, France",
	editor        = "Ralf-Detlef Kutsche and Herbert Weber",
	isbn          = "3-540-43353-8",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Fifth International Conference on Fundamental Approaches to Software Engineering}",
	volume        = 2306,
	year          = 2002,
}

Contents (25 items)

4 ×#design
4 ×#modelling
3 ×#approach
3 ×#component
3 ×#metamodelling
3 ×#object-oriented
2 ×#automation
2 ×#composition
2 ×#development
2 ×#execution

FASE-2002-Charpentier #approach #composition #motivation

An Approach to Composition Motivated by wp (MC), pp. 1–14.

FASE-2002-BartheGH #composition #interactive #verification

Compositional Verification of Secure Applet Interactions (GB, DG, MH), pp. 15–32.

FASE-2002-EhrigOBKP #component #framework #modelling

A Generic Component Framework for System Modeling (HE, FO, BB, MK, MP), pp. 33–48.

FASE-2002-Cerone #algebra #implementation #process

Implementing Condition/Event Nets in the Circal Process Algebra (AC), pp. 49–63.

FASE-2002-XieB #design #execution #model checking #object-oriented #reduction

Integrated State Space Reduction for Model Checking Executable Object-Oriented Software System Designs (FX, JCB), pp. 64–79.

FASE-2002-HagererHNS #generative

Model Generation by Moderated Regular Extrapolation (AH, HH, ON, BS), pp. 80–95.

FASE-2002-KumarH #slicing #source code

Better Slicing of Programs with Jumps and Switches (SK, SH), pp. 96–112.

FASE-2002-BernardoF #architecture

Architectural Types Revisited: Extensible And/Or Connections (MB, FF), pp. 113–127.

FASE-2002-PaulaB #component #development

Mapping an ADL to a Component-Based Application Development Environment (VCCdP, TVB), pp. 128–142.

FASE-2002-BelaundeP #component #precise #specification

From EDOC Components to CCM Components: A Precise Mapping Specification (MB, MP), pp. 143–158.

FASE-2002-ClarkEK #approach #metamodelling #modelling #precise

Engineering Modelling Languages: A Precise Meta-Modelling Approach (TC, AE, SK), pp. 159–173.

FASE-2002-LaraV #metamodelling #multi #named

AToM3: A Tool for Multi-formalism and Meta-modelling (JdL, HV), pp. 174–188.

FASE-2002-BaresiP #automation #re-engineering #visual notation

A Toolbox for Automating Visual Software Engineering (LB, MP), pp. 189–202.

FASE-2002-BradfieldFS #calculus #ocl #using #μ-calculus

Enriching OCL Using Observational μ-Calculus (JCB, JKF, PS), pp. 203–217.

FASE-2002-DavidMY #realtime #uml #verification

Formal Verification of UML Statecharts with Real-Time Extensions (AD, MOM, WY), pp. 218–232.

FASE-2002-HahnleJR #authoring #requirements #specification

An Authoring Tool for Informal and Formal Requirements Specifications (RH, KJ, AR), pp. 233–248.

FASE-2002-Bubl #constraints

Introducing Context-Based Constraints (FB), pp. 249–263.

FASE-2002-NonnengartRS #modelling #requirements #using

Formal Requirements Engineering Using Observer Models (AN, GR, WS), pp. 264–278.

FASE-2002-LopezLG #approach #automation #case study #generative #petri net #workflow

Automatic Generation of Use Cases from Workflows: A Petri Net Based Approach (OL, MAL, FJGP), pp. 279–293.

FASE-2002-BaresiGMP #design #metamodelling #tool support #web

Meta-modeling Techniques Meet Web Application Design Tools (LB, FG, LM, PP), pp. 294–307.

FASE-2002-NavarroFFS #concept #hypermedia #prototype

Formal-Driven Conceptualization and Prototyping of Hypermedia Applications (AN, BFM, AFV, JLS), pp. 308–322.

FASE-2002-GouveiaKWAF #coordination #development

The Coordination Development Environment (JG, GK, MW, LFA, JLF), pp. 323–326.

FASE-2002-AhrendtBBGHHMMS #design #formal method #object-oriented

The KeY System: Integrating Object-Oriented Design and Formal Methods (WA, TB, BB, MG, EH, RH, WM, WM, PHS), pp. 327–330.

FASE-2002-XieLB #design #execution #model checking #named #object-oriented

ObjectCheck: A Model Checking Tool for Executable Object-Oriented Software System Designs (FX, VL, JCB), pp. 331–335.

FASE-2002-HagererHMNSI #modelling #testing

Demonstration of an Operational Procedure for the Model-Based Testing of CTI Systems (AH, HH, TMS, ON, BS, HDI), pp. 336–340.