Proceedings ACM SIGAda Annual International Conference (SIGAda 2001)
SIGAda, 2001.

@proceedings{SIGAda-2001,
	address       = "Bloomington, Minnesota, USA",
	publisher     = "{ACM}",
	title         = "{Proceedings ACM SIGAda Annual International Conference (SIGAda 2001)}",
	year          = 2001,
}

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

Contents (20 items)

11 ×#ada
4 ×#using
3 ×#architecture
2 ×#case study
2 ×#development
2 ×#experience

SIGAda-2001-Dewar #ada #development

Keynote address: future development of the Ada language (RD), pp. 1–2.

SIGAda-2001-Amey

A language for systems not just software (PA), pp. 3–11.

SIGAda-2001-BrosgolD #ada #convergence #realtime

Real-time convergence of Ada and Java™ (BMB, BD), pp. 11–26.

SIGAda-2001-Barkstrom #ada

Ada 95 bindings for the NCSA hierarchical data format (BRB), pp. 27–30.

SIGAda-2001-Santhanam #automation #certification #testing

Automating software module testing for FAA certification (US), pp. 31–38.

SIGAda-2001-SherrillAH #ada #architecture #implementation #product line

Implementing a product line-based architecture in Ada (JS, JA, GH), pp. 39–46.

SIGAda-2001-KallbergS #architecture #evolution

Ship system 2000, a stable architecture under continuous evolution (BK, RS), pp. 47–52.

SIGAda-2001-Fassbender #ada #information management #re-engineering #uml #using

Reengineering an Ada95-programmed command and control information system by using UML (HF), pp. 53–60.

SIGAda-2001-EhresmanF

Electronic maneuvering board and dead reckoning tracer decision aid for the officer of the deck (KLE, JLF), pp. 61–70.

SIGAda-2001-Carlisle #ada

Keynote address: confessions of an academic Ada zealot (MCC), pp. 71–72.

SIGAda-2001-FaginME #ada #education #using

Teaching computer science with robotics using Ada/Mindstorms 2.0 (BSF, LDM, TWE), pp. 73–78.

SIGAda-2001-Taft #ada #compilation #using

Using Ada 95 in a compiler course (STT), pp. 79–80.

SIGAda-2001-LaskiSP #database #query

Beyond ASIS: program data bases and tool-oriented queries (JWL, WS, PP), pp. 81–90.

SIGAda-2001-Gantsou #ada #communication #distributed #multi #network #simulation

Targeting Ada95/DSA for distributed simulation of multiprotocol communication networks (DG), pp. 91–96.

SIGAda-2001-Taft01a

Keynote address: fixing software before it breaks (STT), pp. 97–98.

SIGAda-2001-WhiteW #ada #dynamic analysis

Dynamic analysis for locating product features in Ada code (LJW, NW), pp. 99–106.

SIGAda-2001-ChenBY #adaptation #algorithm #detection #using

Detecting concurrently executed pairs of statements using an adapted MHP algorithm (ZC, BX, HY), pp. 107–114.

SIGAda-2001-PritchettW #case study #experience

Vetronics technology testbed: experience report (WP, BW), pp. 115–116.

SIGAda-2001-Pritchett #ada #metric #object-oriented

An object-oriented metrics suite for Ada 95 (WWP), pp. 117–126.

SIGAda-2001-Edgerton #architecture #case study #development #experience

Experience report: architecture-based software development on the Crusader program (SE), pp. 127–128.