|
" Fundamental approaches to software engineering : "
FASE 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013 ; Vittorio Cortellessa [und weitere] (eds.).
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
747900
|
| Doc. No
|
:
|
b567851
|
| Main Entry
|
:
|
FASE 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013 ; Vittorio Cortellessa [und weitere] (eds.).
|
| Title & Author
|
:
|
Fundamental approaches to software engineering : : 16th International Conference : proceedings\ FASE 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013 ; Vittorio Cortellessa [und weitere] (eds.).
|
| Publication Statement
|
:
|
Berlin : Springer, 2013
|
| Series Statement
|
:
|
Lecture notes in computer science, 7793 : Advanced research in computing and software science
|
| Page. NO
|
:
|
376 Seiten : Illustrationen.
|
| ISBN
|
:
|
364237056X
|
|
|
:
|
: 3642370578
|
|
|
:
|
: 9783642370564
|
|
|
:
|
: 9783642370571
|
| Contents
|
:
|
Towards a Distributed Modeling Process Based on Composite Models.- Change Propagation due to Uncertainty Change.- A Model-Based Synthesis Process for Choreography Realizability Enforcement.- On Extracting Feature Models from Sets of Valid Feature Combinations.- On the Empirical Evaluation of Fault Localization Techniques for Spreadsheets.- Quality of Merge-Refactorings for Product Lines.- Towards Understanding the Behavior of Classes Using Probabilistic Models of Program Inputs.- Discovering Branching Conditions from Business Process ExecutionLogs.- Exposing Behavioral Differences in Cross-Language API MappingRelations.- Explicit-State Software Model Checking Based on CEGAR andInterpolation.- Design Pattern-Based Extension of Class Hierarchies to Support Runtime Invariant Checks.- Augmenting Sequence Enumeration with String-Rewriting for Requirements Analysis and Behavioral Specification.- Scenario Realizability with Constraint Optimization.- Andromeda: Accurate and Scalable Security Analysis of Web Applications.- VerChor: A Framework for Verifying Choreographies.- Javanni: A Verifier for JavaScript.- Model-Based Implementation of Parallel Real-Time Systems.- A Grey-Box Approach for Automated GUI-Model Generation of MobileApplications.- A Mechanized Model for CAN Protocols.- Enforcing QVT-R with mu-Calculus and Games.- Implementing QVT-R Bidirectional Model Transformations Using Alloy.- Abstraction and Training of Stochastic Graph Transformation Systems.- Discovering Math APIs by Mining Unit Tests.- POGen: A Test Code Generator Based on Template Variable Coveragein Gray-Box Integration Testing for Web Applications.- Testing with Inputs and Outputs in CSP.
|
| Subject
|
:
|
Software Engineering
|
| Subject
|
:
|
Software engineering -- Congresses.
|
| Subject
|
:
|
Software engineering.
|
| Added Entry
|
:
|
Vittorio Cortellessa
|
| |