Library of American University of Madaba
Your cart is empty.
SDL 2013: Model-Driven Dependability Engineering
by Khendek, Ferhat.
Authors: Toeroe, Maria.%editor. | Gherbi, Abdelouahed.%editor. | Reed, Rick.%editor. | SpringerLink (Online service) Series: Lecture Notes in Computer Science, 0302-9743 ; . 7916 Physical details: XII, 291 p. 138 illus. online resource. ISBN: 3642389112 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 Systems.Online Resources:
Tags from this library:
No tags from this library for this title.
| Item type | Location | Call Number | Status | Date Due |
|---|---|---|---|---|
 E-Book |
AUM Main Library | 004.6 (Browse Shelf) | Not for loan |
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.