Michel Wermelinger, Tiziana Margaria-Steffen
Proceedings of the Seventh International Conference on Fundamental Approaches to Software Engineering
FASE, 2004.

@proceedings{FASE-2004,
	address       = "ETAPS 2004 Barcelona, Spain",
	editor        = "Michel Wermelinger and Tiziana Margaria-Steffen",
	isbn          = "3-540-21305-8",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Seventh International Conference on Fundamental Approaches to Software Engineering}",
	volume        = 2984,
	year          = 2004,
}

Contents (28 items)

4 ×#component
4 ×#using
3 ×#automation
3 ×#framework
3 ×#requirements
3 ×#specification
2 ×#analysis
2 ×#aspect-oriented
2 ×#case study
2 ×#composition

FASE-2004-Abiteboul #distributed #information management #web #web service #xml

Distributed Information Management with XML and Web Services (SA), pp. 1–11.

FASE-2004-RomanJP

A Formal Treatment of Context-Awareness (GCR, CJ, JP), pp. 12–36.

FASE-2004-Egyed #adaptation #consistency #diagrams #evolution #refinement

Consistent Adaptation and Evolution of Class Diagrams during Refinement (AE), pp. 37–53.

FASE-2004-ZhaoX #aspect-oriented

Measuring Aspect Cohesion (JZ, BX), pp. 54–68.

FASE-2004-McComb #refactoring #specification

Refactoring Object-Z Specifications (TM), pp. 69–83.

FASE-2004-HuismanGSC #case study #interactive

Checking Absence of Illicit Applet Interactions: A Case Study (MH, DG, CS, GC), pp. 84–98.

FASE-2004-BartheD #bytecode #framework #verification

A Tool-Assisted Framework for Certified Bytecode Verification (GB, GD), pp. 99–113.

FASE-2004-HubbersP #java #reasoning #transaction

Reasoning about Card Tears and Transactions in Java Card (EH, EP), pp. 114–128.

FASE-2004-ChatleyEKMU #plugin #predict

Predictable Dynamic Plugin Systems (RC, SE, JK, JM, SU), pp. 129–143.

FASE-2004-JungHR #component #corba #correlation #framework

A Correlation Framework for the CORBA Component Model (GJ, JH, VPR), pp. 144–159.

FASE-2004-ChildsGRDDHJSS #analysis #component #development #ide #named #synthesis #verification

Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems (AC, JG, VPR, XD, MBD, JH, GJ, PS, GS), pp. 160–164.

FASE-2004-BreuP #modelling

Actor-Centric Modeling of User Rights (RB, GP), pp. 165–179.

FASE-2004-KimRFL #data access #modelling #uml #using

Modeling Role-Based Access Control Using Parameterized UML Models (DKK, IR, RBF, NL), pp. 180–193.

FASE-2004-Bocchi #composition #transaction

Compositional Nested Long Running Transactions (LB), pp. 194–208.

FASE-2004-MoldtO #automation #named #petri net

DaGen: A Tool for Automatic Translation from DAML-S to High-Level Petri Nets (DM, JO), pp. 209–213.

FASE-2004-BardohlELT #aspect-oriented #graph transformation #metamodelling #performance #visual notation

Integrating Meta-modelling Aspects with Graph Transformation for Efficient Visual Language Definition and Model Manipulation (RB, HE, JdL, GT), pp. 214–228.

FASE-2004-HamonR #semantics

An Operational Semantics for Stateflow (GH, JMR), pp. 229–243.

FASE-2004-ChoppyR #case study #requirements #specification #using

Improving Use Case Based Requirements Using Formally Grounded Specifications (CC, GR), pp. 244–260.

FASE-2004-El-MaddahM #design #development #ide #process #requirements

The GOPCSD Tool: An Integrated Development Environment for Process Control Requirements and Design (IAMEM, TSEM), pp. 261–266.

FASE-2004-HeG #automation #debugging #using

Automated Debugging Using Path-Based Weakest Preconditions (HH, NG), pp. 267–280.

FASE-2004-LedruBMB #combinator #testing

Filtering TOBIAS Combinatorial Test Suites (YL, LdB, OM, PB), pp. 281–294.

FASE-2004-MucciniDR #architecture #testing

Systematic Testing of Software Architectures in the C2 Style (HM, MSD, DJR), pp. 295–309.

FASE-2004-SaffreyC #communication #model checking #optimisation

Optimising Communication Structure for Model Checking (PS, MC), pp. 310–323.

FASE-2004-XieLKB #design #model checking

Translating Software Designs for Model Checking (FX, VL, RPK, JCB), pp. 324–338.

FASE-2004-GhezziMP #static analysis #type system

Enhancing Remote Method Invocation through Type-Based Static Analysis (CG, VM, GPP), pp. 339–353.

FASE-2004-OlveczkyM #analysis #maude #realtime #specification #using

Specification and Analysis of Real-Time Systems Using Real-Time Maude (PCÖ, JM), pp. 354–358.

FASE-2004-ChoiCK #component #framework

A Systematic Methodology for Developing Component Frameworks (SWC, SHC, SDK), pp. 359–373.

FASE-2004-SoraCVB #automation #component #composition #requirements

Automating Decisions in Component Composition Based on Propagation of Requirements (IS, VC, PV, YB), pp. 374–388.