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 |