| 書目名稱 | Reliable Software Technologies - Ada-Europe 2001 | | 副標(biāo)題 | 6th Ada-Europe Inter | | 編輯 | Dirk Craeynest,Alfred Strohmeier | | 視頻video | http://file.papertrans.cn/827/826467/826467.mp4 | | 概述 | Includes supplementary material: | | 叢書名稱 | Lecture Notes in Computer Science | | 圖書封面 |  | | 描述 | The Sixth International Conference on Reliable Software Technologies, Ada- Europe 2001, took place in Leuven, Belgium, May 14-18, 2001. It was sponsored by Ada-Europe, the European federation of national Ada societies, in cooperation with ACM SIGAda, and it was organized by members of the K.U. Leuven and Ada- Belgium. This was the 21st consecutive year of Ada-Europe conferences and the sixth year of the conference focusing on the area of reliable software technologies. The use of software components in embedded systems is almost ubiquitous: planes fly by wire, train signalling systems are now computer based, mobile phones are digital devices, and biological, chemical, and manufacturing plants are controlled by software, to name only a few examples. Also other, non-embedded, mission-critical systems depend more and more upon software. For these products and processes, reliability is a key success factor, and often a safety-critical hard requirement. It is well known and has often been experienced that quality cannot be added to software as a mere afterthought. This also holds for reliability. Moreover, the reliability of a system is not due to and cannot be built upon a single techn | | 出版日期 | Conference proceedings 2001 | | 關(guān)鍵詞 | Ada; Ada-programming; Unified Modeling Language (UML); XML; dependable computing; distributed computing; d | | 版次 | 1 | | doi | https://doi.org/10.1007/3-540-45136-6 | | isbn_softcover | 978-3-540-42123-8 | | isbn_ebook | 978-3-540-45136-5Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer-Verlag Berlin Heidelberg 2001 |
The information of publication is updating
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-29 14:47
發(fā)表于 2025-3-21 19:47:18
