| 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 |
ＥＢ
