Mauro Pezzè
Proceedings of the Sixth International Conference on Fundamental Approaches to Software Engineering
FASE, 2003.

@proceedings{FASE-2003,
	address       = "Warsaw, Poland",
	editor        = "Mauro Pezzè",
	isbn          = "3-540-00899-3",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Sixth International Conference on Fundamental Approaches to Software Engineering}",
	volume        = 2621,
	year          = 2003,
}

Contents (27 items)

8 ×#specification
5 ×#component
4 ×#logic
4 ×#modelling
3 ×#approach
3 ×#composition
3 ×#diagrams
3 ×#object-oriented
3 ×#visual notation
2 ×#mobile

FASE-2003-Young #static analysis #testing

Symbiosis of Static Analysis and Program Testing (MY), pp. 1–5.

FASE-2003-Pahl #component #ontology

An Ontology for Software Component Matching (CP), pp. 6–21.

FASE-2003-SoraVB #component #composition

A Description Language For Composable Components (IS, PV, YB), pp. 22–36.

FASE-2003-AguirreM #component #configuration management #logic #specification

A Logical Basis for the Specification of Reconfigurable Component-Based Systems (NA, TSEM), pp. 37–51.

FASE-2003-ReichmannKM #approach #design #embedded #modelling #object-oriented

An Overall System Design Approach Doing Object-Oriented Modeling to Code-Generation for Embedded Electronic Systems (CR, MK, KDMG), pp. 52–66.

FASE-2003-FenkamGJ #specification

Composing Specifications of Event Based Applications (PF, HCG, MJ), pp. 67–86.

FASE-2003-MerzWZ #logic #mobile #refinement #specification

A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems (SM, MW, JZ), pp. 87–101.

FASE-2003-ScottBM #mobile #policy #security

Spatial Security Policies for Mobile Agents in a Sentient Computing Environment (DJS, ARB, AM), pp. 102–117.

FASE-2003-BiancoLMO #component #realtime #specification #towards #uml

Towards UML-Based Formal Specifications of Component-Based Real-Time Software (VDB, LL, MM, GO), pp. 118–134.

FASE-2003-TenzerS #diagrams #modelling #recursion #uml

Modelling Recursive Calls with UML State Diagrams (JT, PS), pp. 135–149.

FASE-2003-ZhaoR #aspectj #behaviour #interface #named #specification

Pipa: A Behavioral Interface Specification Language for AspectJ (JZ, MCR), pp. 150–165.

FASE-2003-VanderperrenSWJ #component #composition #visual notation

PacoSuite and JAsCo: A Visual Component Composition Environment with Advanced Aspect Separation Features (WV, DS, BW, VJ), pp. 166–169.

FASE-2003-HeckelL #development #modelling #using #visual notation #web

Model-Based Development of Web Applications Using Graphical Reaction Rules (RH, ML), pp. 170–183.

FASE-2003-JinELJ #analysis #composition #data flow #network #process

Modular Analysis of Dataflow Process Networks (YJ, RE, CL, JWJ), pp. 184–199.

FASE-2003-Morasca #approach #metric

Foundations of a Weak Measurement-Theoretic Approach to Software Measurement (SM), pp. 200–215.

FASE-2003-Kelsen #object-oriented

An Information-Based View of Representational Coupling in Object-Oriented Systems (PK), pp. 216–230.

FASE-2003-Kubica #approach #pointer #specification #verification

A Temporal Approach to Specification and Verification of Pointer Data-Structures (MK), pp. 231–245.

FASE-2003-BeckertM #java #logic #transaction

A Program Logic for Handling JAVA CARD’s Transaction Mechanism (BB, WM), pp. 246–260.

FASE-2003-SchroderM #hoare #independence #logic

Monad-Independent Hoare Logic in HASCASL (LS, TM), pp. 261–277.

FASE-2003-KochP #policy #specification #verification #visual notation

Visual Specifications of Policies and Their Verification (MK, FPP), pp. 278–293.

FASE-2003-GargantiniR #animation #automation #modelling #specification

Automatic Model Driven Animation of SCR Specifications (AG, ER), pp. 294–309.

FASE-2003-GoelGW #object-oriented #testing

Probe Mechanism for Object-Oriented Software Testing (AG, SCG, SKW), pp. 310–324.

FASE-2003-SharyginaB #abstraction #model checking

Model Checking Software via Abstraction of Loop Transitions (NS, JCB), pp. 325–340.

FASE-2003-AttiogbePS #data type #diagrams #integration

Integration of Formal Datatypes within State Diagrams (CA, PP, GS), pp. 341–355.

FASE-2003-PennaMIMP #diagrams #named #towards #xml

Xere: Towards a Natural Interoperability between XML and ER Diagrams (GDP, ADM, BI, IM, AP), pp. 356–371.

FASE-2003-Muccini #branch #detection

Detecting Implied Scenarios Analyzing Non-local Branching Choices (HM), pp. 372–386.

FASE-2003-Kruger #using

Capturing Overlapping, Triggered, and Preemptive Collaborations Using MSCs (IK), pp. 387–402.