SDL 2013: Model-Driven Dependability Engineering

By Ferhat Khendek

Subjects: Information Systems, Logics and Meanings of Programs, Computer Communication Networks, Logic design, Programming Languages, Compilers, Interpreters, Computer network architectures, Computer science, Management of Computing and Information Systems, Sdl (computer program language), Software engineering, Computer Systems Organization and Communication Networks

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.