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
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
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
|
| 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.: | 996465408703316 |
| Lo trovi qui: | Univ. di Salerno |
| Opac: | Controlla la disponibilità qui |
Serie:
Computer Communication Networks and Telecommunications ; ; 7916