>> Google Books

Fundamentals of Software Engineering : 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers. 1st ed. 2015

フォーマット:
電子ブック
責任表示:
edited by Mehdi Dastani, Marjan Sirjani
言語:
英語
出版情報:
Cham : Springer International Publishing : Imprint: Springer, 2015
形態:
X, 317 p. 80 illus. in color
著者名:
シリーズ名:
Lecture Notes in Computer Science ; 9392
目次情報:
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
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
続きを見る
書誌ID:
LB00386521
ISBN:
9783319246437 [3319246437]  CiNii Books  Webcat Plus  Google Books
9783319246444 [3319246445]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
オンライン
所蔵情報
Loading availability information

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 

Franke, Bjorn, SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer

Blanchette, Jasmin Christian, Kosmatov, Nikolai, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Davis, Martin, Fehnker, Ansgar, McIver, Annabelle, Voronkov, Andrei, SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer

Meyer, Bertrand, Nordio, Martin, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Baldoni, Matteo, Baresi, Luciano, Dastani, Mehdi, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Egyed, Alexander, Schaefer, Ina, SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer

Bartocci, Ezio, Majumdar, Rupak, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Holvoet, Tom, Viroli, Mirko, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Lanese, Ivan, Madelaine, Eric, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Hage, Jurriaan, McCarthy, Jay, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Calinescu, Radu, Rumpe, Bernhard, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

De Nivelle, Hans, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer