Blick ins Buch

SDL 2013: Model Driven Dependability Engineering

16th International SDL Forum, Montreal, Canada, June 26-28, 2013, Proceedings

Ferhat Khendek, Maria Toeroe, Abdelouahed Gherbi, Rick Reed (Herausgeber)

Buch | Softcover

XII, 291 Seiten

2013
Springer Berlin (Verlag)
978-3-642-38910-8 (ISBN)

Lese- und Medienproben

Inhaltsverzeichnis (PDF)
Blick ins Buch (midvox)

Artikel merken

This book constitutes the refereed proceedings of the 16th System Design Languages Forum, SDL 2013, held in Montreal, QC, Canada, in June 2013. The 16 revised, high-quality, full papers presented were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections on verification and testing; dependability engineering; analysis; domain specific languages; model transformation; specification and description language and evolution.

verification and testing.- dependability engineering.- analysis.- domain specific languages.- model transformation.- specification and description language.- evolution.

Erscheint lt. Verlag	6.6.2013
Reihe/Serie	Computer Communication Networks and Telecommunications
Reihe/Serie	Lecture Notes in Computer Science
Zusatzinfo	XII, 291 p. 138 illus.
Verlagsort	Berlin
Sprache	englisch
Maße	155 x 235 mm
Gewicht	468 g
Themenwelt	Mathematik / Informatik ► Informatik ► Netzwerke
	Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge
	Mathematik / Informatik ► Informatik ► Software Entwicklung
	Informatik ► Weitere Themen ► Hardware
Schlagworte	aspect-oriented modeling • Formal Languages • model verification • resource constrained embedded systems • Software Performance Engineering
ISBN-10	3-642-38910-4 / 3642389104
ISBN-13	978-3-642-38910-8 / 9783642389108
Zustand	Neuware