E-Book, Englisch, 267 Seiten, eBook
Wirsing / Banatre / Hölzl Software-Intensive Systems and New Computing Paradigms
2008
ISBN: 978-3-540-89437-7
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Challenges and Visions
E-Book, Englisch, 267 Seiten, eBook
Reihe: Programming and Software Engineering
ISBN: 978-3-540-89437-7
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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.