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.
Reihe
Auflage
Sprache
Verlagsort
Verlagsgruppe
Zielgruppe
Für Beruf und Forschung
Research
Illustrationen
138
138 s/w Abbildungen
XII, 291 p. 138 illus.
Maße
Höhe: 235 mm
Breite: 155 mm
Dicke: 17 mm
Gewicht
ISBN-13
978-3-642-38910-8 (9783642389108)
DOI
10.1007/978-3-642-38911-5
Schweitzer Klassifikation
Verification and testing.- Dependability engineering.- Analysis.- Domain specific languages.- Model transformation.- Specification and description language.- Evolution.
