Fundamental Approaches to Software Engineering

Name: Fundamental Approaches to Software Engineering | 14th International Conference, FASE 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings
Brand: Springer
Price: 53.49 EUR
Availability: OnlineOnly

14th International Conference, FASE 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings

Dimitra Giannakopoulou Fernando Orejas(Herausgeber*in)

Springer (Verlag)

Erschienen am 14. März 2011

XIII, 464 Seiten

E-Book

PDF mit Wasserzeichen-DRM

Systemvoraussetzungen

978-3-642-19811-3 (ISBN)

53,49 €inkl. 7% MwSt.

Systemvoraussetzungen

für PDF mit Wasserzeichen-DRM

E-Book Einzellizenz

Als Download verfügbar

Beschreibung

Weitere Details

Weitere Ausgaben

Inhalt

Title Page
Foreword
Preface
Organization
Table of Contents
Invited Talk
The Dependability of Complex Socio-technical Systems
Automated Learning of Probabilistic Assumptions for Compositional Reasoning
Introduction
Probabilistic Verification
Modelling and Verification of Probabilistic Systems
Compositional Reasoning for Probabilistic Systems
Learning Assumptions for Compositional Verification
Learning Probabilistic Assumptions
Experimental Results
A New Case Study: Mars Exploration Rovers
A Comparison of Learning Methods: L* versus NL*
Learning Multiple Assumptions: Rule (ASym-N)
Conclusions and Future Work
References
Verification
An Interface Theory for Service-Oriented Design
Services vs. Components, Informally
A Service Component Algebra
A Service Interface Algebra
Related Work and Concluding Remarks
References
rt-Inconsistency: A New Property for Real-Time Requirements
Introduction
Defining rt-Inconsistency
Checking rt-Inconsistency
Phase Event Automata
Characterizing rt-Inconsistency via Phase Event Automata
Characterizing rt-Inconsistency via Timed Automata
Using rt-Inconsistency in a Case Study
Conclusion and Future Work
References
Automatic Flow Analysis for Event-B
Introduction
Preliminaries
Dependency between Events
Computing the Enabling Predicates
Using the Enable Graph for Model Checking
Enable Graph Case Study
Flow Construction
Flow Graph Case Study
Applicability and Restrictions
Related and Future Work
References
Semantic Quality Attributes for Big-Step Modelling Languages
Introduction
Background: Big-Step Modelling Languages (BSMLs)
BSML Syntax
Common Semantics of BSMLs
BSML Semantic Variations
Semantic Quality Attributes for BSMLs
Priority Consistency
Non-cancelling
Determinacy
Related Work
Conclusion and Future Work
References
Specification and Modelling
Formalizing and Operationalizing Industrial Standards
Introduction
Industrial Standards
The Heterogeneous Tool Set
A Domain-Specific Language for Engineering Calculations
Syntax
Semantics
EnCL as an Institution
Example
Conclusion
References
Modelling Non-linear Crowd Dynamics in Bio-PEPA
Introduction
Rowe and Gomez Model of Crowd Dynamics
Bio-PEPA and Fluid Flow Analysis
Modelling Crowd Movement with Bio-PEPA
Selected Results for a Model with Four Squares
Analytical Assessment of the Fluid Flow Approximation
Conclusions and Further Work
References
Reachability and Model Checking
Smart Reduction
Introduction
Networks of LTSs
Compositional Aggregation of Networks
Smart Reduction
Implementation
Experimental Results
Conclusion
References
Uniform Monte-Carlo Model Checking
Introduction
Counting and Generating Lassos in Directed Graphs
Uniform Random Generation of Lassos in Reducible Flowgraphs
Application to LTL Model-Checking
Drawing Lassos in B
Complexities
Probabilities
Experimental Results
Implementation and Methodology
Description of the Model and the Formula
LTL Model-Checking with Uniform Generation of Lassos
Conclusion
References
Model Checking B¨uchi Pushdown Systems
Introduction
Related Work
Background
Büchi Automaton (BA)
Labeled Pushdown System (LPDS)
Büchi Pushdown System (BPDS)
Model Checking Algorithms for BPDS
Model Checking Problem
Model Checking Algorithm
Reduction
Implementation
Specification of the BA B and LPDS P
Specification of LTL Properties
Reduction during the Cartesian Product
Evaluation
Conclusion and Future Work
References
Model Driven Engineering
Modeling with Plausibility Checking: Inspecting Favorable and Critical Signs for Consistency between Control Flow and Functional Behavior
Introduction
Case Study: A Conference Scheduling System
Integrating Activity Models with Object Rules
Graphs and Graph Transformation
Integrated Behavior Models
Simulation of Integrated Behavior Models
Plausibility Checks for Integrated Behavior Models
Inspecting Initialization
Inspecting Trigger Causalities along Control Flow Direction
Inspecting Conflicts along Control Flow Direction
Inspecting Trigger Causalities against Control Flow Direction
Inspecting Causalities in Fork/Joins
Related Work
Conclusions and Future Work
References
Models within Models: Taming Model Complexity Using the Sub-model Lattice
Introduction
Models and MetaModels
Metamodels
Models
Model Conformance
Model Decomposition
Criteria
Algorithm
Correctness
The Lattice of Sub-models
Implementation
Application: Pruning Based Model Comprehension
Conclusion and Future Work
References
Type-Safe Evolution of Spreadsheets
Introduction
Motivating Example: Spreadsheet Refactoring
A Framework for Evolution of Spreadsheets in Haskell
ClassSheets and Spreadsheets in Haskell
Specifying Formulas
Rewriting Systems
Spreadsheets Evolution
Combinators
Semantic Rules
Layout Rules
Related Work
Conclusions
References
A Formal Resolution Strategy for Operation-Based Conflicts in Model Versioning Using Graph Modifications
Introduction
Graph Modifications: Independence and Behavioural Equivalence
Conflict Resolution
Related Work
Conclusions and Future Work
References
Software Development for QoS
A Step-Wise Approach for Integrating QoS throughout Software Development
Introduction
Background and Working Example
Overview of the DiaSuite Approach
Aircraft Guidance Application
QoS throughout Software Development
Requirements Analysis and Functional Specification
Architecture Design
Implementation
Deployment
QoS Requirements Traceability
From Functional Specification to Architecture Design
From Architecture Design to Implementation
From Implementation to Deployment
Towards Certification of Avionics Systems
Related Work
Conclusion
References
Systematic Development of UMLsec Design Models Based on Security Requirements
Introduction
Environment Description and Security Requirements Analysis
UMLsec
From Security Requirements to UMLsec Design Models
UMLsec Deployment Diagrams for Environment Descriptions
UMLsec Class and Sequence Diagrams for Security Mechanism Descriptions
Tool Design
Related Work
Conclusions and Future Work
References
Testing: Theory and New Trends
Theoretical Aspects of Compositional Symbolic Execution
Introduction
Motivation
Precision
Progress
Programming Language
Compositional Symbolic Execution
Overview
Symbolic Interpretation
Reachability Checking
Implementation
Properties
Related Work
Conclusion
References
Testing Container Classes: Random or Systematic?
Introduction
Related Work
Example
Test Generation for Container Classes
Random Testing
Shape Abstraction
Case Study
Subject Containers
Predicate Coverage
Mutation Analysis
Experimental Design
Results for Predicate Coverage and Mutation Score
Random Testing vs. Shape Abstraction
Bugs
Threats to Validity
Conclusion
References
Seamless Testing for Models and Code
Introduction
Seamless Test Specifications in FQL
FQL in a Nutshell
FQL for UML Models
Test Process
Test Generation
Test Concretization
Test Evaluation
Prototype Evaluation
Related Work
Conclusion
References
Testing in Practice
Retrofitting Unit Tests for Parameterized Unit Testing
Introduction
Background
Test Generalization Methodology
Overview
Example
Empirical Study
Subject Applications
Study Setup
RQ1: Branch Coverage
RQ2: Defects
RQ3: Generalization Effort
Threats to Validity
Related Work
Conclusion
References
Evolving a Test Oracle in Black-Box Testing
Introduction
Related Work
Background
Definitions
Genetic Programming
Support Vector Machine
Input/Output List Relation Language(IOLRL)
Implementation
Experiment
Performance Study
Compare with Manually Specified Relations and Neural Network Approaches
Conclusion
References
Automated Driver Generation for Analysis of Web Applications
Introduction
Approach
PTG Analysis
PTG-Based Analysis
PTG Extraction
Struts Framework
Example
Extracting PTG-Related Data
PTG Construction
Implementation
Experience
Case Studies
Experiment
Discussion
Related Work
Conclusions and Future Work
References
On Model-Based Regression Testing of Web-Services Using Dependency Analysis of Visual Contracts
Introduction
Visual Contracts and Trace Semantics
Model-Based Evolution
Evaluation
Related Work
Conclusion and Outlook
References
Code Development and Analysis
Incremental Clone Detection and Elimination for Erlang Programs
Introduction
Erlang and Wrangler
Terminology
The Clone Detection Algorithm
The Initial Detection Algorithm
The Incremental Detection Algorithm
Support for Clone Elimination
Experimental Evaluation
Related Work
Conclusions and Future Work
References
Analyzing Software Updates: Should You Build a Dynamic Updating Infrastructure?
Introduction
Quantifying Software Update
Update Models
Net Options Value Model
Effect of Operational Parameters
Applying Our Analysis Model
Selecting Analysis Parameters
Xerces Case Study
Apache httpd Case Study
Analysis
Summary
Related Work
Discussion
Conclusions and Future Work
References
Flow-Augmented Call Graph: A New Foundation for Taming API Complexity
Introduction
Motivating Example
Approach
Augmenting the Call Graph with Control Flow
Recommending the Relevant APIs
Evaluation
Experimental Setup
Case Studies
Quantitative Study
Discussion on the Impact of FACG
Related Work
Conclusion
References
Search-Based Design Defects Detection by Example
Introduction
Problem Statement
Definitions
Problem Statement
Approach Overview
Overview
Problem Complexity
Search-Based Design Defect Detection by Example
Solution Representation
Evaluating Solutions
Search Algorithms
Validation
Goals and Objectives
System Studied
Results
Discussion
Related Work
Conclusion
References
Empirical Studies
An Empirical Study on Evolution of API Documentation
Introduction
Analysis Methodology
Empirical Study
RQ1: Which Parts of API Documentation Are Frequently Revised?
RQ2: To What Degree Do Such Revisions Indicate Behavioral Differences?
RQ3: How Frequently Are API Elements and Their Documentation Changed?
Summary
Threats to Validity
Discussion and Future Work
Related Work
Conclusion
References
An Empirical Study of Long-Lived Code Clones
Introduction
Related Work
Background on Clone Genealogy and Data Set
Encoding Clone Genealogy Characteristics
Characteristics of Long-Lived Clones
Predicting the Survival Time of Clones
Limitations
Conclusions
References
Where the Truth Lies: AOP and Its Impact on Software Modularity
Introduction
Motivations and Goals
Modularity Metrics
Measurement System
Rationale for Semantic Dependency
Empirical Study
Assessment Procedures
Selected Systems
Experimental Results
Threats to Validity
Related Work
Summary
References
Author Index

Systemvoraussetzungen

Als PDF speichern Als Link merken