书目名称 | Reliable Software Technologies - Ada-Europe 2009 |
副标题 | 14th Ada-Europe Inte |
编辑 | Fabrice Kordon,Yvon Kermarrec |
视频video | |
丛书名称 | 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 |