Fundamentals of software engineering :
Fundamentals of software engineering : 6th international conference, fsen 2015, tehran, iran, april 22-24, 2015. Revised selected papers /
edited by Mehdi Dastani, Marjan Sirjani.
- 1st ed. 2015.
- x, 317 páginas : 80 ilustraciones
- Lecture Notes in Computer Science, 9392 0302-9743 ; .
Springer eBooks
Towards Smart Systems of Systems -- Automated Integration of Service-oriented Software Systems -- Software Architecture Modeling and Evaluation Based on Stochastic -- Applicative Bisimulation and Quantum Lambda-Calculi -- A Theory of Integrating Tamper Evidence with Stabilization -- A Safe Stopping Protocol to Enable Reliable Reconfiguration for Component-based Distributed Systems -- Efficient Architecture-Level Configuration of Large-Scale Embedded Software Systems -- Benchmarks for Parity Games -- A behavioral theory for a pi-calculus with preorders -- Incremental Realization of Safety Requirements: Non-Determinism vs. Modularity -- Analyzing Mutable Checkpointing -- High Performance Computing Applications using Parallel Data Processing Units -- Improved Iterative Methods for Verifying Markov Decision Processes -- A Pre-congruence Format for XY-simulation -- Tooled Process for Early Validation of SysML Models using Modelica Simulation -- Can High Throughput Atone for High Latency in Compiler-Generated Protocol Code? -- Painless support for static and runtime verification of component-based Applications -- Linear Evolution of Domain Architecture in Service-Oriented Software Product Lines -- An Interval-Based Approach to Modelling Time in Event-B -- From Event-B Models to Dafny Code Contracts.
9783319246444
QA76.758
Springer eBooks
Towards Smart Systems of Systems -- Automated Integration of Service-oriented Software Systems -- Software Architecture Modeling and Evaluation Based on Stochastic -- Applicative Bisimulation and Quantum Lambda-Calculi -- A Theory of Integrating Tamper Evidence with Stabilization -- A Safe Stopping Protocol to Enable Reliable Reconfiguration for Component-based Distributed Systems -- Efficient Architecture-Level Configuration of Large-Scale Embedded Software Systems -- Benchmarks for Parity Games -- A behavioral theory for a pi-calculus with preorders -- Incremental Realization of Safety Requirements: Non-Determinism vs. Modularity -- Analyzing Mutable Checkpointing -- High Performance Computing Applications using Parallel Data Processing Units -- Improved Iterative Methods for Verifying Markov Decision Processes -- A Pre-congruence Format for XY-simulation -- Tooled Process for Early Validation of SysML Models using Modelica Simulation -- Can High Throughput Atone for High Latency in Compiler-Generated Protocol Code? -- Painless support for static and runtime verification of component-based Applications -- Linear Evolution of Domain Architecture in Service-Oriented Software Product Lines -- An Interval-Based Approach to Modelling Time in Event-B -- From Event-B Models to Dafny Code Contracts.
9783319246444
QA76.758