José Luiz Fiadeiro, Paola Inverardi
Proceedings of the 11th International Conference on Fundamental Approaches to Software Engineering
FASE, 2008.

@proceedings{FASE-2008,
	address       = "Budapest, Hungary",
	doi           = "10.1007/978-3-540-78743-3",
	editor        = "José Luiz Fiadeiro and Paola Inverardi",
	isbn          = "978-3-540-78742-6",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 11th International Conference on Fundamental Approaches to Software Engineering}",
	volume        = 4961,
	year          = 2008,
}

Contents (31 items)

10 ×#modelling
4 ×#verification
3 ×#analysis
3 ×#automation
3 ×#composition
3 ×#named
3 ×#using
2 ×#adaptation
2 ×#approach
2 ×#architecture

FASE-2008-AlrajehRU #behaviour #modelling #using

Deriving Non-zeno Behavior Models from Goal Models Using ILP (DA, AR, SU), pp. 1–15.

FASE-2008-ClassenHS #perspective #requirements #what

What’s in a Feature: A Requirements Engineering Perspective (AC, PH, PYS), pp. 16–30.

FASE-2008-JanotaB #approach #architecture #formal method #modelling

Formal Approach to Integrating Feature and Architecture Models (MJ, GB), pp. 31–45.

FASE-2008-AalstDGHRM #modelling #process

Correctness-Preserving Configuration of Business Process Models (WMPvdA, MD, FG, AHMtH, MLR, JM), pp. 46–61.

FASE-2008-EhrigEEP #consistency #integration #modelling #visual notation

Consistent Integration of Models Based on Views of Visual Languages (HE, KE, CE, UP), pp. 62–76.

FASE-2008-LaraV #analysis #modelling

Translating Model Simulators to Analysis Models (JdL, HV), pp. 77–92.

FASE-2008-AtkinsonS #modelling

Orthographic Modeling Environment (CA, DS), pp. 93–96.

FASE-2008-BruckerW #higher-order #named #ocl #proving #uml

HOL-OCL: A Formal Proof Environment for UML/OCL (ADB, BW), pp. 97–100.

FASE-2008-DuarteKU #towards

Towards Faithful Model Extraction Based on Contexts (LMD, JK, SU), pp. 101–115.

FASE-2008-LagardeETAG #domain model #modelling #uml

Leveraging Patterns on Domain Models to Improve UML Profile Definition (FL, HE, FT, CA, SG), pp. 116–130.

FASE-2008-BowlesM

When Things Go Wrong: Interrupting Conversations (JKFB, SM), pp. 131–145.

FASE-2008-MellitiPM #adaptation #automation #behaviour #composition #distributed #semantics

Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services (TM, PP, SBM), pp. 146–162.

FASE-2008-BocchiGR #modelling #process

Engineering Service Oriented Applications: From StPowla Processes to SRML Models (LB, SG, SRM), pp. 163–178.

FASE-2008-OrejasEP #constraints #graph #logic

A Logic of Graph Constraints (FO, HE, UP), pp. 179–198.

FASE-2008-MossakowskiSG #logic #reasoning

A Generic Complete Dynamic Logic for Reasoning About Purity and Effects (TM, LS, SG), pp. 199–214.

FASE-2008-CiobanuK #interactive #migration #modelling #verification

Modelling and Verification of Timed Interaction and Migration (GC, MK), pp. 215–229.

FASE-2008-FantechiGLMPT #approach #model checking #specification #verification

A Model Checking Approach for Verifying COWS Specifications (AF, SG, AL, FM, RP, FT), pp. 230–245.

FASE-2008-DenaroGP #integration #testing

Contextual Integration Testing of Classes (GD, AG, MP), pp. 246–260.

FASE-2008-SmansJPS #automation #java #source code #verification

An Automatic Verifier for Java-Like Programs Based on Dynamic Frames (JS, BJ, FP, WS), pp. 261–275.

FASE-2008-MohaGMD #algorithm #analysis #design #detection #fault

A Domain Analysis to Specify Design Defects and Generate Detection Algorithms (NM, YGG, AFLM, LD), pp. 276–291.

FASE-2008-JurjensSY #analysis #automation #security #using

Automated Analysis of Permission-Based Security Using UMLsec (JJ, JS, YY), pp. 292–295.

FASE-2008-KopetzM #pattern matching #quality

Software Quality Improvement Via Pattern Matching (RK, PEM), pp. 296–300.

FASE-2008-AtirHKM #composition #programming

Object Composition in Scenario-Based Programming (YA, DH, AK, SM), pp. 301–316.

FASE-2008-BergJR #similarity #state machine #testing #using

Regular Inference for State Machines Using Domains with Equality Tests (TB, BJ, HR), pp. 317–331.

FASE-2008-DattaE #component #named

COMP-REF: A Technique to Guide the Delegation of Responsibilities to Components in Software Systems (SD, RvE), pp. 332–346.

FASE-2008-BisztrayHE #architecture #refactoring #verification

Verification of Architectural Refactorings by Rule Extraction (DB, RH, HE), pp. 347–361.

FASE-2008-MassoniGB #formal method #modelling #refactoring

Formal Model-Driven Program Refactoring (TM, RG, PB), pp. 362–376.

FASE-2008-BoronatM #algebra #semantics

An Algebraic Semantics for MOF (AB, JM), pp. 377–391.

FASE-2008-LambersMEP #adaptation #framework

A Formal Framework for Developing Adaptable Service-Based Applications (LL, LM, HE, MP), pp. 392–406.

FASE-2008-DaviesBM #distributed #optimisation

Language-Based Optimisation of Sensor-Driven Distributed Computing Applications (JJD, ARB, AM), pp. 407–422.

FASE-2008-CamaraSC #composition #interpreter #named

Clint: A Composition Language Interpreter (JC, GS, CC), pp. 423–427.