CIS 788I12: Software Components Using Ada

CIS788I12:
Software Components Using Ada

Description

Introduction to Ada, abstract data types, generic packages; RESOLVE/Ada discipline for designing and implementing reusable software components; significant laboratory work and active student participation expected.

Level and Credits

UG 3 (three 48-minute lectures)

Prerequisites

CIS 680

Quarters Offered

Sporadic; typically every other year

General Information, Exclusions, etc.

None

Objectives

Mastery of the most important features of a significant sequential subset of Ada, especially generic packages;
Mastery of the RESOLVE/Ada discipline: a set of specific engineering principles for design and implementation of reusable software components in Ada;
Mastery of several specific software components used in lab assignments;
Familiarity with the rationale for the RESOLVE/Ada discipline and its relationship to traditional Ada programming and to other proposed Ada disciplines .

Texts

[W94] Weide, B.W., ed., Software Components Using Ada, OSU Reprographics, 1994.

Topics

Number of Weeks	Topics	Readings
1	Overview of Ada; CIS Ada system	[W94], parts 1 and 2
1	RESOLVE specifications; RESOLVE-to-Ada mapping; terminology	[W94], part 3, chapter 1
1	Principles for clients	[W94], part 3, chapter 2 (2.1, 2.2)
1	Principles for concept designers	[W94], part 3, chapter 2 (2.1, 2.2)
1	Principles for implementers	[W94], part 3, chapter 2 (2.3, 2.4)
1	Modular testing and debugging	[W94], part 3, chapter 3
1	Partial instantiation; bootstrapping from "raw" Ada	[W94], part 3, chapter 4 (4.1, 4.2)
1	Abstract treatment of pointers	[W94], part 3, chapter 4 (4.3)
1	Storage management issues	[W94], part 3, chapter 5
1	Research issues	Handout

Grading Plan

Homeworks	5%
Lab Assignments	70%
Class Participation	5%
Midterm Exam	10%
Final Exam	10%

CIS788I12: Software Components Using Ada