Software-Intensive Systems and New Computing Paradigms

>> Google Books

Software-Intensive Systems and New Computing Paradigms / Martin Wirsing, Jean-Pierre Banâtre, Matthias Hölzl, Takeo Kanade, Axel Rauschmayer

資料種別:

電子ブック

出版情報:

SpringerLink Books - AutoHoldings
Springer Berlin Heidelberg, 2008

著者名:

ISBN:

9783540894360 [3540894365]
9783540894377 [3540894373]

書誌ID:

OB00505110

子書誌情報

フルテキスト

所蔵情報

書誌詳細

主題:

Information Technology - Software Engineering

言語:

英語

目次情報:

Engineering of Software-Intensive Systems: State of the Art and Research Challenges / Matthias Holzl ; Axel Rauschmayer ; Martin Wirsing

Ensemble Engineering / I：

Software Engineering for Ensembles

Change-Enabled Software Systems / Oscar Nierstrasz ; Marcus Denker ; Tudor Girba ; Adrian Lienhard ; David Rothlisberger

On the Challenge of Engineering Socio-technical Systems / Jose Luiz Fiadeiro

Design of Complex Cyber Physical Systems with Formalized Architectural Patterns / Lui Sha ; Jose Meseguer

Cyber-Physical Systems and Events / Carolyn Talcott

Design and Deployment of Large-Scale Software-Intensive Systems in Urban Districts / Teruo Higashino

Theory and Formal Methods / II：

Formal Ensemble Engineering / J.W. Sanders ; Graeme Smith

Structured Interacting Computations: A Position Paper / William Cook ; Jayadev Misra

Extending Formal Methods for Software-Intensive Systems

Ensemble Engineering and Emergence / Hu Jun ; Zhiming Liu ; G.M. Reed

Mathematical Support for Ensemble Engineering / Michael Johnson

Behaviour Equivalences in Timed Distributed [pi]-Calculus / Gabriel Ciobanu

Novel Computing Paradigms / III：

The Chemical Reaction Model: Recent Developments and Prospects / Jean-Pierre Banatre ; Pascal Fradet ; Yann Radenac

Spatial Organization of the Chemical Paradigm and the Specification of Autonomic Systems / Jean-Louis Giavitto ; Olivier Michel ; Antoine Spicher

Emerging Models of Computation: Directions in Molecular Computing: Position Paper for InterLink Workshop, May 2007 / Darko Stefanovic

Author Index

Engineering of Software-Intensive Systems: State of the Art and Research Challenges / Matthias Holzl ; Axel Rauschmayer ; Martin Wirsing

Ensemble Engineering / I：

Software Engineering for Ensembles

Change-Enabled Software Systems / Oscar Nierstrasz ; Marcus Denker ; Tudor Girba ; Adrian Lienhard ; David Rothlisberger

On the Challenge of Engineering Socio-technical Systems / Jose Luiz Fiadeiro

Design of Complex Cyber Physical Systems with Formalized Architectural Patterns / Lui Sha ; Jose Meseguer

続きを見る

東工大ブックレビュー

類似資料:

1 電子ブック Software-Intensive Systems and New Computing Paradigms Wirsing, Martin, Ban?tre, Jean-Pierre, H?lzl, Matthias, Kanade, Takeo, Rauschmayer, Axel Springer eBooks Computer Science, Springer Berlin Heidelberg	7 電子ブック Fundamental Approaches to Software Engineering Chechik, Marsha, Kanade, Takeo, Wirsing, Martin, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
2 電子ブック Rigorous Software Engineering for Service-Oriented Systems Wirsing, Martin, Hölzl, Matthias, Kanade, Takeo SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	8 電子ブック Software Engineering for Collective Autonomic Systems Wirsing, Hölzl, Matthias, Koch, Nora, Mayer, Philip SpringerLink Books - AutoHoldings, Springer International Publishing
3 電子ブック Rigorous Software Engineering for Service-Oriented Systems Wirsing, Martin, H?lzl, Matthias, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg	9 電子ブック Unconventional Programming Paradigms UPP 2004, Banâtre, Jean-Pierre, Kanade, Takeo, Fradet, Pascal, Giavitto, Jean-Louis, Michel, Olivier SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg
4 電子ブック Trustworthly Global Computing Wirsing, Martin, Hofmann, Martin, Kanade, Takeo, Rauschmayer, Axel Springer eBooks Computer Science, Springer Berlin Heidelberg	10 電子ブック Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring Banatre, Jean-Pierre, Association for Computing Machinery-Digital Library. ACM Digital Library Proceedings, ACM
5 電子ブック Trustworthly Global Computing Wirsing, Martin, Hofmann, Martin, Kanade, Takeo, Rauschmayer, Axel SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	11 電子ブック Model Driven Engineering Languages and Systems Czarnecki, Krzysztof, Bruel, Jean-Michel, Kanade, Takeo, Ober, Ileana, Uhl, Axel, V?lter, Markus Springer eBooks Computer Science, Springer Berlin Heidelberg
6 電子ブック Fundamental Approaches to Software Engineering Chechik, Marsha, Kanade, Takeo, Wirsing, Martin Springer eBooks Computer Science, Springer Berlin Heidelberg	12 電子ブック Model Driven Engineering Languages and Systems Czarnecki, Krzysztof, Bruel, Jean-Michel, Kanade, Takeo, Ober, Ileana, Uhl, Axel, Völter, Markus SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12