| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910484203303321 |
|
|
Titolo |
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 |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2013.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XII, 291 p. 138 illus.) |
|
|
|
|
|
|
Collana |
|
Computer Communication Networks and Telecommunications ; ; 7916 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
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 |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
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. |
|
|
|
|
|
| |