Proceedings of the 11th 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

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

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

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.

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.