<p><P>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, s
Software-Intensive Systems and New Computing Paradigms: Challenges and Visions
β Scribed by Matthias HΓΆlzl, Axel Rauschmayer, Martin Wirsing (auth.), Martin Wirsing, Jean-Pierre BanΓ’tre, Matthias HΓΆlzl, Axel Rauschmayer (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Year
- 2008
- Tongue
- English
- Leaves
- 274
- Series
- Lecture Notes in Computer Science 5380
- Edition
- 1
- Category
- Library
No coin nor oath required. For personal study only.
β¦ Synopsis
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, starting in 2006, the project `InterLink'.
This state-of-the-art survey presents the results of three workshops of the InterLink working group on software-intensive systems and novel computing paradigms. The objective was to imagine the landscape in which next generations of software-intensive systems will operate and the challenges they present to computing, software engineering, cognition and intelligence.
The volume starts with an overview of the current state of the art and the research missions in engineering software-intensive systems. The remainder of the book consists of 15 invited papers of the working group participants and is structured in three major parts: ensemble engineering, theory and formal methods, and novel computing paradigms. These papers cover a broad spectrum of relevant topics ranging from methods, languages and tools for ensemble engineering, socio-technical and cyber-physical systems, ensembles in urban environments, formal methods and mathematical foundations for ensembles, orchestration languages to disruptive paradigms such as molecular and chemical computing.
β¦ Table of Contents
Front Matter....Pages -
Engineering of Software-Intensive Systems: State of the Art and Research Challenges....Pages 1-44
Software Engineering for Ensembles....Pages 45-63
Change-Enabled Software Systems....Pages 64-79
On the Challenge of Engineering Socio-technical Systems....Pages 80-91
Design of Complex Cyber Physical Systems with Formalized Architectural Patterns....Pages 92-100
Cyber-Physical Systems and Events....Pages 101-115
Design and Deployment of Large-Scale Software-Intensive Systems in Urban Districts....Pages 116-131
Formal Ensemble Engineering....Pages 132-138
Structured Interacting Computations....Pages 139-145
Extending Formal Methods for Software-Intensive Systems....Pages 146-161
Ensemble Engineering and Emergence....Pages 162-178
Mathematical Support for Ensemble Engineering....Pages 179-189
Behaviour Equivalences in Timed Distributed Ο -Calculus....Pages 190-208
The Chemical Reaction Model Recent Developments and Prospects....Pages 209-234
Spatial Organization of the Chemical Paradigm and the Specification of Autonomic Systems....Pages 235-254
Emerging Models of Computation: Directions in Molecular Computing....Pages 255-265
Back Matter....Pages -
β¦ Subjects
Software Engineering; Programming Techniques; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Computer Communication Networks
π SIMILAR VOLUMES
<p>Rapid development of digital technologies has led to the widespread use of software in all aspects of our life. The degree of reliance that can be justifiably placed on software-intensive systems is expressed by the notion of dependability. The complexity of modern software-intensive systems pose
<p></p><p>This book explores three interwoven and challenging areas of research and development for future ICT-enabled applications: software intensive systems, complex systems and intelligent systems.Β </p><p>Software intensive systems are systems that extensively interact with other systems, sensor
<p><p></p><p></p><p>This book provides a platform of scientific interaction between the three challenging and closely linked areas of ICT-enabled-application research and development: software intensive systems, complex systems and intelligent systems.</p><p>Software intensive systems strongly inter
<p>This book introduces the software defined system concept, architecture, and its enabling technologies such as software defined sensor networks (SDSN), software defined radio, cloud/fog radio access networks (C/F-RAN), software defined networking (SDN), network function virtualization (NFV), softw
Design for software-intensive systems requires adequate methodology and tool support in order for researchers and practitioners to make use of and develop very large and complex systems. Software engineering environments help reduce the design costs of very large and intricate software systems while