SDL 2013: Model Driven Dependability Engineering 16th International SDL Forum, Montreal, Canada, June 26-28, 2013, Proceedings / [electronic resource] :
edited by Ferhat Khendek, Maria Toeroe, Abdelouahed Gherbi, Rick Reed.
- 1st ed. 2013.
- XII, 291 p. 138 illus. online resource.
- Computer Communication Networks and Telecommunications, 7916 2945-9184 ; .
- Computer Communication Networks and Telecommunications, 7916 .
Verification and testing -- Dependability engineering -- Analysis -- Domain specific languages -- Model transformation -- Specification and description language.- Evolution.
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.
9783642389115
10.1007/978-3-642-38911-5 doi
Computer engineering.
Computer networks .
Software engineering.
Computer science.
Compilers (Computer programs).
Electronic data processing--Management.
Computer Engineering and Networks.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Compilers and Interpreters.
Computer Communication Networks.
IT Operations.
TK7885-7895 TK5105.5-5105.9
621.39 004.6
Verification and testing -- Dependability engineering -- Analysis -- Domain specific languages -- Model transformation -- Specification and description language.- Evolution.
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.
9783642389115
10.1007/978-3-642-38911-5 doi
Computer engineering.
Computer networks .
Software engineering.
Computer science.
Compilers (Computer programs).
Electronic data processing--Management.
Computer Engineering and Networks.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Compilers and Interpreters.
Computer Communication Networks.
IT Operations.
TK7885-7895 TK5105.5-5105.9
621.39 004.6