SIGAda 1998:
Washington,
DC,
USA
SIGAda '98. Proceedings of the ACM SIGAda Annual International Conference on Ada Technology,
November 8-12,
1998,
Washington,
DC,
USA. ACM
- 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
Copyright © Sat May 16 23:37:55 2009
by Michael Ley (ley@uni-trier.de)