Cover Image
Read Now

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

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 o...

Full description

Bibliographic Details
Other Authors: Khendek, Ferhat (Editor), Toeroe, Maria (Editor), Gherbi, Abdelouahed (Editor), Reed, Rick (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2013, 2013
Edition:1st ed. 2013
Series:Computer Communication Networks and Telecommunications
Subjects:
Computer Communication Networks
Compilers (computer Programs)
Computer Science Logic And Foundations Of Programming
Compilers And Interpreters
Software Engineering
Computer Science
Electronic Data Processing / Management
Computer Networks 
Computer Engineering And Networks
Computer Engineering
It Operations
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
Description
Summary: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
Physical Description:XII, 291 p. 138 illus online resource
ISBN:9783642389115

Similar Items