Abstract is missing.
- Engineering of Software-Intensive Systems: State of the Art and Research ChallengesMatthias M. Hölzl, Axel Rauschmayer, Martin Wirsing. 1-44 [doi]
- Software Engineering for EnsemblesMatthias M. Hölzl, Axel Rauschmayer, Martin Wirsing. 45-63 [doi]
- Change-Enabled Software SystemsOscar Nierstrasz, Marcus Denker, Tudor Gîrba, Adrian Lienhard, David Röthlisberger. 64-79 [doi]
- On the Challenge of Engineering Socio-technical SystemsJosé Luiz Fiadeiro. 80-91 [doi]
- Design of Complex Cyber Physical Systems with Formalized Architectural PatternsLui Sha, José Meseguer. 92-100 [doi]
- Cyber-Physical Systems and EventsCarolyn L. Talcott. 101-115 [doi]
- Design and Deployment of Large-Scale Software-Intensive Systems in Urban DistrictsTeruo Higashino. 116-131 [doi]
- Formal Ensemble EngineeringJeffrey W. Sanders, Graeme Smith. 132-138 [doi]
- Structured Interacting ComputationsWilliam R. Cook, Jayadev Misra. 139-145 [doi]
- Extending Formal Methods for Software-Intensive SystemsGraeme Smith. 146-161 [doi]
- Ensemble Engineering and EmergenceHu Jun, Zhiming Liu, G. M. Reed, Jeffrey W. Sanders. 162-178 [doi]
- Mathematical Support for Ensemble EngineeringMichael Johnson. 179-189 [doi]
- Behaviour Equivalences in Timed Distributed pi-CalculusGabriel Ciobanu. 190-208 [doi]
- The Chemical Reaction Model Recent Developments and ProspectsJean-Pierre Banâtre, Pascal Fradet, Yann Radenac. 209-234 [doi]
- Spatial Organization of the Chemical Paradigm and the Specification of Autonomic SystemsJean-Louis Giavitto, Olivier Michel, Antoine Spicher. 235-254 [doi]
- Emerging Models of Computation: Directions in Molecular ComputingDarko Stefanovic. 255-265 [doi]