Maura Cerioli
Proceedings of the Eighth International Conference on Fundamental Approaches to Software Engineering
FASE, 2005.

@proceedings{FASE-2005,
	address       = "Edinburgh, Scotland, United Kingdom",
	doi           = "10.1007/b107062",
	editor        = "Maura Cerioli",
	isbn          = "3-540-25420-X",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Eighth International Conference on Fundamental Approaches to Software Engineering}",
	volume        = 3442,
	year          = 2005,
}

Contents (27 items)

3 ×#analysis
3 ×#component
3 ×#modelling
3 ×#testing
3 ×#uml
3 ×#using
2 ×#automation
2 ×#composition
2 ×#consistency
2 ×#interactive

FASE-2005-Berry #design #industrial #performance #specification

Esterel v7: From Verified Formal Specification to Efficient Industrial Designs (GB), p. 1.

FASE-2005-BeyerHJM #memory management #safety

Checking Memory Safety with Blast (DB, TAH, RJ, RM), pp. 2–18.

FASE-2005-Martens #process #web #web service

Analyzing Web Service Based Business Processes (AM), pp. 19–33.

FASE-2005-HeckelM #automation #consistency #testing #web #web service

Automatic Conformance Testing of Web Services (RH, LM), pp. 34–48.

FASE-2005-EhrigELTVV #model transformation #termination

Termination Criteria for Model Transformation (HE, KE, JdL, GT, DV, SVG), pp. 49–63.

FASE-2005-TaentzerR #constraints #graph #inheritance #modelling

Ensuring Structural Constraints in Graph-Based Models with Type Inheritance (GT, AR), pp. 64–79.

FASE-2005-ReussnerHH #component #contract #graph grammar #modelling #parametricity

Modelling Parametric Contracts and the State Space of Composite Components by Graph Grammars (RHR, JH, AH), pp. 80–95.

FASE-2005-Dayani-FardYMA #architecture #c #c++ #legacy

Improving the Build Architecture of Legacy C/C++ Software Systems (HDF, YY, JM, PA), pp. 96–110.

FASE-2005-RodriguesRU #component #concurrent #predict #reliability #using

Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems (GNR, DSR, SU), pp. 111–126.

FASE-2005-LeicherS #analysis #composition #modelling #uml

Augmenting UML Models for Composition Conflict Analysis (AL, JGS), pp. 127–140.

FASE-2005-ChangHK #clustering #component #identification

A Tool to Automate Component Clustering and Identification (SHC, MJH, SDK), pp. 141–144.

FASE-2005-HammoudaHPK #using #variability

Managing Variability Using Heterogeneous Feature Variation Patterns (IH, JH, MP, KK), pp. 145–159.

FASE-2005-LarsenLW #source code #specification

Color-Blind Specifications for Transformations of Reactive Synchronous Programs (KGL, UL, AW), pp. 160–174.

FASE-2005-BergGJLRS #consistency #on the #testing

On the Correspondence Between Conformance Testing and Regular Inference (TB, OG, BJ, ML, HR, BS), pp. 175–189.

FASE-2005-Naumann #encapsulation

Observational Purity and Encapsulation (DAN), pp. 190–204.

FASE-2005-CaneteM #ontology #problem #re-engineering #towards

Towards a Theory on the Role of Ontologies in Software Engineering Problem Solving (JMC, FJGM), pp. 205–219.

FASE-2005-ChechikG #framework #generative

A Framework for Counterexample Generation and Exploration (MC, AG), pp. 220–236.

FASE-2005-EichbergSM #using

Using Annotations to Check Structural Properties of Classes (ME, TS, MM), pp. 237–252.

FASE-2005-JakobacEM #analysis #comprehension #interactive #source code

Improving System Understanding via Interactive, Tailorable, Source Code Analysis (VJ, AE, NM), pp. 253–268.

FASE-2005-JayaramanRH #delivery #eclipse #java #named #slicing

Kaveri: Delivering the Indus Java Program Slicer to Eclipse (GJ, VPR, JH), pp. 269–272.

FASE-2005-MooijGR

Non-local Choice and Beyond: Intricacies of MSC Choice Nodes (AJM, NG, JR), pp. 273–288.

FASE-2005-RountevKS #diagrams #interactive #sequence chart #test coverage #testing

Coverage Criteria for Testing of Object Interactions in Sequence Diagrams (AR, SK, JS), pp. 289–304.

FASE-2005-JurjensS #analysis #development #security #tool support #uml

Tools for Secure Systems Development with UML: Security Analysis with ATPs (JJ, PS), pp. 305–309.

FASE-2005-EgyedSW #maintenance #refinement #uml

Maintaining Life Perspectives During the Refinement of UML Class Structures (AE, WS, KW), pp. 310–325.

FASE-2005-FuriaRMM #automation #composition #proving #realtime

Automated Compositional Proofs for Real-Time Systems (CAF, MR, DM, AM), pp. 326–340.

FASE-2005-HausmannMS #higher-order #induction

Iterative Circular Coinduction for CoCasl in Isabelle/HOL (DH, TM, LS), pp. 341–356.

FASE-2005-Mostowski #formal method #java #logic #security #verification

Formalisation and Verification of Java Card Security Properties in Dynamic Logic (WM), pp. 357–371.