| 书目名称 | Reliable Software Technologies - Ada-Europe 2009 |
| 副标题 | 14th Ada-Europe Inte |
| 编辑 | Fabrice Kordon,Yvon Kermarrec |
| 视频video | http://file.papertrans.cn/827/826450/826450.mp4 |
| 丛书名称 | Lecture Notes in Computer Science |
| 图书封面 |  |
| 描述 | This book constitutes the proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2009, held in Brest, France, on June 8-12, 2009. The 19 papers presented were carefully reviewed and selected from numerous submissions. Topics of interest to the conference are methods and techniques for software development and maintenance; software architecture; enabling technology; software quality; theory and practice of high-integrity systems; embedded systems; mainstream and emerging applications; ada language and technology; ada and education. |
| 出版日期 | Conference proceedings 2009 |
| 关键词 | Java; Middleware; code generation; embedded systems; high-integrity environment; metamodeling; model check |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-642-01924-1 |
| isbn_softcover | 978-3-642-01923-4 |
| isbn_ebook | 978-3-642-01924-1Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer-Verlag Berlin Heidelberg 2009 |