BibSLEIGH — Proceedings of the 14th International Conference on Fundamental Approaches to Software Engineering

Dimitra Giannakopoulou, Fernando Orejas
Proceedings of the 14th International Conference on Fundamental Approaches to Software Engineering
FASE, 2011.

TCS

@proceedings{FASE-2011,
	address       = "Saarbrücken, Germany",
	doi           = "10.1007/978-3-642-19811-3",
	editor        = "Dimitra Giannakopoulou and Fernando Orejas",
	isbn          = "978-3-642-19810-6",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 14th International Conference on Fundamental Approaches to Software Engineering}",
	volume        = 6603,
	year          = 2011,
}

Contents (31 items)

FASE-2011-Anderson #dependence: The Dependability of Complex Socio-technical Systems (RJA), p. 1.
FASE-2011-FengKP #automation #composition #learning #probability #reasoning: Automated Learning of Probabilistic Assumptions for Compositional Reasoning (LF, MZK, DP), pp. 2–17.
FASE-2011-FiadeiroL #design #interface: An Interface Theory for Service-Oriented Design (JLF, AL), pp. 18–33.
FASE-2011-PostHP #named #realtime #requirements: rt-Inconsistency: A New Property for Real-Time Requirements (AP, JH, AP), pp. 34–49.
FASE-2011-BendispostoL #analysis #automation: Automatic Flow Analysis for Event-B (JB, ML), pp. 50–64.
FASE-2011-EsmaeilsabzaliD #modelling #quality #semantics: Semantic Quality Attributes for Big-Step Modelling Languages (SE, NAD), pp. 65–80.
FASE-2011-DietrichSS #formal method #industrial #standard: Formalizing and Operationalizing Industrial Standards (DD, LS, ES), pp. 81–95.
FASE-2011-MassinkLBH #modelling: Modelling Non-linear Crowd Dynamics in Bio-PEPA (MM, DL, AB, JH), pp. 96–110.
FASE-2011-CrouzenL #reduction: Smart Reduction (PC, FL), pp. 111–126.
FASE-2011-OudinetDGLP #model checking #monte carlo: Uniform Monte-Carlo Model Checking (JO, AD, MCG, RL, SP), pp. 127–140.
FASE-2011-LiXBL #automaton #model checking: Model Checking Büchi Pushdown Systems (JL, FX, TB, VL), pp. 141–155.
FASE-2011-ErmelGLT #behaviour #consistency #control flow #functional #modelling: Modeling with Plausibility Checking: Inspecting Favorable and Critical Signs for Consistency between Control Flow and Functional Behavior (CE, JG, LL, GT), pp. 156–170.
FASE-2011-KelsenMG #complexity #modelling #using: Models within Models: Taming Model Complexity Using the Sub-model Lattice (PK, QM, CG), pp. 171–185.
FASE-2011-CunhaVAS #evolution #spreadsheet #type safety: Type-Safe Evolution of Spreadsheets (JC, JV, TLA, JS), pp. 186–201.
FASE-2011-EhrigET #graph #using #version control: A Formal Resolution Strategy for Operation-Based Conflicts in Model Versioning Using Graph Modifications (HE, CE, GT), pp. 202–216.
FASE-2011-GattiBC #approach #development: A Step-Wise Approach for Integrating QoS throughout Software Development (SG, EB, CC), pp. 217–231.
FASE-2011-HateburHJS #design #development #modelling #requirements #security: Systematic Development of UMLsec Design Models Based on Security Requirements (DH, MH, JJ, HS), pp. 232–246.
FASE-2011-VanoverbergheP #aspect-oriented #composition #execution #symbolic computation: Theoretical Aspects of Compositional Symbolic Execution (DV, FP), pp. 247–261.
FASE-2011-SharmaGAFM #question #random #testing: Testing Container Classes: Random or Systematic? (RS, MG, AA, GF, DM), pp. 262–277.
FASE-2011-HolzerJKLSTV #modelling #testing: Seamless Testing for Models and Code (AH, VJ, SK, BL, CS, MT, HV), pp. 278–293.
FASE-2011-ThummalapentaMXTH #testing: Retrofitting Unit Tests for Parameterized Unit Testing (ST, MRM, TX, NT, JdH), pp. 294–309.
FASE-2011-WangWHC #black box #evolution #testing: Evolving a Test Oracle in Black-Box Testing (FW, JHW, CHH, KHC), pp. 310–325.
FASE-2011-TkachukR #analysis #automation #generative #web: Automated Driver Generation for Analysis of Web Applications (OT, SPR), pp. 326–340.
FASE-2011-KhanH #analysis #contract #dependence #modelling #on the #testing #using #visual notation: On Model-Based Regression Testing of Web-Services Using Dependency Analysis of Visual Contracts (TAK, RH), pp. 341–355.
FASE-2011-LiT #clone detection #detection #erlang #incremental #source code: Incremental Clone Detection and Elimination for Erlang Programs (HL, SJT), pp. 356–370.
FASE-2011-GharaibehRC #framework #question: Analyzing Software Updates: Should You Build a Dynamic Updating Infrastructure? (BG, HR, JMC), pp. 371–385.
FASE-2011-ZhangZL #api #complexity #graph: Flow-Augmented Call Graph: A New Foundation for Taming API Complexity (QZ, WZ, MRL), pp. 386–400.
FASE-2011-KessentiniSBW #design #detection #fault #search-based: Search-Based Design Defects Detection by Example (MK, HAS, MB, MW), pp. 401–415.
FASE-2011-ShiZXL #api #documentation #empirical #evolution: An Empirical Study on Evolution of API Documentation (LS, HZ, TX, ML), pp. 416–431.
FASE-2011-CaiK #empirical: An Empirical Study of Long-Lived Code Clones (DC, MK), pp. 432–446.
FASE-2011-Przybylek #aspect-oriented #composition: Where the Truth Lies: AOP and Its Impact on Software Modularity (AP), pp. 447–461.

Dimitra Giannakopoulou, Fernando OrejasProceedings of the 14th International Conference on Fundamental Approaches to Software EngineeringFASE, 2011.

Contents (31 items)

Dimitra Giannakopoulou, Fernando Orejas
Proceedings of the 14th International Conference on Fundamental Approaches to Software Engineering
FASE, 2011.