Matthew B. Dwyer, Antónia Lopes
Proceedings of the 10th International Conference on Fundamental Approaches to Software Engineering
FASE, 2007.

@proceedings{FASE-2007,
	address       = "Braga, Portugal",
	doi           = "10.1007/978-3-540-71289-3",
	editor        = "Matthew B. Dwyer and Antónia Lopes",
	isbn          = "978-3-540-71288-6",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 10th International Conference on Fundamental Approaches to Software Engineering}",
	volume        = 4422,
	year          = 2007,
}

Contents (32 items)

4 ×#architecture
4 ×#distributed
4 ×#testing
3 ×#approach
3 ×#design
3 ×#modelling
3 ×#product line
3 ×#specification
2 ×#case study
2 ×#composition

FASE-2007-Bosch #composition #product line #towards

Software Product Families: Towards Compositionality (JB), pp. 1–10.

FASE-2007-Meyer #development

Contract-Driven Development (BM), p. 11.

FASE-2007-RatzingerPG #evolution #fault #named #predict

EQ-Mine: Predicting Short-Term Defects for Software Evolution (JR, MP, HCG), pp. 12–26.

FASE-2007-RobbesLL #approach #evolution #semantics

An Approach to Software Evolution Based on Semantic Change (RR, ML, ML), pp. 27–41.

FASE-2007-SilvaM #formal method

A Simulation-Oriented Formalization for a Psychological Theory (PSdS, ACVdM), pp. 42–56.

FASE-2007-CortellessaMI #analysis #framework #non-functional #performance #reliability

Integrating Performance and Reliability Analysis in a Non-Functional MDA Framework (VC, ADM, PI), pp. 57–71.

FASE-2007-EhrigEEHT #bidirectional #model transformation

Information Preserving Bidirectional Model Transformations (HE, KE, CE, FH, GT), pp. 72–86.

FASE-2007-HennickerK #state machine #synthesis

Activity-Driven Synthesis of State Machines (RH, AK), pp. 87–101.

FASE-2007-GaoHW #flexibility #modelling

Flexible and Extensible Notations for Modeling Languages (JG, MPEH, EVW), pp. 102–116.

FASE-2007-BachFS #eclipse #plugin #programming

Declared Type Generalization Checker: An Eclipse Plug-In for Systematic Programming with More General Types (MB, FF, FS), pp. 117–120.

FASE-2007-HarelKM #compilation #diagrams #multi #named #sequence chart #uml

S2A: A Compiler for Multi-modal UML Sequence Diagrams (DH, AK, SM), pp. 121–124.

FASE-2007-EdwardsMM #architecture #distributed #dynamic analysis

Scenario-Driven Dynamic Analysis of Distributed Architectures (GE, SM, NM), pp. 125–139.

FASE-2007-TibermacineHK #architecture #component #constraints #deployment #distributed

Enforcing Architecture and Deployment Constraints of Distributed Component-Based Software (CT, DH, RK), pp. 140–154.

FASE-2007-SanchezSM #concurrent #distributed #product line #protocol

A Family of Distributed Deadlock Avoidance Protocols and Their Reachable State Spaces (CS, HBS, ZM), pp. 155–169.

FASE-2007-Whittle #case study #precise #specification

Precise Specification of Use Case Scenarios (JW), pp. 170–184.

FASE-2007-KleinG #diagrams #specification #using

Joint Structural and Temporal Property Specification Using Timed Story Scenario Diagrams (FK, HG), pp. 185–199.

FASE-2007-GrammesG #semantics #tool support

SDL Profiles — Formal Semantics and Tool Support (RG, RG), pp. 200–214.

FASE-2007-BurdyHP #behaviour #bytecode #design #interface #java #specification

Preliminary Design of BML: A Behavioral Interface Specification Language for Java Bytecode (LB, MH, MP), pp. 215–229.

FASE-2007-GronmoJW #composition #development

A Service Composition Construct to Support Iterative Development (RG, MCJ, AW), pp. 230–244.

FASE-2007-BarrosDDW #architecture #correlation

Correlation Patterns in Service-Oriented Architectures (APB, GD, MD, FW), pp. 245–259.

FASE-2007-FisherER #interface #web

Dynamic Characterization of Web Application Interfaces (MFI, SGE, GR), pp. 260–275.

FASE-2007-MirarabT #approach #network #testing

A Prioritization Approach for Software Test Cases Based on Bayesian Networks (SM, LT), pp. 276–290.

FASE-2007-FraserW #reduction #testing

Redundancy Based Test-Suite Reduction (GF, FW), pp. 291–305.

FASE-2007-KuglerSH #modelling #testing

Testing Scenario-Based Models (HK, MJS, EJAH), pp. 306–320.

FASE-2007-ReisMP #integration #modelling #product line #testing

Integration Testing in Software Product Line Engineering: A Model-Based Technique (SR, AM, KP), pp. 321–335.

FASE-2007-DarvasL #implementation #reasoning

Practical Reasoning About Invocations and Implementations of Pure Methods (ÁD, KRML), pp. 336–351.

FASE-2007-ChechikGG

Finding Environment Guarantees (MC, MG, AG), pp. 352–367.

FASE-2007-RangerH #consistency #distributed #graph transformation

Ensuring Consistency Within Distributed Graph Transformation Systems (UR, TH), pp. 368–382.

FASE-2007-PadbergHEMBE #ad hoc #architecture #consistency #maintenance #mobile #network

Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks (JP, KH, HE, TM, EB, CE), pp. 383–397.

FASE-2007-ManneringHR #design #safety #towards

Towards Normal Design for Safety-Critical Systems (DM, JGH, LR), pp. 398–411.

FASE-2007-ZhouY #approach #clustering #design #object-oriented

A Clustering-Based Approach for Tracing Object-Oriented Design to Requirement (XZ, HY), pp. 412–422.

FASE-2007-Lopez-HerrejonA #case study #metric #source code

Measuring and Characterizing Crosscutting in Aspect-Based Programs: Basic Metrics and Case Studies (RELH, SA), pp. 423–437.