Skip to main content
Book cover

Software-Intensive Systems and New Computing Paradigms

Challenges and Visions

  • Book
  • © 2008

Overview

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 5380)

Part of the book sub series: Programming and Software Engineering (LNPSE)

This is a preview of subscription content, log in via an institution to check access.

Access this book

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (16 chapters)

  1. Engineering of Software-Intensive Systems: State of the Art and Research Challenges

  2. I Ensemble Engineering

  3. II Theory and Formal Methods

  4. III Novel Computing Paradigms

Keywords

About this book

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.

Editors and Affiliations

  • Institute of Computer Science, LMU Munich, Munich, Germany

    Martin Wirsing, Axel Rauschmayer

  • Université de Rennes I and INRIA/IRISA, Rennes Cedex, France

    Jean-Pierre Banâtre

  • Ludwig-Maximilians-Universität München, Germany

    Matthias Hölzl

Bibliographic Information

Publish with us