Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Software-Intensive Systems and New Computing Paradigms: Challenges and Visions > Software Engineering for Ensembles
Software-Intensive Systems and New Computing Paradigms: Challenges and Visions |
Martin Wirsing; Jean-Pierre Banatre; Matthias Hölzl; Axel Rauschmayer
Springer Berlin Heidelberg
Software-Intensive Systems and New Computing Paradigms: Challenges and Visions
Software Engineering for Ensembles
Authors

Matthias Hölzl; Axel Rauschmayer; Martin Wirsing

ARI Id

1664710850600_2855969

Access

Not Available Free

Pages

45-63

DOI

10.1007/978-3-540-89437-7_2

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-540-89437-7_2

Table of Contents of Book
Showing 1 to 18 of 18 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
Engineering of Software-Intensive Systems: State of the Art and Research Challenges
Matthias Hölzl; Axel Rauschmayer; Martin Wirsing
1-44
Software Engineering for Ensembles
Matthias Hölzl; Axel Rauschmayer; Martin Wirsing
45-63
Change-Enabled Software Systems
Oscar Nierstrasz; Marcus Denker; Tudor Gîrba; Adrian Lienhard; David Röthlisberger
64-79
On the Challenge of Engineering Socio-technical Systems
José Luiz Fiadeiro
80-91
Design of Complex Cyber Physical Systems with Formalized Architectural Patterns
Lui Sha; José Meseguer
92-100
Cyber-Physical Systems and Events
Carolyn Talcott
101-115
Design and Deployment of Large-Scale Software-Intensive Systems in Urban Districts
Teruo Higashino
116-131
Formal Ensemble Engineering
J. W. Sanders; Graeme Smith
132-138
Structured Interacting Computations
William Cook; Jayadev Misra
139-145
Extending Formal Methods for Software-Intensive Systems
Graeme Smith
146-161
Ensemble Engineering and Emergence
Hu Jun; Zhiming Liu; G. M. Reed; J. W. Sanders
162-178
Mathematical Support for Ensemble Engineering
Michael Johnson
179-189
Behaviour Equivalences in Timed Distributed π-Calculus
Gabriel Ciobanu
190-208
The Chemical Reaction Model Recent Developments and Prospects
Jean-Pierre Banâtre; Pascal Fradet; Yann Radenac
209-234
Spatial Organization of the Chemical Paradigm and the Specification of Autonomic Systems
Jean-Louis Giavitto; Olivier Michel; Antoine Spicher
235-254
Emerging Models of Computation: Directions in Molecular Computing
Darko Stefanovic
255-265
Back Matter
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 18 of 18 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings