SIGAda 1998: Washington, DC, USA

• Brian Dobbing, Alan Burns:
  The Ravenscar Tasking Profile for High Integrity Real-Time Programs. 1-6
  Electronic Edition (ACM DL) BibTeX
• Stephen Michell, Mark Saaltink, Brian A. Wichmann:
  Looking into Safety with the Safety and Security Rapporteur Group. 7-11
  Electronic Edition (ACM DL) BibTeX
• William W. Pritchett IV, John D. Riley:
  An ASIS-Based Static Analysis Tool for High-Integrity Systems. 12-17
  Electronic Edition (ACM DL) BibTeX
• Mike Mills, Greg Peterson:
  Hardware/Software Co-Design: VHDL and Ada 95 Code Migration and Integrated Analysis. 18-27
  Electronic Edition (ACM DL) BibTeX
• Sy Wong, Gertrude Levine:
  Kernel Ada to Unify Hardware and Software Design. 28-38
  Electronic Edition (ACM DL) BibTeX
• Scott James:
  The Evolution of a Distributed dataflow Processing Model Using Ada. 39-44
  Electronic Edition (ACM DL) BibTeX
• Samuel Tardieu, Laurent Pautet:
  Building Fault Tolerant Distributed Systems Using IP Multicast. 45-51
  Electronic Edition (ACM DL) BibTeX
• Luís Miguel Pinho, Francisco Vasques:
  Multi-µ: An Ada 95 Based Architecture for Fault Tolerance Support of Real-Time Systems. 52-60
  Electronic Edition (ACM DL) BibTeX
• A. T. Chamillard, Ronald J. Lisowski, Richard R. Young:
  Using Ada in Non-CS Majors. 61-67
  Electronic Edition (ACM DL) BibTeX
• Duane J. Jarc, Michael B. Feldman:
  An Empirical Study of Web-Based algorithm Animation Courseware in an Ada Data Structure Course. 68-74
  Electronic Edition (ACM DL) BibTeX
• Jeanne L. Murtagh, John A. Hamilton Jr.:
  A Comparison of Ada and Pascal in an Introductory Computer Science Course. 75-80
  Electronic Edition (ACM DL) BibTeX
• Nathan Fleener, Laura Moody, Mary Stewart:
  A Reusable Lightweight Executive for Command and Control Systems. 81-88
  Electronic Edition (ACM DL) BibTeX
• Arthur G. Duncan:
  Reusable Ada Libraries Supporting Infinite Data Structures. 89-103
  Electronic Edition (ACM DL) BibTeX
• John A. Reisner, Zeenat Lainwala, Thomas J. Peters, Steven A. Demurjian:
  Implementing a Culling and Self-Intersection Algorithm for Stereolithography Files in Ada 95. 104-113
  Electronic Edition (ACM DL) BibTeX
• Robert C. Leif, Suzanne B. Leif:
  Ada in Embedded Boards for Scientific and Medical Instruments. 114-120
  Electronic Edition (ACM DL) BibTeX
• John P. Woodruff, Paul J. Van Arsdall:
  A Large Distributed Control System Using Ada in Fusion Research. 121-131
  Electronic Edition (ACM DL) BibTeX
• Victor D. Albertini, Craig J. Berrett:
  Ada in an On-Board Military Communication System. 132-136
  Electronic Edition (ACM DL) BibTeX
• Jim Hopper, Jennifer De Bilbiss, Harry Heaton, Tom Haberlandt:
  Use of Ada in Digital Radar Landmass Simulation (DRLMS). 137-139
  Electronic Edition (ACM DL) BibTeX
• Bo Frisberg:
  Usage of Ada in the Gripen Flight Control System. 140-141
  Electronic Edition (ACM DL) BibTeX
• Shan Barkataki, Stuart Harte, Tong Dinh:
  Reengineering a Legacy System Using Design Patterns and Ada-95 Object-Oriented Features. 148-152
  Electronic Edition (ACM DL) BibTeX
• T. Dean Hendrix, James H. Cross II, Larry A. Barowski, Karl S. Mathias:
  Visual Support for Incremental Abstraction and Refinement in Ada 95. 152-157
  Electronic Edition (ACM DL) BibTeX
• Martin C. Carlisle, Patrick Maes:
  RAPID: A Free, Portable GUI Design Tool. 158-164
  Electronic Edition (ACM DL) BibTeX
• Ross H. Wainwright:
  An Application Engineering Workbench for Tailoring Ada Flight Components. 165-174
  Electronic Edition (ACM DL) BibTeX
• Benjamin M. Brosgol:
  A Comparison of the Concurrency Features of Ada 95 and Java. 175-192
  Electronic Edition (ACM DL) BibTeX
• Shayne Flint:
  Using Java APIs with Native Ada Compilers. 193-203
  Electronic Edition (ACM DL) BibTeX
• Yoav Tzruya, Mordechai Ben-Ari:
  A Portable Implementation of the Distributed Systems Annex in Java. 204-211
  Electronic Edition (ACM DL) BibTeX
• Patricia J. Dousette, Ari Danesh, Matthew Jones:
  Command and Control Using World Wide Web Technology. 212-214
  Electronic Edition (ACM DL) BibTeX
• J. Michael Kamrad II:
  Ada experience report for BlazeNet, Inc.. 215-216
  Electronic Edition (ACM DL) BibTeX
• Brad S. Crawford:
  Algorithm Animation with Symbol Processing Robots. 217-218
  Electronic Edition (ACM DL) BibTeX
• David Silberberg:
  Applying the Personal Software Process (PSP) with Ada. 219-228
  Electronic Edition (ACM DL) BibTeX
• O. P. Kiddle, Andy J. Wellings:
  Extensible Protected Types. 229-239
  Electronic Edition (ACM DL) BibTeX
• Bangqing Li, Baowen Xu, Huiming Yu:
  Transforming Ada Serving Tasks into Protected Objects. 240-245
  Electronic Edition (ACM DL) BibTeX
• Stephen H. Kaisler, Michael B. Feldman:
  Object-Oriented and Concurrent Program Design Issues in Ada 95. 246-254
  Electronic Edition (ACM DL) BibTeX
• Daniel Hoffman, Jayakrishnan Nair, Paul A. Strooper:
  Testing Generic Ada Packages with APE. 255-262
  Electronic Edition (ACM DL) BibTeX
• Janusz W. Laski, William Stanley, Jim Hurst:
  Dependency Analysis of Ada Programs. 263-275
  Electronic Edition (ACM DL) BibTeX
• Charles Plinta, Richard D'Ippolito, Roger Van Scoy:
  A Specification and Code Generation Tool for Message Translation and Validation. 276-286
  Electronic Edition (ACM DL) BibTeX
• Dragan Macos, Frank Mueller:
  The Rendezvous is Dead - Long Live the Protected Object. 287-293
  Electronic Edition (ACM DL) BibTeX