Cargando…
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | , , , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2008.
|
| Edición: | 1st ed. 2008. |
| Colección: | Programming and Software Engineering,
5380 |
| Temas: | |
| Acceso en línea: | Texto Completo |
Tabla de Contenidos:
- 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.