Marsha Chechik, Martin Wirsing
Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering
FASE, 2009.

@proceedings{FASE-2009,
	address       = "York, England, United Kingdom",
	doi           = "10.1007/978-3-642-00593-0",
	editor        = "Marsha Chechik and Martin Wirsing",
	isbn          = "978-3-642-00592-3",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering}",
	volume        = 5503,
	year          = 2009,
}

Contents (33 items)

4 ×#specification
3 ×#source code
3 ×#using
3 ×#verification
2 ×#analysis
2 ×#approach
2 ×#detection
2 ×#formal method
2 ×#inheritance
2 ×#logic

FASE-2009-ClarkGT #analysis #scalability

Scalable Analysis of Scalable Systems (AC, SG, MT), pp. 1–17.

FASE-2009-BoronatHM #logic #model transformation #semantics #verification

Rewriting Logic Semantics and Verification of Model Transformations (AB, RH, JM), pp. 18–33.

FASE-2009-OldevikHM #confluence #independence #product line

Confluence in Domain-Independent Product Line Transformations (JO, ØH, BMP), pp. 34–48.

FASE-2009-JurackLMTW #diagrams #process

Object Flow Definition for Refined Activity Diagrams (SJ, LL, KM, GT, GW), pp. 49–63.

FASE-2009-RutleRLW #approach #formal method #version control

A Category-Theoretical Approach to the Formalisation of Version Control in MDE (AR, AR, YL, UW), pp. 64–78.

FASE-2009-KuglerPP #requirements #synthesis

Controller Synthesis from LSC Requirements (HK, CP, AP), pp. 79–93.

FASE-2009-GiannakopoulouP #composition #generative #interface #verification

Interface Generation and Compositional Verification in JavaPathfinder (DG, CSP), pp. 94–108.

FASE-2009-Wachsmuth

A Formal Way from Text to Code Templates (GW), pp. 109–123.

FASE-2009-AutiliBI #adaptation #approach

Context-Aware Adaptive Services: The PLASTIC Approach (MA, PDB, PI), pp. 124–139.

FASE-2009-JahierHR #inheritance #modelling #validation

Synchronous Modeling and Validation of Priority Inheritance Schedulers (EJ, NH, PR), pp. 140–154.

FASE-2009-AguirreFMMW #alloy #behaviour #specification #using

Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy (NA, MFF, MMM, TSEM, AW), pp. 155–170.

FASE-2009-JagannathLDM #bound #cost analysis #testing

Reducing the Costs of Bounded-Exhaustive Testing (VJ, YYL, BD, DM), pp. 171–185.

FASE-2009-GrayM #logic #testing

Logical Testing (KEG, AM), pp. 186–200.

FASE-2009-ChocklerFGN #concurrent #source code

Cross-Entropy-Based Replay of Concurrent Programs (HC, EF, BG, SN), pp. 201–215.

FASE-2009-AndroutsopoulosCHLT #dependence #finite #state machine

Control Dependence for Extended Finite State Machines (KA, DC, MH, ZL, LT), pp. 216–230.

FASE-2009-LeinoM #consistency #proving

Proving Consistency of Pure Methods and Model Fields (KRML, RM), pp. 231–245.

FASE-2009-Kosiuczenko #implementation #on the

On the Implementation of @pre (PK), pp. 246–261.

FASE-2009-AlTurkiDYCI #analysis #specification

Formal Specification and Analysis of Timing Properties in Software Systems (MA, DD, DY, AC, HI), pp. 262–277.

FASE-2009-BottoniGL #formal method #modelling

Formal Foundation for Pattern-Based Modelling (PB, EG, JdL), pp. 278–293.

FASE-2009-FullebornMH #design pattern #documentation #problem

Problem-Oriented Documentation of Design Patterns (AF, KM, MH), pp. 294–308.

FASE-2009-NarasamdyaP #certification

Certification of Smart-Card Applications in Common Criteria (IN, MP), pp. 309–324.

FASE-2009-HermannEE #graph #inheritance #network #security

Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks (FH, HE, CE), pp. 325–339.

FASE-2009-HuismanT #automaton #ml #security

A Formal Connection between Security Automata and JML Annotations (MH, AT), pp. 340–354.

FASE-2009-SumnerZ #algorithm #automation

Algorithms for Automatically Computing the Causal Paths of Failures (WNS, XZ), pp. 355–369.

FASE-2009-AcharyaX #api #mining #source code #specification

Mining API Error-Handling Specifications from Source Code (MA, TX), pp. 370–384.

FASE-2009-ChatterjeeJS #java #named #query #using

SNIFF: A Search Engine for Java Using Free-Form Queries (SC, SJ, KS), pp. 385–400.

FASE-2009-RajamaniJPR #mobile #network #nondeterminism #query

Inquiry and Introspection for Non-deterministic Queries in Mobile Networks (VR, CJ, JP, GCR), pp. 401–416.

FASE-2009-BruckerW #higher-order

hol-TestGen (ADB, BW), pp. 417–420.

FASE-2009-CalinescuK #development #self

CADS*: Computer-Aided Development of Self-* Systems (RC, MZK), pp. 421–424.

FASE-2009-ChenWYS #detection #named #static analysis

HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis (QC, LW, ZY, SDS), pp. 425–439.

FASE-2009-NguyenNPAN #clone detection #detection #feature model #performance

Accurate and Efficient Structural Characteristic Feature Extraction for Clone Detection (HAN, TTN, NHP, JMAK, TNN), pp. 440–455.

FASE-2009-Sery #specification #verification

Enhanced Property Specification and Verification in BLAST (OS), pp. 456–469.

FASE-2009-KovacsV #array #invariant #proving #source code #theorem proving #using

Finding Loop Invariants for Programs over Arrays Using a Theorem Prover (LK, AV), pp. 470–485.