Title: SDL 2013: Model-Driven Dependability Engineering
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.
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, Sdl (computer program language)