Heinrich Hußmann
Proceedings of the Fourth International Conference on Fundamental Approaches to Software Engineering
FASE, 2001.

@proceedings{FASE-2001,
	address       = "ETAPS 2001 Genova, Italy",
	editor        = "Heinrich Hußmann",
	isbn          = "3-540-41863-6",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Fourth International Conference on Fundamental Approaches to Software Engineering}",
	volume        = 2029,
	year          = 2001,
}

Contents (24 items)

6 ×#uml
4 ×#design
4 ×#semantics
4 ×#specification
3 ×#diagrams
3 ×#modelling
3 ×#testing
2 ×#analysis
2 ×#calculus
2 ×#consistency

FASE-2001-Selic #logic #physics #programming

Physical Programming: Beyond Mere Logic (BS), p. 1.

FASE-2001-PaigeO #consistency #metamodelling

Metamodelling and Conformance Checking with PVS (RFP, JSO), pp. 2–16.

FASE-2001-ClarkEK #calculus #metamodelling #semantics #uml

The Metamodelling Language Calculus: Foundation Semantics for UML (TC, AE, SK), pp. 17–31.

FASE-2001-PingerE #communication #composition

Compositional Checking of Communication among Observers (RP, HDE), pp. 32–44.

FASE-2001-ReedS #independence #specification

Combining Independent Specifications (JNR, JS), pp. 45–59.

FASE-2001-InverardiU #component #concurrent #programming #proving

Proving Deadlock Freedom in Component-Based Programming (PI, SU), pp. 60–75.

FASE-2001-EshuisW #diagrams #execution #process #realtime #semantics #uml

A Real-Time Execution Semantics for UML Activity Diagrams (RE, RW), pp. 76–90.

FASE-2001-FischerOW #csp #diagrams #uml

A CSP View on UML-RT Structure Diagrams (CF, ERO, HW), pp. 91–108.

FASE-2001-HeckelS #collaboration #diagrams #uml

Strengthening UML Collaboration Diagrams by State Transformations (RH, SS), pp. 109–123.

FASE-2001-ChoppyPR #specification #uml #visual notation

Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation (CC, PP, JCR), pp. 124–139.

FASE-2001-Stevens #case study #modelling #on the

On Use Cases and Their Relationships in the Unified Modelling Language (PS), pp. 140–155.

FASE-2001-BordeleauC #design #on the #state machine

On the Importance of Inter-scenario Relationships in Hierarchical State Machine Design (FB, JPC), pp. 156–170.

FASE-2001-ReggioCA #approach #multi #semantics #towards #uml

Towards a Rigorous Semantics of UML Supporting Its Multiview Approach (GR, MC, EA), pp. 171–186.

FASE-2001-Jurjens #development #towards #using

Towards Development of Secure Systems Using UMLsec (JJ), pp. 187–200.

FASE-2001-Lammel #testing

Grammar Testing (RL), pp. 201–216.

FASE-2001-LoginovYHR #debugging #runtime #type checking

Debugging via Run-Time Type Checking (AL, SHY, SH, TWR), pp. 217–232.

FASE-2001-NieseSMHBI #consistency #design #industrial #testing

Library-Based Design and Consistency Checking of System-Level Industrial Test Cases (ON, BS, TMS, AH, GB, HDI), pp. 233–248.

FASE-2001-NieseNHKGEH #automation #testing

Demonstration of an Automated Integrated Testing Environment for CTI Systems (ON, MN, AH, KKS, WG, AE, BH), pp. 249–252.

FASE-2001-SchroderMTKH #architecture #semantics #specification

Semantics of Architectural Specifications in CASL (LS, TM, AT, BK, PH), pp. 253–268.

FASE-2001-MossakowskiAH #development #graph

Extending Development Graphs with Hiding (TM, SA, DH), pp. 269–283.

FASE-2001-JacobsP #java #logic #ml #modelling

A Logic for the Java Modeling Language JML (BJ, EP), pp. 284–299.

FASE-2001-ReusWH #calculus #design #hoare #java #modelling #ocl #verification

A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models (BR, MW, RH), pp. 300–317.

FASE-2001-SharyginaBK #analysis #design #object-oriented #reliability #verification

A Formal Object-Oriented Analysis for Software Reliability: Design for Verification (NS, JCB, RPK), pp. 318–332.

FASE-2001-OlveczkyKMTZ #analysis #maude #network #protocol #realtime #specification

Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude (PCÖ, MK, JM, CLT, SZ), pp. 333–348.