Software-Intensive Systems and New Computing Paradigms Challenges and Visions
To identify the emergent trends in software-intensive and distributed and decentralized computer systems and their impact on the Information Society in the next 10--15 years, the European Commission has established two Coordinated Actions: Initially the project `Beyond the Horizon' and then, st...
Other Authors: | , , , |
---|---|
Format: | eBook |
Language: | English |
Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2008, 2008
|
Edition: | 1st ed. 2008 |
Series: | Programming and Software Engineering
|
Subjects: | |
Online Access: | |
Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
Table of Contents:
- Engineering of Software-Intensive Systems: State of the Art and Research Challenges
- Engineering of Software-Intensive Systems: State of the Art and Research Challenges
- I Ensemble Engineering
- Software Engineering for Ensembles
- Change-Enabled Software Systems
- On the Challenge of Engineering Socio-technical Systems
- Design of Complex Cyber Physical Systems with Formalized Architectural Patterns
- Cyber-Physical Systems and Events
- Design and Deployment of Large-Scale Software-Intensive Systems in Urban Districts
- II Theory and Formal Methods
- Formal Ensemble Engineering
- Structured Interacting Computations
- Extending Formal Methods for Software-Intensive Systems
- Ensemble Engineering and Emergence
- Mathematical Support for Ensemble Engineering
- Behaviour Equivalences in Timed Distributed ?-Calculus
- III Novel Computing Paradigms
- The Chemical Reaction Model Recent Developments and Prospects
- Spatial Organization of the Chemical Paradigm and the Specification of Autonomic Systems
- Emerging Models of Computation: Directions in Molecular Computing