SDL 2013: Model-Driven Dependability Engineering
Subtitle: 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings
By: edited by Ferhat Khendek, Maria Toeroe, Abdelouahed Gherbi, Rick Reed
Contributors: Toeroe, Maria; Gherbi, Abdelouahed; Reed, Rick; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 7916
Publisher: Springer Berlin Heidelberg; Imprint: Springer
Published: 2013
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
Number of pages: 291
ISBN-13: 9783642389115
Subjects: Information Systems; Software engineering; Computer Systems Organization and Communication Networks; Computer Communication Networks; Computer network architectures; Logic design; Logics and Meanings of Programs; Computer science; Management of Computing and Information Systems; Programming Languages, Compilers, Interpreters
Description: 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.
Table of contents: title: Verification and testing; title: Dependability engineering; title: Analysis; title: Domain specific languages; title: Model transformation; title: Specification and description language.- Evolution.