![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
SIGAda 2003: San Diego, CA, USA
- Robert C. Leif, Ricky E. Sward:
Proceedings of the 2003 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2003, San Diego, CA, USA, December 7-11, 2003. ACM 2003, ISBN 1-58113-476-2 - Jeffrey W. Humphries, Martin C. Carlisle
, Terry A. Wilson:
Multilanguage programming with ada in the .Net environment. 1-3 - Peter Amey, Roderick Chapman
:
Static verification and extreme programming. 4-9 - Ricky E. Sward, A. T. Chamillard:
AdaSlicer: an Ada program slicer. 10-16 - Sami Evangelista, Claude Kaiser, Jean-François Pradat-Peyre, Pierre Rousseau:
Verifying linear time temporal logic properties of concurrent Ada programs with quasar. 17-24 - Dhavy Gantsou:
A DSA model for data access in self-organizing systems. 25-28 - Gaetan Allaert, Dirk Craeynest, Philippe Waroquiers:
European air traffic flow management: porting a large application to GNU/linux. 29-37 - Jean-Pierre Rosen:
Experiences in developing a typical web/database application. 38-48 - Jordi Marco
, Xavier Franch:
A framework for designing and implementing the Ada standard container library. 49-61 - Baowen Xu
, Zhenqiang Chen, Jianjun Zhao:
Measuring cohesion of packages in Ada95. 62-67 - Ricky E. Sward, Martin C. Carlisle
, Barry S. Fagin, David S. Gibson:
The case for Ada at the USAF academy. 68-70 - Eric Potratz:
A practical comparison between Java and Ada in implementing a real-time embedded system. 71-83
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.