Proceedings of the 1999 annual ACM SIGAda international conference on Ada - SIGAda '99
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

1581131275

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Formal modeling of synchronization methods for concurrent objects in Ada 95

Proceedings of the 1999 annual ACM SIGAda international conference on Ada - SIGAda '99 ◽

10.1145/319294.319325 ◽

1999 ◽

Author(s):

Ravi K. Gedela ◽

Sol M. Shatz ◽

Haiping Xu

Keyword(s):

Formal Modeling ◽

Concurrent Objects ◽

Ada 95

Extending Ada to assist multiprocessor embedded development

Proceedings of the 1999 annual ACM SIGAda international conference on Ada - SIGAda '99 ◽

10.1145/319294.319314 ◽

1999 ◽

Author(s):

Tony Lowe

Keyword(s):

Embedded Development

Interfacing low-level C device drivers with Ada 95

Proceedings of the 1999 annual ACM SIGAda international conference on Ada - SIGAda '99 ◽

10.1145/319294.319315 ◽

1999 ◽

Author(s):

Steven Doran

Keyword(s):

Device Drivers ◽

Low Level ◽

Ada 95

The role of distributed, real-time Ada & C++ on the Airborne Surveillance Testbed (AST) program

Proceedings of the 1999 annual ACM SIGAda international conference on Ada - SIGAda '99 ◽

10.1145/319294.319322 ◽

1999 ◽

Author(s):

Henry A. Lortz ◽

Timothy A. Tibbetts

Keyword(s):

Real Time

Ada, model railroading, and real-time software engineering education (keynote address)

Proceedings of the 1999 annual ACM SIGAda international conference on Ada - SIGAda '99 ◽

10.1145/319294.319312 ◽

1999 ◽

Author(s):

John McCormick

Keyword(s):

Software Engineering ◽

Engineering Education ◽

Real Time ◽

Keynote Address ◽

Software Engineering Education

“Transitioning an ASIS application

Proceedings of the 1999 annual ACM SIGAda international conference on Ada - SIGAda '99 ◽

10.1145/319294.319305 ◽

1999 ◽

Cited By ~ 1

Author(s):

Joseph R. Wisniewski

Attitudes to Ada in the UK high-reliability software sector (plenary session)

Proceedings of the 1999 annual ACM SIGAda international conference on Ada - SIGAda '99 ◽

10.1145/319294.319326 ◽

1999 ◽

Keyword(s):

Plenary Session ◽

High Reliability ◽

The Uk

A formal model of the Ada Ravenscar tasking profile; delay until

Proceedings of the 1999 annual ACM SIGAda international conference on Ada - SIGAda '99 ◽

10.1145/319294.319298 ◽

1999 ◽

Cited By ~ 4

Author(s):

Kristina Lundqvist ◽

Lars Asplund

Keyword(s):

Formal Model

Optimizing Ada on the fly

Proceedings of the 1999 annual ACM SIGAda international conference on Ada - SIGAda '99 ◽

10.1145/319294.319321 ◽

1999 ◽

Author(s):

Sheri J. Bernstein ◽

Robert S. Duff

Code analysis of saftey-critical and real-time software using ASIS

Proceedings of the 1999 annual ACM SIGAda international conference on Ada - SIGAda '99 ◽

10.1145/319294.319306 ◽

1999 ◽

Cited By ~ 1

Author(s):

William Currie Colket

Keyword(s):

Real Time ◽

Code Analysis

Proceedings of the 1999 annual ACM SIGAda international conference on Ada - SIGAda '99Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Formal modeling of synchronization methods for concurrent objects in Ada 95

Extending Ada to assist multiprocessor embedded development

Interfacing low-level C device drivers with Ada 95

The role of distributed, real-time Ada & C++ on the Airborne Surveillance Testbed (AST) program

Ada, model railroading, and real-time software engineering education (keynote address)

“Transitioning an ASIS application

Attitudes to Ada in the UK high-reliability software sector (plenary session)

A formal model of the Ada Ravenscar tasking profile; delay until

Optimizing Ada on the fly

Code analysis of saftey-critical and real-time software using ASIS

Proceedings of the 1999 annual ACM SIGAda international conference on Ada - SIGAda '99
Latest Publications