Why i came back to Ada
Abstract
Recommendations
Why i came back to Ada
After the Air Force Academy switched its curriculum to Java, I extracted myself from the Ada community and moved on to other research interests, particularly computer security. In this talk, I'll explain the new developments that brought me back to Ada ...
Practical Application of SPARK to OpenUxAS
Formal Methods – The Next 30 YearsAbstractThis paper presents initial, positive results from using SPARK to prove critical properties of OpenUxAS, a service-oriented software framework developed by AFRL for mission-level autonomy for teams of cooperating unmanned vehicles. Given the ...
Ada policy
TRI-Ada '90: Proceedings of the conference on TRI-ADA '90The first officially recognized Department of Defense (DoD) policy on Ada was issued in June 1983. At that time the Under Secretary of Defense for Research and Engineering, Dr. Richard DeLauer, issued a memorandum that mandated the use of Ada for all ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
- Conference Chair:
- Ricky E. Sward,
- Editors:
- Michael Feldman,
- Dan Eilers,
- Jean-Pierre Rosen,
- Frank Singhoff,
- Julien DeLange,
- Mark Gardinier,
- Karl Nyberg,
- Program Chair:
- Jeff Boleng
Sponsors
In-Cooperation
- SIGAPP: ACM Special Interest Group on Applied Computing
- SIGPLAN: ACM Special Interest Group on Programming Languages
- Ada Europe: Ada Europe
- SIGBED: ACM Special Interest Group on Embedded Systems
- SIGCAS: ACM Special Interest Group on Computers and Society
- SIGCSE: ACM Special Interest Group on Computer Science Education
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Author Tags
Qualifiers
- Keynote
Conference
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 166Total Downloads
- Downloads (Last 12 months)3
- Downloads (Last 6 weeks)0
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in