default search action

combined dblp search
author search
venue search
publication search

ask others

SIGAda 2003: San Diego, CA, USA

> Home > Conferences and Workshops > SIGAda

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/sigada/2003
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/2003
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
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/HumphriesCW03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/HumphriesCW03
Jeffrey W. Humphries, Martin C. Carlisle, Terry A. Wilson:
Multilanguage programming with ada in the .Net environment. 1-3
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/AmeyC03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/AmeyC03
Peter Amey, Roderick Chapman:
Static verification and extreme programming. 4-9
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/SwardC03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/SwardC03
Ricky E. Sward, A. T. Chamillard:
AdaSlicer: an Ada program slicer. 10-16
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/EvangelistaKPR03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/EvangelistaKPR03
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
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/Gantsou03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/Gantsou03
Dhavy Gantsou:
A DSA model for data access in self-organizing systems. 25-28
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/AllaertCW03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/AllaertCW03
Gaetan Allaert, Dirk Craeynest, Philippe Waroquiers:
European air traffic flow management: porting a large application to GNU/linux. 29-37
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/Rosen03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/Rosen03
Jean-Pierre Rosen:
Experiences in developing a typical web/database application. 38-48
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/MarcoF03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/MarcoF03
Jordi Marco, Xavier Franch:
A framework for designing and implementing the Ada standard container library. 49-61
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/XuCZ03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/XuCZ03
Baowen Xu, Zhenqiang Chen, Jianjun Zhao:
Measuring cohesion of packages in Ada95. 62-67
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/SwardCFG03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/SwardCFG03
Ricky E. Sward, Martin C. Carlisle, Barry S. Fagin, David S. Gibson:
The case for Ada at the USAF academy. 68-70
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/Potratz03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/Potratz03
Eric Potratz:
A practical comparison between Java and Ada in implementing a real-time embedded system. 71-83

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.