Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSIGAda 2007: Fairfax, Virginia, USA
- Alok Srivastava, Leemon C. Baird III:
Proceedings of the 2007 Annual ACM SIGAda International Conference on Ada, Fairfax, Virginia, USA, November 4-8, 2007. ACM 2007, ISBN 978-1-59593-876-3
Tutorials
- John G. P. Barnes:
SA1: introducing the best of ada. 1 - Benjamin M. Brosgol:
SA2: languages for safety-critical software: issues and assessment. 2 - John G. P. Barnes:
SP1: introducing the best of ada 2005. 3 - Ricky E. Sward:
SP2: exposing ada web services using a service-oriented architecture (SOA). 4 - Rod Chapman
:
MF1: security by construction. 5-6 - John W. McCormick:
MA1: real-time and parallel processing in ada. 7 - Frank Singhoff:
MP1: real time scheduling theory and its use with ada. 8
Conference program
- Joe Jarzombek:
Wanted: software with assurance built-in. 9-10 - Ward Douglas Maurer:
Using mathematics to improve ada compiled code, part 2: the proof. 11-26 - Paul Pukite, Luke Ludwig:
Generic discrete event simulations using DEGAS: application to logic design and digital signal processing. 27-40 - Frank Singhoff, Alain Plantec:
AADL modeling and analysis of hierarchical schedulers. 41-50 - Kung-Kiu Lau, Zheng Wang:
Verified component-based software in SPARK: experimental results for a missile guidance system. 51-58 - Tyler B. Hallmark, Eugene K. Ressler:
Parallel evolution of game evaluation functions in ada. 59-62 - Ricky E. Sward:
Using ada in a service-Ooriented architecture. 63-68 - Jeffrey O'Leary:
Federal aviation administration and Ada. 69-70 - Martin C. Carlisle, Leemon C. Baird III:
Timing neural networks in C and ada. 71-74 - Kung-Kiu Lau:
Using SPARK for a beginner's course on reasoning about imperative programs. 75-78 - Karl A. Nyberg:
Multi-core + multi-tasking = multi-opportunity? 79-82 - Robert B. K. Dewar:
The compiler as a static analysis tool. 83-88 - Chris Nettleton, Wilson Ifill, Colin Marsh:
Towards a demonstrably-correct ada compiler. 89-96 - Robert Dewar:
Birds-of-a-feather: where would you like to see GNAT go? 97-98 - Tom Grosman:
Hibachi: the eclipse ada development toolset. 99 - Rod Chapman:
Correctness by construction: putting engineering (back) into software. 100 - Paul E. Black:
Static analysis summit II. 101-107
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-19 19:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
