SDL 2013: Model Driven Dependability Engineering
16th International SDL Forum, Montreal, Canada, June 26-28, 2013, Proceedings
Seiten
2013
|
2013
Springer Berlin (Verlag)
978-3-642-38910-8 (ISBN)
Springer Berlin (Verlag)
978-3-642-38910-8 (ISBN)
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 | 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 |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
entwickle, drucke und baue deine DIY-Objekte
Buch | Hardcover (2023)
Hanser, Carl (Verlag)
34,99 €
