Proceedings of the ACM SIGAda Annual International Conference on Ada Technology
SIGAda, 1998.

@proceedings{SIGAda-1998,
	address       = "Washington, DC, USA",
	publisher     = "{ACM}",
	title         = "{Proceedings of the ACM SIGAda Annual International Conference on Ada Technology}",
	year          = 1998,
}

Event page: http://www.sigada.org/conf/sa98/

Contents (37 items)

24 ×#ada
7 ×#using
4 ×#design
4 ×#distributed
3 ×#algorithm
3 ×#java
2 ×#analysis
2 ×#animation
2 ×#comparison
2 ×#concurrent

SIGAda-1998-DobbingB #realtime #source code

The Ravenscar Tasking Profile for High Integrity Real-Time Programs (BD, AB), pp. 1–6.

SIGAda-1998-MichellSW #safety #security

Looking into Safety with the Safety and Security Rapporteur Group (SM, MS, BAW), pp. 7–11.

SIGAda-1998-PritchettR #static analysis

An ASIS-Based Static Analysis Tool for High-Integrity Systems (WWPI, JDR), pp. 12–17.

SIGAda-1998-MillsP #ada #analysis #co-evolution #design #hardware #migration

Hardware/Software Co-Design: VHDL and Ada 95 Code Migration and Integrated Analysis (MM, GP), pp. 18–27.

SIGAda-1998-WongL #ada #design #hardware #kernel

Kernel Ada to Unify Hardware and Software Design (SW, GL), pp. 28–38.

SIGAda-1998-James #ada #data flow #distributed #evolution #using

The Evolution of a Distributed dataflow Processing Model Using Ada (SJ), pp. 39–44.

SIGAda-1998-TardieuP #distributed #fault tolerance #multi #using

Building Fault Tolerant Distributed Systems Using IP Multicast (ST, LP), pp. 45–51.

SIGAda-1998-PinhoV #ada #architecture #fault tolerance #multi #named #realtime

Multi-μ: An Ada 95 Based Architecture for Fault Tolerance Support of Real-Time Systems (LMP, FV), pp. 52–60.

SIGAda-1998-ChamillardLY #ada #using

Using Ada in Non-CS Majors (ATC, RJL, RRY), pp. 61–67.

SIGAda-1998-JarcF #ada #algorithm #animation #data type #empirical

An Empirical Study of Web-Based algorithm Animation Courseware in an Ada Data Structure Course (DJJ, MBF), pp. 68–74.

SIGAda-1998-MurtaghH #ada #comparison #pascal

A Comparison of Ada and Pascal in an Introductory Computer Science Course (JLM, JAHJ), pp. 75–80.

SIGAda-1998-FleenerMS #lightweight #reuse

A Reusable Lightweight Executive for Command and Control Systems (NF, LM, MS), pp. 81–88.

SIGAda-1998-Duncan #ada #data type #infinity #library #reuse

Reusable Ada Libraries Supporting Infinite Data Structures (AGD), pp. 89–103.

SIGAda-1998-ReisnerLPS #ada #algorithm #implementation #self

Implementing a Culling and Self-Intersection Algorithm for Stereolithography Files in Ada 95 (JAR, ZL, TJP, SAD), pp. 104–113.

SIGAda-1998-LeifL #ada #embedded

Ada in Embedded Boards for Scientific and Medical Instruments (RCL, SBL), pp. 114–120.

SIGAda-1998-WoodruffA #ada #distributed #research #scalability #using

A Large Distributed Control System Using Ada in Fusion Research (JPW, PJVA), pp. 121–131.

SIGAda-1998-AlbertiniB #ada #communication

Ada in an On-Board Military Communication System (VDA, CJB), pp. 132–136.

SIGAda-1998-HopperBHH #ada #simulation #using

Use of Ada in Digital Radar Landmass Simulation (DRLMS) (JH, JDB, HH, TH), pp. 137–139.

SIGAda-1998-Frisberg #ada

Usage of Ada in the Gripen Flight Control System (BF), pp. 140–141.

SIGAda-1998-BarkatakiHD #design pattern #legacy #object-oriented #re-engineering #using

Reengineering a Legacy System Using Design Patterns and Ada-95 Object-Oriented Features (SB, SH, TD), pp. 148–152.

SIGAda-1998-HendrixCBM #abstraction #ada #incremental #refinement #visual notation

Visual Support for Incremental Abstraction and Refinement in Ada 95 (TDH, JHCI, LAB, KSM), pp. 152–157.

SIGAda-1998-CarlisleM #agile #design #named #user interface

RAPID: A Free, Portable GUI Design Tool (MCC, PM), pp. 158–164.

SIGAda-1998-Wainwright #ada #component

An Application Engineering Workbench for Tailoring Ada Flight Components (RHW), pp. 165–174.

SIGAda-1998-Brosgol #ada #comparison #concurrent #java

A Comparison of the Concurrency Features of Ada 95 and Java (BMB), pp. 175–192.

SIGAda-1998-Flint #ada #api #compilation #java #using

Using Java APIs with Native Ada Compilers (SF), pp. 193–203.

SIGAda-1998-TzruyaB #distributed #implementation #java

A Portable Implementation of the Distributed Systems Annex in Java (YT, MBA), pp. 204–211.

SIGAda-1998-DousetteDJ #using #web

Command and Control Using World Wide Web Technology (PJD, AD, MJ), pp. 212–214.

SIGAda-1998-Kamrad #ada #case study #experience

Ada experience report for BlazeNet, Inc. (JMKI), pp. 215–216.

SIGAda-1998-Crawford #algorithm #animation

Algorithm Animation with Symbol Processing Robots (BSC), pp. 217–218.

SIGAda-1998-Silberberg #ada #process

Applying the Personal Software Process (PSP) with Ada (DS), pp. 219–228.

SIGAda-1998-KiddleW

Extensible Protected Types (OPK, AJW), pp. 229–239.

SIGAda-1998-LiBY #ada

Transforming Ada Serving Tasks into Protected Objects (BL, BX, HY), pp. 240–245.

SIGAda-1998-KaislerF #ada #concurrent #design #object-oriented

Object-Oriented and Concurrent Program Design Issues in Ada 95 (SHK, MBF), pp. 246–254.

SIGAda-1998-HoffmanNS #ada #testing

Testing Generic Ada Packages with APE (DH, JN, PAS), pp. 255–262.

SIGAda-1998-LaskiSH #ada #analysis #dependence #source code

Dependency Analysis of Ada Programs (JWL, WS, JH), pp. 263–275.

SIGAda-1998-PlintaDS #code generation #specification #validation

A Specification and Code Generation Tool for Message Translation and Validation (CP, RD, RVS), pp. 276–286.

SIGAda-1998-MacosM

The Rendezvous is Dead — Long Live the Protected Object (DM, FM), pp. 287–293.