Software-Intensive Systems and New Computing Paradigms 2008

Martin Wirsing, Jean-Pierre Banâtre, Matthias M. Hölzl, Axel Rauschmayer (Eds.): Software-Intensive Systems and New Computing Paradigms - Challenges and Visions. Lecture Notes in Computer Science Vol. 5380 Springer 2008, ISBN 978-3-540-89436-0 BibTeX

Matthias M. Hölzl, Axel Rauschmayer, Martin Wirsing:
Engineering of Software-Intensive Systems: State of the Art and Research Challenges. 1-44
Electronic Edition (link) BibTeX

Ensemble Engineering

Matthias M. Hölzl, Axel Rauschmayer, Martin Wirsing:
Software Engineering for Ensembles. 45-63
Electronic Edition (link) BibTeX
Oscar Nierstrasz, Marcus Denker, Tudor Gîrba, Adrian Lienhard, David Röthlisberger:
Change-Enabled Software Systems. 64-79
Electronic Edition (link) BibTeX
José Luiz Fiadeiro:
On the Challenge of Engineering Socio-technical Systems. 80-91
Electronic Edition (link) BibTeX
Lui Sha, José Meseguer:
Design of Complex Cyber Physical Systems with Formalized Architectural Patterns. 92-100
Electronic Edition (link) BibTeX
Carolyn L. Talcott:
Cyber-Physical Systems and Events. 101-115
Electronic Edition (link) BibTeX
Teruo Higashino:
Design and Deployment of Large-Scale Software-Intensive Systems in Urban Districts. 116-131
Electronic Edition (link) BibTeX

J. W. Sanders, Graeme Smith:
Formal Ensemble Engineering. 132-138
Electronic Edition (link) BibTeX
William Cook, Jayadev Misra:
Structured Interacting Computations. 139-145
Electronic Edition (link) BibTeX
Graeme Smith:
Extending Formal Methods for Software-Intensive Systems. 146-161
Electronic Edition (link) BibTeX
Hu Jun, Zhiming Liu, G. M. Reed, J. W. Sanders:
Ensemble Engineering and Emergence. 162-178
Electronic Edition (link) BibTeX
Michael Johnson:
Mathematical Support for Ensemble Engineering. 179-189
Electronic Edition (link) BibTeX
Gabriel Ciobanu:
Behaviour Equivalences in Timed Distributed pi-Calculus. 190-208
Electronic Edition (link) BibTeX

Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac:
The Chemical Reaction Model Recent Developments and Prospects. 209-234
Electronic Edition (link) BibTeX
Jean-Louis Giavitto, Olivier Michel, Antoine Spicher:
Spatial Organization of the Chemical Paradigm and the Specification of Autonomic Systems. 235-254
Electronic Edition (link) BibTeX
Darko Stefanovic:
Emerging Models of Computation: Directions in Molecular Computing. 255-265
Electronic Edition (link) BibTeX