Towards Ada 9X
著者
書誌事項
Towards Ada 9X
（Studies in computer and communications systems, v. 2）
IOS Press, 1992
大学図書館所蔵 件 / 全2件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references
内容説明・目次
内容説明
This book is aimed at both reviewing current Ada-based technology and appraising the 9X process. It contains some eleven technical papers which are extended versions of talks given during the 1991 International Ada UK conference. This conference took as its main theme the Ada 9X activity. Topics covered include CIFO (the catalogue of run-time features and options), proposed 9X mappings, asynchronous transfer of control in the tasking model, the design method HOOD and proposed extensions for hard real-time systems, applicable formal methods (LOTUS and Z), secondary bindings (including POSIX), multi-transputer applications, and recent initiatives of the AJPO. The authors are drawn from Europe and the US, and from industry, government agencies and academia. They include the Chair of ARTEWG, and Ada 9X distinguished reviewer, a member of the Ada 9X mapping team, and the director of the AJPO. The book's contents should be of interest to anyone concerned with Ada based technology. An introduction to the Ada 9X activity is given, but also included are details of the current proposals. In addition to the papers directly addressing Ada 9X, others cover a range of Ada related issues.
目次
- Towards Ada 9X, Alan Burns
- the catalogue of interface features and options - bridge to the future for real-time Ada applications, M. Kamrad
- some proposed Ada 9X mappings, B. Taylor
- asynchronous transfer of control in Ada 9X, O. Pazy
- hard real-time HOOD - a design method for hard real-time Ada 9X systems, A. Burns and A.J. Wellings
- formal specification of reusable Ada software packages, T. Read
- LOTAda - design and implementation of a LOTOS to Ada compiler, J.A. Manas et al
- US Navy - next generation computer systems program, POSIX, real-time and Ada, D. Juttelstad and J. Oblinger
- the development of secondary Ada language bindings, M.G. Edwards et al
- real-time solution of robot inverse kinematics using Ada and transputers, T.M. Handi and S.A. Velastin
- recent initiatives of the Ada Joint Program Office, J. Solomond.
「Nielsen BookData」 より
