TY  - BOOK
AU  - Khendek,Ferhat
AU  - Toeroe,Maria
AU  - Gherbi,Abdelouahed
AU  - Reed,Rick
ED  - SpringerLink (Online service)
TI  - SDL 2013: Model-Driven Dependability Engineering: 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings 
T2  - Lecture Notes in Computer Science,
SN  - 9783642389115
AV  - QA76.9.C643 
U1  - 004.6 23
PY  - 2013///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg, Imprint: Springer
KW  - Computer science
KW  - Computer organization
KW  - Computer communication systems
KW  - Software engineering
KW  - Programming languages (Electronic computers)
KW  - Computer logic
KW  - Management information systems
KW  - Computer Science
KW  - Computer Systems Organization and Communication Networks
KW  - Software Engineering
KW  - Logics and Meanings of Programs
KW  - Programming Languages, Compilers, Interpreters
KW  - Computer Communication Networks
KW  - Management of Computing and Information Systems
N1  - Verification and testing -- Dependability engineering -- Analysis -- Domain specific languages -- Model transformation -- Specification and description language.- Evolution
N2  - 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
UR  - http://dx.doi.org/10.1007/978-3-642-38911-5
ER  -