iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://unpaywall.org/10.1007/978-3-540-89437-7
Software-Intensive Systems and New Computing Paradigms: Challenges and Visions | SpringerLink
Skip to main content
Springer Nature Link
Log in

Software-Intensive Systems and New Computing Paradigms

Challenges and Visions

  • Book
  • © 2008

Overview

Editors:
  1. Martin Wirsing

    1. Institute of Computer Science, LMU Munich, Munich, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jean-Pierre Banâtre

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Matthias Hölzl

    1. Ludwig-Maximilians-Universität München, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Axel Rauschmayer

    1. Institute of Computer Science, LMU Munich, Munich, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

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

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.

Similar content being viewed by others

Keywords

Table of contents (16 chapters)

  1. Front Matter

    Download chapter PDF

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

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

      • Matthias Hölzl, Axel Rauschmayer, Martin Wirsing
      Pages 1-44

  3. I Ensemble Engineering

    1. Software Engineering for Ensembles

      • Matthias Hölzl, Axel Rauschmayer, Martin Wirsing
      Pages 45-63

    2. Change-Enabled Software Systems

      • Oscar Nierstrasz, Marcus Denker, Tudor Gîrba, Adrian Lienhard, David Röthlisberger
      Pages 64-79

    3. On the Challenge of Engineering Socio-technical Systems

      • José Luiz Fiadeiro
      Pages 80-91

    4. Design of Complex Cyber Physical Systems with Formalized Architectural Patterns

      • Lui Sha, José Meseguer
      Pages 92-100

    5. Cyber-Physical Systems and Events

      • Carolyn Talcott
      Pages 101-115

    6. Design and Deployment of Large-Scale Software-Intensive Systems in Urban Districts

      • Teruo Higashino
      Pages 116-131

  4. II Theory and Formal Methods

    1. Formal Ensemble Engineering

      • J. W. Sanders, Graeme Smith
      Pages 132-138

    2. Structured Interacting Computations

      • William Cook, Jayadev Misra
      Pages 139-145

    3. Extending Formal Methods for Software-Intensive Systems

      • Graeme Smith
      Pages 146-161

    4. Ensemble Engineering and Emergence

      • Hu Jun, Zhiming Liu, G. M. Reed, J. W. Sanders
      Pages 162-178

    5. Mathematical Support for Ensemble Engineering

      • Michael Johnson
      Pages 179-189

    6. Behaviour Equivalences in Timed Distributed π-Calculus

      • Gabriel Ciobanu
      Pages 190-208

  5. III Novel Computing Paradigms

    1. The Chemical Reaction Model Recent Developments and Prospects

      • Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac
      Pages 209-234

    2. Spatial Organization of the Chemical Paradigm and the Specification of Autonomic Systems

      • Jean-Louis Giavitto, Olivier Michel, Antoine Spicher
      Pages 235-254

    3. Emerging Models of Computation: Directions in Molecular Computing

      • Darko Stefanovic
      Pages 255-265

  6. Back Matter

    Download chapter PDF
Back to top

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

Policies and ethics

Back to top

Search

Navigation