SDL 2013: Model-Driven Dependability Engineering: 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings

Gespeichert in:

Personen und Körperschaften:	Khendek, Ferhat (VerfasserIn), Toeroe, Maria (Sonstige), Gherbi, Abdelouahed (Sonstige), Reed, Rick (Sonstige)
Titel:	SDL 2013: Model-Driven Dependability Engineering: 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings/ edited by Ferhat Khendek, Maria Toeroe, Abdelouahed Gherbi, Rick Reed
Format:	E-Book Konferenzbericht
Sprache:	Englisch
veröffentlicht:	Berlin, Heidelberg Springer 2013
Gesamtaufnahme:	SpringerLink Lecture notes in computer science ; 7916
Schlagwörter:	Computer network architectures Computer Communication Networks Logic design Information Systems Computer Science Computer science Software engineering Computer networks . Computer engineering. Compilers (Computer programs). Electronic data processing Konferenzschrift > 2013 > Montréal Konferenzschrift
Druckausg.:	Model driven dependability engineering, Berlin : Springer, 2013, XII, 290 S.
Druckausg.:	SDL 2013: model-driven dependability engineering, Berlin [u.a.] : Springer, 2013, XII, 291 S
Quelle:	Verbunddaten SWB
Zugangsinformationen:	Elektronischer Volltext - Campuslizenz

Details
Zusammenfassung:	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
Beschreibung:	Literaturangaben
Umfang:	Online-Ressource (XII, 291 p. 138 illus, digital)
ISBN:	9783642389115
DOI:	10.1007/978-3-642-38911-5