Ada in Transition: Proceedings of the 1992 Ada UK International Conference, 13-15 October 1992, London, UK
W. J. Taylor
IOS Press, 1992 - Computers - 203 pages
Ada is in a state of transition: many software organizations are transitioning to Ada - a sure sign that the benefits of Ada have been recognized and that Ada compilers have matured. The language itself, deriving from requirements and technology now over ten years old, needs updating to address new requirements and technology - hardware is more powerful; distributed systems are commonplace; applications are more demanding, more complex and significantly larger; interfacing to standard packages (such as GKS, X-Windows, POSIX) has grown in importance; object-oriented design has been widely adopted; and other languages, such as C and C++ are perceived as being more appropriate. Ada 9X is designed to add to the flexibility and applicability in keeping with the software engineering goals that inspired its original development.
What people are saying - Write a review
We haven't found any reviews in the usual places.
SPARK A SafetyRelated Ada Subset Bernard Carré Jon Garnsworthy
Ada 9X Safety and Security Annex B A Wichmann
Debugging Large RealTim Distributed Multiprocessor Systems David Towers
AdaTEST The Integrated Approach Ian Gilchrist
Ada on Vector Architectures Ian Pestell
Design and Development of an IGES Editor using Ada Paul E Bradbeer
Ada Reverse Engineering John Lambert
The role of Inheritance as an ImportExport Mechanism Jim Armstrong John Howse
Avoiding Incompatibilities in Ada 9X Bill Taylor
abstract Ada 83 programs Ada 9X Ada compilers Ada language Ada program Ada Programming Language Ada subset ADatP-3 allows analysis Annex annotations application architecture behaviour boolean Caddetc CIFO CMDS COBOL COBOL85 communication complex components Computer counter data structures data type database debugging defined Direct_IO domain entities environment ethernet example execution existing facilities file_t formal verification function high integrity software high integrity systems identified IGES implementation INDEX_LIST information hiding inheritance integrity software language interface lower_limit Management mechanism method metrics Multibus multiprocessor node object code Object Oriented Object-oriented Programming operating system operational semantics parameters POSIX priority priority inheritance problems procedure processor programming language proof queue RDBMS real-time record requirements retrieval reuse run-time safety critical scheduling semantics Software Engineering SPARK standard static storage string subprograms supervisory data validation vaLUE_TYPE values variables vendor verification W.J. Taylor