SDL 2013: Model Driven Dependability Engineering [electronic resource] : 16th International SDL Forum, Montreal, Canada, June 26-28, 2013, Proceedings / edited by Ferhat Khendek, Maria Toeroe, Abdelouahed Gherbi, Rick Reed.
Contributor(s): Khendek, Ferhat [editor.]
| Toeroe, Maria [editor.] | Gherbi, Abdelouahed [editor.] | Reed, Rick [editor.] | SpringerLink (Online service).
Material type: 
BookSeries: Computer Communication Networks and Telecommunications: 7916Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Edition: 1st ed. 2013.Description: XII, 291 p. 138 illus. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783642389115.Subject(s): 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 OperationsAdditional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification: 621.39 | 004.6 Online resources: Click here to access online 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.
There are no comments for this item.