SDL 2013: Model Driven Dependability Engineering

Beschreibung

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.
Up-to-date results Fast track conference proceedings State-of-the-art report

Autor*in

Ferhat Khendek

Themen in »SDL 2013: Model Driven Dependability Engineering«

aspect-oriented modeling formal languages model verification resource constrained embedded systems software performance engineering

Stimmen zu »SDL 2013: Model Driven Dependability Engineering«

Details

Link teilen