![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Software-Intensive Systems and New Computing Paradigms 2008
- Martin Wirsing, Jean-Pierre Banâtre, Matthias M. Hölzl, Axel Rauschmayer:
Software-Intensive Systems and New Computing Paradigms - Challenges and Visions. Lecture Notes in Computer Science 5380, Springer 2008, ISBN 978-3-540-89436-0 - Matthias M. Hölzl, Axel Rauschmayer, Martin Wirsing:
Engineering of Software-Intensive Systems: State of the Art and Research Challenges. 1-44
Ensemble Engineering
- Matthias M. Hölzl, Axel Rauschmayer, Martin Wirsing:
Software Engineering for Ensembles. 45-63 - Oscar Nierstrasz
, Marcus Denker, Tudor Gîrba, Adrian Lienhard, David Röthlisberger:
Change-Enabled Software Systems. 64-79 - José Luiz Fiadeiro:
On the Challenge of Engineering Socio-technical Systems. 80-91 - Lui Sha, José Meseguer:
Design of Complex Cyber Physical Systems with Formalized Architectural Patterns. 92-100 - Carolyn L. Talcott:
Cyber-Physical Systems and Events. 101-115 - Teruo Higashino:
Design and Deployment of Large-Scale Software-Intensive Systems in Urban Districts. 116-131
Theory and Formal Methods
- Jeffrey W. Sanders, Graeme Smith:
Formal Ensemble Engineering. 132-138 - William R. Cook, Jayadev Misra:
Structured Interacting Computations. 139-145 - Graeme Smith:
Extending Formal Methods for Software-Intensive Systems. 146-161 - Hu Jun, Zhiming Liu, G. M. Reed, J. W. Sanders:
Ensemble Engineering and Emergence. 162-178 - Michael Johnson
:
Mathematical Support for Ensemble Engineering. 179-189 - Gabriel Ciobanu:
Behaviour Equivalences in Timed Distributed pi-Calculus. 190-208
Novel Computing Paradigms
- Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac:
The Chemical Reaction Model Recent Developments and Prospects. 209-234 - Jean-Louis Giavitto
, Olivier Michel, Antoine Spicher:
Spatial Organization of the Chemical Paradigm and the Specification of Autonomic Systems. 235-254 - Darko Stefanovic:
Emerging Models of Computation: Directions in Molecular Computing. 255-265
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.