Blick ins Buch

System Analysis and Modeling: About Models

6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers

Frank Alexander Kraemer, Peter Herrmann (Herausgeber)

Buch | Softcover

X, 257 Seiten

2011
Springer Berlin (Verlag)
978-3-642-21651-0 (ISBN)

Lese- und Medienproben

Inhaltsverzeichnis (PDF)
Blick ins Buch (midvox)

Artikel merken

This book constitutes the throughly refereed post-proceedings of the 6th International Workshop on Systems Analysis and Modeling, SAM 2010, held in collocation with MODELS 2010 in Oslo, Norway in October 2010. The 15 revised full papers presented went through two rounds of reviewing and improvement. The papers are organized in topical sections on modularity, composition, choreography, application of SDL and UML; SDL language profiles; code generation and model transformations; verification and analysis; and user requirements notification.

Erscheint lt. Verlag	22.6.2011
Reihe/Serie	Lecture Notes in Computer Science
Reihe/Serie	Programming and Software Engineering
Zusatzinfo	X, 257 p. 115 illus., 58 illus. in color.
Verlagsort	Berlin
Sprache	englisch
Maße	155 x 235 mm
Themenwelt	Mathematik / Informatik ► Informatik ► Datenbanken
	Mathematik / Informatik ► Informatik ► Netzwerke
	Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge
	Mathematik / Informatik ► Informatik ► Software Entwicklung
	Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik
Schlagworte	aspect-oriented modeling • Communication Systems • Distributed Systems • formal methods • Real-Time Systems • service-oriented systems • Systemanalyse (EDV) • systems modeling
ISBN-10	3-642-21651-X / 364221651X
ISBN-13	978-3-642-21651-0 / 9783642216510
Zustand	Neuware