Software-Intensive Systems and New Computing Paradigms

Challenges and Visions

  • Martin Wirsing
  • Jean-Pierre Banâtre
  • Matthias Hölzl
  • Axel Rauschmayer

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

Table of contents

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

    1. Matthias Hölzl, Axel Rauschmayer, Martin Wirsing
      Pages 1-44
  3. I Ensemble Engineering

    1. Matthias Hölzl, Axel Rauschmayer, Martin Wirsing
      Pages 45-63
    2. Oscar Nierstrasz, Marcus Denker, Tudor Gîrba, Adrian Lienhard, David Röthlisberger
      Pages 64-79
    3. Carolyn Talcott
      Pages 101-115
  4. II Theory and Formal Methods

    1. J. W. Sanders, Graeme Smith
      Pages 132-138
    2. William Cook, Jayadev Misra
      Pages 139-145
    3. Hu Jun, Zhiming Liu, G. M. Reed, J. W. Sanders
      Pages 162-178
    4. Michael Johnson
      Pages 179-189
  5. III Novel Computing Paradigms

    1. Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac
      Pages 209-234
    2. Jean-Louis Giavitto, Olivier Michel, Antoine Spicher
      Pages 235-254
  6. Back Matter

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.


Software Engineering ambient computing ants architecture patterns calculi category theory chemical reaction model cognitive systems communication environments concurrency cross-platform integration design ensemble engineering formal methods inconsistency analysis

Editors and affiliations

  • Martin Wirsing
    • 1
  • Jean-Pierre Banâtre
    • 2
  • Matthias Hölzl
    • 3
  • Axel Rauschmayer
    • 1
  1. 1.Institute of Computer ScienceLMU MunichMunichGermany
  2. 2.Université de Rennes I and INRIA/IRISARennes CedexFrance
  3. 3.Ludwig-Maximilians-Universität MünchenGermany

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-540-89436-0
  • Online ISBN 978-3-540-89437-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment