Luciano Baresi, Reiko Heckel
Proceedings of the Ninth International Conference on Fundamental Approaches to Software Engineering
FASE, 2006.

@proceedings{FASE-2006,
	address       = "Vienna, Austria",
	doi           = "10.1007/11693017",
	editor        = "Luciano Baresi and Reiko Heckel",
	isbn          = "3-540-33093-3",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Ninth International Conference on Fundamental Approaches to Software Engineering}",
	volume        = 3922,
	year          = 2006,
}

Contents (31 items)

4 ×#automation
4 ×#named
3 ×#implementation
3 ×#specification
2 ×#approach
2 ×#behaviour
2 ×#debugging
2 ×#design
2 ×#generative
2 ×#problem

FASE-2006-Curbera #programming

A Programming Model for Service Oriented Applications (FC), p. 1.

FASE-2006-Ghezzi #problem #re-engineering

Software Engineering: Emerging Goals and Lasting Problems (CG), p. 2.

FASE-2006-CooneyDR #implementation #named #programming language

GPSL: A Programming Language for Service Implementation (DC, MD, PR), pp. 3–17.

FASE-2006-FiadeiroL #approach #architecture #formal method

A Formal Approach to Event-Based Architectures (JLF, AL), pp. 18–32.

FASE-2006-KochP #self

Engineering Self-protection for Autonomous Systems (MK, KP), pp. 33–47.

FASE-2006-TaentzerC #approach #documentation #graph #xml

A Graph-Based Approach to Transform XML Documents (GT, GTC), pp. 48–62.

FASE-2006-HickeyN #design #process #scalability

: Designing a Scalable Build Process (JH, AN), pp. 63–78.

FASE-2006-IwataSF #automation #development #generative #specification #tutorial

Automatic Generation of Tutorial Systems from Development Specification (HI, JS, YF), pp. 79–92.

FASE-2006-TowellD #implementation

A Software Implementation Progress Model (DT, JD), pp. 93–106.

FASE-2006-BergJR #parametricity #state machine

Regular Inference for State Machines with Parameters (TB, BJ, HR), pp. 107–121.

FASE-2006-DevereuxC #automation #behaviour #modelling

Automated Support for Building Behavioral Models of Event-Driven Systems (BD, MC), pp. 122–138.

FASE-2006-SridharH #behaviour

A Behavioral Model for Software Containers (NS, JOH), pp. 139–154.

FASE-2006-DamianLM #empirical #requirements

An Empirical Study of the Impact of Asynchronous Discussions on Remote Synchronous Requirements Meetings (DED, FL, TM), pp. 155–169.

FASE-2006-Sacha #evaluation #quality

Evaluation of Expected Software Quality: A Customer’s Viewpoint (KS), pp. 170–183.

FASE-2006-RobbyDK #design #flexibility #metric #predict #using

Using Design Metrics for Predicting System Flexibility (R, SAD, VAK), pp. 184–198.

FASE-2006-LavazzaB #problem #requirements #uml

Combining Problem Frames and UML in the Description of Software Requirements (LL, VDB), pp. 199–213.

FASE-2006-HallstromST #design pattern #implementation #specification

Amplifying the Benefits of Design Patterns: From Specification Through Implementation (JOH, NS, BT), pp. 214–229.

FASE-2006-WestphalT #sequence chart

The Good, the Bad and the Ugly: Well-Formedness of Live Sequence Charts (BW, TT), pp. 230–246.

FASE-2006-MiliSLME

Concerned About Separation (HM, HAS, HL, HM, AE), pp. 247–261.

FASE-2006-BoronatCR #algebra #model transformation #specification

Algebraic Specification of a Model Transformation Engine (AB, JÁC, IR), pp. 262–277.

FASE-2006-KobW #calculus #debugging #using

Fundamentals of Debugging Using a Resolution Calculus (DK, FW), pp. 278–292.

FASE-2006-MinK #automation #component

A Technique to Represent and Generate Components in MDA/PIM for Automation (HGM, SDK), pp. 293–307.

FASE-2006-FeiLLM #debugging #detection #named #online #statistics

Argus: Online Statistical Bug Detection (LF, KL, FL, SPM), pp. 308–323.

FASE-2006-AichernigD #concurrent #fault #testing

From Faults Via Test Purposes to Test Cases: On the Fault-Based Testing of Concurrent Systems (BKA, CCD), pp. 324–338.

FASE-2006-SenA #automation #distributed #source code #testing

Automated Systematic Testing of Open Distributed Programs (KS, GA), pp. 339–356.

FASE-2006-OlveczkyC #algorithm #analysis #maude #realtime #scheduling #simulation

Formal Simulation and Analysis of the CASH Scheduling Algorithm in Real-Time Maude (PCÖ, MC), pp. 357–372.

FASE-2006-GiorgettiG #generative #ml #named #verification

JAG: JML Annotation Generation for Verifying Temporal Properties (AG, JG), pp. 373–376.

FASE-2006-RaffeltS #automaton #learning #library #named

LearnLib: A Library for Automata Learning and Experimentation (HR, BS), pp. 377–380.

FASE-2006-RamanathanJG #alias #memory management

Trace-Based Memory Aliasing Across Program Versions (MKR, SJ, AG), pp. 381–395.

FASE-2006-RuffellS #evolution

The Pervasiveness of Global Data in Evolving Software Systems (FPR, JWAS), pp. 396–410.

FASE-2006-GeigerFGP #clone tracking

Relation of Code Clones and Change Couplings (RG, BF, HCG, MP), pp. 411–425.