Proceedings of the Seventh International Conference on Fundamental Approaches to Software Engineering
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

TCS
DBLP
Scholar
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.