Mundie, David A.; Fisher, David A.

doi: N/Apmid: N/A

Mundie, David A.; Fisher, David A.

doi: N/Apmid: N/A

Solderitsch, James

doi: 10.1145/112630.112631pmid: N/A

Latour, Larry; Wheeler, Tom; Frakes, Bill

doi: 10.1145/112630.112632pmid: N/A

Taft, Tucker

doi: 10.1145/112630.112633pmid: N/A

Micallef, Josephine; Kaiser, Gail E.; Perry, Dewayne E.

doi: 10.1145/112630.112634pmid: N/A

Mundie, David

doi: 10.1145/112630.112635pmid: N/A

Penedo, Maria H.

doi: 10.1145/112630.112636pmid: N/A

Micallef, Josephine; Kaiser, Gail E.

doi: 10.1145/112630.112637pmid: N/A

The M ERCURY system generates multi-user language-based environments from attribute grammars. The AG specifies the interface checking among modular units, to be applied by the environment to inform programmers of errors introduced by interface changes. Since AGs assume a monolithic program, we extended the formalism to support separate compilation units. Our previous work was based on an ideal language where programs consist of an unordered set of monolithic compilation units. We now augment our extensions to support Ada, to allow multiple kinds of compilation units and nested compilation units. We describe how these extensions are used to detect naming errors, determine compilation unit context, and check compilation order as mandated by Ada.

Matthews, Ed; Burns, Greg

doi: 10.1145/112630.112638pmid: N/A

During the 1980's, the United States Department of Defense developed the Ada language to combat the growing "software crisis," while software companies developed Computer-Aided Software Engineering (CASE) tools to enhance software development productivity. Ada and CASE are beginning to merge, but the disjoined solutions offered by individual CASE vendors to this point are lacking in two key areas: (1) exploitation of program information available as a by-product of compiling an Ada program; and (2) integration of individual tools to produce synergistic benefits over a broader range of the software development cycle.To remedy these shortcomings, Verdix Corporation has begun development of an Integrated Ada Programming Support Environment, VADS APSE. VADS APSE represents a significant departure from previous APSE development efforts in that it is built on an environment framework from commercially available software and it exploits the capabilities of powerful, low-cost, networked engineering workstations. While VADS APSE represents an instance of an environment built upon a framework, it also represents, through extensions to the underlying framework, an Ada-specific environment framework that can be tailored to meet the needs of a specific software development activity.