Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	November 2008
Genre:	EDV / Informatik
	AmbientComputing / ants / architecturepatterns / Calculi / categorytheory / chemicalreactionmodel / cognitivesystems / communicationenvironments / Compiler und Übersetzer / Concurrency / cross-platformintegration / Design / EDV / Theorie / Software-Entw. / Software Engineering / ensembleengineering / formalmethods / inconsistencyanalysis / Software Engineering / Softwareengineering / Theoretische Informatik mehr...
ISBN:	9783540894360
EAN-Code:	9783540894360
Verlag:	Springer
Einband:	Kartoniert
Sprache:	English
Serie:	#5380 - Lecture Notes in Computer Science Programming and Software Engineering
Dimensionen:	H 235 mm / B 155 mm / D 16 mm
Gewicht:	429 gr
Seiten:	280
Bewertung:	Titel bewerten / Meinung schreiben

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.