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. 
 - 1st ed. 2013. 
 - XII, 291 p. 138 illus.  online resource. 
 - Computer Communication Networks and Telecommunications,  7916  2945-9184 ; .
 - Computer Communication Networks and Telecommunications,  7916 .
<br/><br/>Verification and testing -- Dependability engineering -- Analysis -- Domain specific languages -- Model transformation -- Specification and description language.- Evolution. 
<br/><br/> 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. 
<br/><br/><label>ISBN: </label>9783642389115 
<br/><br/><label>Standard No.: </label>10.1007/978-3-642-38911-5  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer engineering.<br/>Computer networks .<br/>Software engineering.<br/>Computer science.<br/>Compilers (Computer programs).<br/>Electronic data processing--Management.<br/>Computer Engineering and Networks.<br/>Software Engineering.<br/>Computer Science Logic and Foundations of Programming.<br/>Compilers and Interpreters.<br/>Computer Communication Networks.<br/>IT Operations.
<br/><br/><label>LC Class. No.: </label>TK7885-7895 TK5105.5-5105.9 
<br/><br/><label>Dewey Class. No.: </label>621.39 004.6