Willkommen, schön sind Sie da!
Logo Ex Libris

Software-Intensive Systems and New Computing Paradigms

  • E-Book (pdf)
  • 267 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This volume presents results of three workshops of the InterLink working group, setup by the EU to look at software-intensive sys... Weiterlesen
CHF 93.50
Download steht sofort bereit
Informationen zu E-Books
E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

This volume presents results of three workshops of the InterLink working group, setup by the EU to look at software-intensive systems and novel computing paradigms. It covers ensemble engineering, theory and formal methods, and novel computing paradigms.



Inhalt

Engineering of Software-Intensive Systems: State of the Art and Research Challenges.- Engineering of Software-Intensive Systems: State of the Art and Research Challenges.- I Ensemble Engineering.- Software Engineering for Ensembles.- Change-Enabled Software Systems.- On the Challenge of Engineering Socio-technical Systems.- Design of Complex Cyber Physical Systems with Formalized Architectural Patterns.- Cyber-Physical Systems and Events.- Design and Deployment of Large-Scale Software-Intensive Systems in Urban Districts.- II Theory and Formal Methods.- Formal Ensemble Engineering.- Structured Interacting Computations.- Extending Formal Methods for Software-Intensive Systems.- Ensemble Engineering and Emergence.- Mathematical Support for Ensemble Engineering.- Behaviour Equivalences in Timed Distributed ?-Calculus.- III Novel Computing Paradigms.- The Chemical Reaction Model Recent Developments and Prospects.- Spatial Organization of the Chemical Paradigm and the Specification of Autonomic Systems.- Emerging Models of Computation: Directions in Molecular Computing.

Produktinformationen

Titel: Software-Intensive Systems and New Computing Paradigms
Untertitel: Challenges and Visions
Editor:
EAN: 9783540894377
Format: E-Book (pdf)
Hersteller: Springer Berlin Heidelberg
Genre: IT & Internet
Veröffentlichung: 14.11.2008
Digitaler Kopierschutz: Wasserzeichen
Dateigrösse: 9.2 MB
Anzahl Seiten: 267

Weitere Bände aus der Buchreihe "Lecture Notes in Computer Science"

Zuletzt angesehen
Verlauf löschen