80
0
0
0
Reliable software technologies - Ada-Europe '99 / Michael Gonzalez Harbour, Juan A. de la Puente (eds.)
- 作者： Ada-Europe International Conference on Reliable Software Technologies (1999 : Santander, Spain)
- 其他作者：
- 其他題名：
- Springer e-books
- 出版： Berlin ;New York : Springer c1999
- 叢書名： Lecture notes in computer science ; ;1622
- 主題： Computer software--Reliability--Congresses.
- ISBN： 9783540660934 (paper)
- URL：
電子書
-
讀者標籤：
- 系統號： 005167367 | 機讀編目格式
館藏資訊
This book constitutes the refereed proceedings of the 1999 Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe '99, held in Santander, Spain in June 1999. The 36 revised full papers presented together with an invited contribution were carefully reviewed and selected from a large number of submissions. All current issues associated with the Ada programming language are addressed. The papers are organized in sections on Ravenscar profile and high-integrity systems, software architectures and design, testing, formal methods, education, distributed systems, real-time scheduling and kernels, tools, hardware/software codesign, fault-tolerance, and case studies.
資料來源：
Google Book
延伸查詢
Google Books
Amazon
