SDL 2013: Model-Driven Dependability Engineering [electronic resource] :16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings / edited by Ferhat Khendek, Maria Toeroe, Abdelouahed Gherbi, Rick Reed.
by Khendek, Ferhat [editor.]; Toeroe, Maria [editor.]; Gherbi, Abdelouahed [editor.]; Reed, Rick [editor.]; SpringerLink (Online service).
Material type:
BookSeries: Lecture Notes in Computer Science: 7916Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 2013.Description: XII, 291 p. 138 illus. online resource.ISBN: 9783642389115.Subject(s): Computer science | Computer network architectures | Computer Communication Networks | Software engineering | Logic design | 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 SystemsDDC classification: 004.6 Online resources: Click here to access online
Contents:
In:
Springer eBooksSummary: 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.
Verification and testing -- Dependability engineering -- Analysis -- Domain specific languages -- Model transformation -- Specification and description language.- Evolution.
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| TK5105.5-5105.9 (Browse shelf) | Available | ||||
| Long Loan | MAIN LIBRARY | QA76.9.C643 (Browse shelf) | Available |
Close shelf browser
| TA1637-1638 Functional Imaging and Modeling of the Heart | TA1637-1638 Functional Imaging and Modeling of the Heart | K3236-3268.5 Protecting Human Rights in the EU | TK5105.5-5105.9 SDL 2013: Model-Driven Dependability Engineering | QR355-502 Challenges and Opportunities for Respiratory Syncytial Virus Vaccines | HF5001-6182.2 On China's Trade Surplus | QA75.5-76.95 Open Source Software: Quality Verification |
Verification and testing -- Dependability engineering -- Analysis -- Domain specific languages -- Model transformation -- Specification and description language.- Evolution.
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.
There are no comments for this item.