SDL 2013: Model Driven Dependability Engineering : 16th International SDL Forum, Montreal, Canada, June 26-28, 2013, Proceedings / / edited by Ferhat Khendek, Maria Toeroe, Abdelouahed Gherbi, Rick Reed

• Pubblicazione: Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013
• Edizione: 1st ed. 2013.
• Descrizione fisica: 1 online resource (XII, 291 p. 138 illus.)
• Disciplina: 004.6
• Soggetto topico: Computer organization; Software engineering; Computer logic; Programming languages (Electronic computers); Computer communication systems; Management information systems; Computer science; Computer Systems Organization and Communication Networks; Software Engineering; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Computer Communication Networks; Management of Computing and Information Systems
• Persona (resp. second.): KhendekFerhat; ToeroeMaria; GherbiAbdelouahed; ReedRick
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di contenuto: Verification and testing -- Dependability engineering -- Analysis -- Domain specific languages -- Model transformation -- Specification and description language.- Evolution.
• Sommario/riassunto: 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.
• Titolo autorizzato: SDL 2013: Model Driven Dependability Engineering
• ISBN: 3-642-38911-2
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9910484203303321
• Lo trovi qui: Univ. Federico II
• Serie: Computer Communication Networks and Telecommunications ; ; 7916