Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers için kapak resmi
Başlık:
Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers
Yazar:
Dastani, Mehdi. editor.
ISBN:
9783319246444
Basım Bilgisi:
1st ed. 2015.
Fiziksel Tanımlama:
X, 317 p. 80 illus. in color. online resource.
Seri:
Programming and Software Engineering, 9392
İçerik:
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.
Tüzel Kişi Ek Girişi:
Ayırtma:
Kopya:

Rafta:*

Kütüphane
Materyal Türü
Demirbaş Numarası
Yer Numarası
Durumu/İade Tarihi
Materyal Ayırtma
Arıyor...
E-Kitap 519046-1001 XX(519046.1)
Arıyor...

On Order