SDL 2013: Model-Driven Dependability Engineering 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings / [electronic resource] : edited by Ferhat Khendek, Maria Toeroe, Abdelouahed Gherbi, Rick Reed. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2013. - 1 online resource (XII, 291 p. 138 ill.) - Lecture Notes in Computer Science, 7916 0302-9743 ; .

Verification and testing -- Dependability engineering -- Analysis -- Domain specific languages -- Model transformation -- Specification and description language.- Evolution.

9783642389115


Computer science.
Computer organization.
Computer communication systems.
Software engineering.
Programming languages (Electronic computers).
Computer logic.
Management information systems.