Software-Intensive Systems and New Computing Paradigms Challenges and Visions /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Wirsing, Martin (Επιμελητής έκδοσης), Banâtre, Jean-Pierre (Επιμελητής έκδοσης), Hölzl, Matthias (Επιμελητής έκδοσης), Rauschmayer, Axel (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
• Σειρά: Lecture Notes in Computer Science, 5380
• Θέματα: Computer science.; Computer communication systems.; Software engineering.; Computer programming.; Programming languages (Electronic computers).; Computer logic.; Computer Science.; Software Engineering/Programming and Operating Systems.; Software Engineering.; Programming Techniques.; Programming Languages, Compilers, Interpreters.; Logics and Meanings of Programs.; Computer Communication Networks.

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...

Πίνακας περιεχομένων:

• 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.