SIGAda 2001: Bloomington, MN, USA

Plenary session

• Robert Dewar:
  Keynote address: future development of the Ada language. 1-2
  Electronic Edition (ACM DL) BibTeX

Plenary track

• Peter Amey:
  A language for systems not just software. 3-11
  Electronic Edition (ACM DL) BibTeX
• Benjamin M. Brosgol, Brian Dobbing:
  Real-time convergence of Ada and Java™. 11-26
  Electronic Edition (ACM DL) BibTeX

Parallel tracks - track 1

• Bruce R. Barkstrom:
  Ada 95 bindings for the NCSA hierarchical data format. 27-30
  Electronic Edition (ACM DL) BibTeX
• Usha Santhanam:
  Automating software module testing for FAA certification. 31-38
  Electronic Edition (ACM DL) BibTeX

Parallel tracks - track 2

• Joel Sherrill, Jennifer Averett, Glenn Humphrey:
  Implementing a product line-based architecture in Ada. 39-46
  Electronic Edition (ACM DL) BibTeX
• Björn Källberg, Rei Stråhle:
  Ship system 2000, a stable architecture under continuous evolution. 47-52
  Electronic Edition (ACM DL) BibTeX

Plenary track

• Heinz Faßbender:
  Reengineering an Ada95-programmed command and control information system by using UML. 53-60
  Electronic Edition (ACM DL) BibTeX
• Kenneth L. Ehresman, Joey L. Frantzen:
  Electronic maneuvering board and dead reckoning tracer decision aid for the officer of the deck. 61-70
  Electronic Edition (ACM DL) BibTeX

Plenary session

• Martin C. Carlisle:
  Keynote address: confessions of an academic Ada zealot. 71-72
  Electronic Edition (ACM DL) BibTeX

Parallel tracks - track 1

• Barry S. Fagin, Laurence D. Merkle, Thomas W. Eggers:
  Teaching computer science with robotics using Ada/Mindstorms 2.0. 73-78
  Electronic Edition (ACM DL) BibTeX
• S. Tucker Taft:
  Using Ada 95 in a compiler course. 79-80
  Electronic Edition (ACM DL) BibTeX

Parallel tracks - track 2

• Janusz W. Laski, William Stanley, Pawel Podgorski:
  Beyond ASIS: program data bases and tool-oriented queries. 81-90
  Electronic Edition (ACM DL) BibTeX
• Dhavy Gantsou:
  Targeting Ada95/DSA for distributed simulation of multiprotocol communication networks. 91-96
  Electronic Edition (ACM DL) BibTeX

Plenary session

• S. Tucker Taft:
  Keynote address: fixing software before it breaks. 97-98
  Electronic Edition (ACM DL) BibTeX

Parallel tracks - track 1

• Laura J. White, Norman Wilde:
  Dynamic analysis for locating product features in Ada code. 99-106
  Electronic Edition (ACM DL) BibTeX
• Zhengqiang Chen, Baowen Xu, Huiming Yu:
  Detecting concurrently executed pairs of statements using an adapted MHP algorithm. 107-114
  Electronic Edition (ACM DL) BibTeX

Parallel tracks - track 2

• William Pritchett, Brian Wood:
  Vetronics technology testbed: experience report. 115-116
  Electronic Edition (ACM DL) BibTeX
• William W. Pritchett:
  An object-oriented metrics suite for Ada 95. 117-126
  Electronic Edition (ACM DL) BibTeX

Plenary session

• Scott Edgerton:
  Experience report: architecture-based software development on the Crusader program. 127-128
  Electronic Edition (ACM DL) BibTeX

Plenary session

• Erhard Plödereder:
  Panel: the making of ISO/IEC 8652: Ada 2005. 129-130
  Electronic Edition (ACM DL) BibTeX