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.
Material type:
TextSeries: Lecture Notes in Computer Science ; 7916Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Description: XII, 291 p. 138 illus. online resourceContent type: - text
- computer
- online resource
- 9783642389115
- 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 Systems
- 004.6 23
- QA76.9.C643
- TK5105.5-5105.9
E-BOOKS
| Current library | Home library | Call number | Materials specified | URL | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|
| IMSc Library | IMSc Library | Link to resource | Available | EBK10899 |
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 on this title.