default search action

combined dblp search
author search
venue search
publication search

ask others

Software-Intensive Systems and New Computing Paradigms 2008

> Home > Series

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - series/lncs/5380
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/5380
Martin Wirsing, Jean-Pierre Banâtre, Matthias M. Hölzl, Axel Rauschmayer:
Software-Intensive Systems and New Computing Paradigms - Challenges and Visions. Lecture Notes in Computer Science 5380, Springer 2008, ISBN 978-3-540-89436-0
- view
  authority control:
- export record
  dblp key:
  - series/lncs/HolzlRW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/HolzlRW08
Matthias M. Hölzl, Axel Rauschmayer, Martin Wirsing:
Engineering of Software-Intensive Systems: State of the Art and Research Challenges. 1-44

Ensemble Engineering

- view
  authority control:
- export record
  dblp key:
  - series/lncs/HolzlRW08a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/HolzlRW08a
Matthias M. Hölzl, Axel Rauschmayer, Martin Wirsing:
Software Engineering for Ensembles. 45-63
- view
  authority control:
- export record
  dblp key:
  - series/lncs/NierstraszDGLR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/NierstraszDGLR08
Oscar Nierstrasz, Marcus Denker, Tudor Gîrba, Adrian Lienhard, David Röthlisberger:
Change-Enabled Software Systems. 64-79
- view
  authority control:
- export record
  dblp key:
  - series/lncs/Fiadeiro08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/Fiadeiro08
José Luiz Fiadeiro:
On the Challenge of Engineering Socio-technical Systems. 80-91
- view
  authority control:
- export record
  dblp key:
  - series/lncs/ShaM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/ShaM08
Lui Sha, José Meseguer:
Design of Complex Cyber Physical Systems with Formalized Architectural Patterns. 92-100
- view
  authority control:
- export record
  dblp key:
  - series/lncs/Talcott08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/Talcott08
Carolyn L. Talcott:
Cyber-Physical Systems and Events. 101-115
- view
  authority control:
- export record
  dblp key:
  - series/lncs/Higashino08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/Higashino08
Teruo Higashino:
Design and Deployment of Large-Scale Software-Intensive Systems in Urban Districts. 116-131

Theory and Formal Methods

- view
  authority control:
- export record
  dblp key:
  - series/lncs/SandersS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/SandersS08
Jeffrey W. Sanders, Graeme Smith:
Formal Ensemble Engineering. 132-138
- view
  authority control:
- export record
  dblp key:
  - series/lncs/CookM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/CookM08
William R. Cook, Jayadev Misra:
Structured Interacting Computations. 139-145
- view
  authority control:
- export record
  dblp key:
  - series/lncs/Smith08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/Smith08
Graeme Smith:
Extending Formal Methods for Software-Intensive Systems. 146-161
- view
  authority control:
- export record
  dblp key:
  - series/lncs/JunLRS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/JunLRS08
Hu Jun, Zhiming Liu, G. M. Reed, J. W. Sanders:
Ensemble Engineering and Emergence. 162-178
- view
  authority control:
- export record
  dblp key:
  - series/lncs/Johnson08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/Johnson08
Michael Johnson:
Mathematical Support for Ensemble Engineering. 179-189
- view
  authority control:
- export record
  dblp key:
  - series/lncs/Ciobanu08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/Ciobanu08
Gabriel Ciobanu:
Behaviour Equivalences in Timed Distributed pi-Calculus. 190-208

Novel Computing Paradigms

- view
  authority control:
- export record
  dblp key:
  - series/lncs/BanatreFR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/BanatreFR08
Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac:
The Chemical Reaction Model Recent Developments and Prospects. 209-234
- view
  authority control:
- export record
  dblp key:
  - series/lncs/GiavittoMS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/GiavittoMS08
Jean-Louis Giavitto, Olivier Michel, Antoine Spicher:
Spatial Organization of the Chemical Paradigm and the Specification of Autonomic Systems. 235-254
- view
  authority control:
- export record
  dblp key:
  - series/lncs/Stefanovic08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/Stefanovic08
Darko Stefanovic:
Emerging Models of Computation: Directions in Molecular Computing. 255-265

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.