WorldCat Identities

Hook, Audrey A.

Overview
Works: 19 works in 20 publications in 1 language and 20 library holdings
Publication Timeline
.
Most widely held works by Audrey A Hook
Sources of Compiler Capability Information in Validation Summary Reports( Book )

2 editions published in 1988 in English and held by 2 WorldCat member libraries worldwide

This report is intended for use by the Ada Joint Program office staff concerned with providing guidance to the DoD Program Managers on the use of (Validation Summary Report) VSRs as an information resource. The results of the formal validation of Ada compilers are documented in VSRs which are available through the National Technical Information Service (NTIS) to the public. The format and content of the VSR has been revised periodically to improve the presentation of data and to add substantive information concerning the testing procedures, configurations tested and testing results. The VSR is reviewed as a source of information on the capability of compilers that could be useful to a prospective buyer and user of an Ada computer language. Keywords: Ada programming language; Compilers, Validation Summary Report (VSR), Validation, Ada Compiler Validation Capability (ACVC), Ada Validation Facility (AVF), ACVC Test suite, Implementation. (jes)
Defense Logistics Agency Data System Center Forms Management System (FMS)( Book )

1 edition published in 1987 in English and held by 1 WorldCat member library worldwide

IDA Memorandum Report M-366 is a design specification for a general purpose forms management system (FMS) to be used at the Defense Logistics Agency (DLA) Systems Automation Center (SDAC). The design specification has been written in Ada to demonstrate the use of Ada in applications design and to provide a modular language that can be partially implemented if desired. The functional requirements reflect IDA's understanding that can be partially implemented if desired. The functional requirements reflect IDA's understanding of how terminal displays are used in several of the DLA systems. The Forms Management System (FMS) is required to operate on VT-100 and IBM 3270 terminals and IBM PC-compatible workstations
Commercial Market Potentials for the Use of the Ada (Trademark) Programming Language( Book )

1 edition published in 1985 in English and held by 1 WorldCat member library worldwide

This report is based upon research on the use of the Ada language in the commercial community. The formal interview process took place during a seven month period from October 1984 to April 1985. The objective of the study was to investigate and describe areas of commercial Ada use in an effort to encourage better informed investments in the development and implementation of Ada products by the commercial community
Availability of Ada and C++ Compilers, Tools, Education and Training( Book )

1 edition published in 1991 in English and held by 1 WorldCat member library worldwide

The DoD is in the process of gathering information on the status of market offerings for software engineering environments. This paper identifies and analyzes (1) compiler and computer-aided software engineering (CASE) tools that support the software engineering process for applications written in the Ada and C++ programming languages, and (2) associated training and education available for each language. The primary focus was on business systems; application domains such as artificial intelligence, computer-aided design/ computer-aided manufacturing, and embedded systems were excluded. Only commercial-off-the-shelf (COTS) products from U.S. vendors were considered. The data provided will be used by the DoD in the development of a business case to determine whether any waivers to the Ada requirement for business systems may be warranted
Ada Validation Testing Tools Evaluation( Book )

1 edition published in 1989 in English and held by 1 WorldCat member library worldwide

IDA Document D-590, Ada Validation Testing Tools Evaluation, presents the results of an Institute for Defense Analyses (IDA) evaluation of the Ada Compiler Validation Capability (ACVC) Tailoring Tool and the Computer-Assisted Ada Validation Tool (CAV). This document will be used as a guide to initiate enhancements to the validation tools that were evaluated (ACVC and CAV). It is directed towards the Ada Validation Facility (AVF) and the Ada Joint Program Office (AJPO) staff members
Assessment of the Ada (Trade Name) Validation Process( Book )

1 edition published in 1985 in English and held by 1 WorldCat member library worldwide

This memorandum report is based on analyses of working papers, contact reports, ARPANET messages, and other records maintained by IDA as required to perform the assessment of the validation process as required by the Ada Joint Program Office (AJPO). The time frame of the assessment was from November 1984 through December 1985. The role of IDA is to adjudicate procedural and technical issues, interpret existing policies, and to retain an objective viewpoint concerning the issues and alternatives for their resolution. Recommendations are made which can improve the validation process
User's Manual for the Prototype Ada (Trademark) Compiler Evaluation Capability (ACEC). Version 1( Book )

1 edition published in 1985 in English and held by 1 WorldCat member library worldwide

The purpose of the Prototype Ada Compiler Evaluation Capability (ACEC) is to provide users with 1) an organized suite of compiler performance tests, and 2) support software for executing these tests and collecting performance statistics. These performance tests were collected by the Ada Evaluation and Validation (E & V) Team from several sources. The test programs, which have been in the public domain for some time, have been organized as a test suite according to categories which are explained in Section II. The strategy for measuring test performance and obtaining differential statistics is described in Section III. Section IV describes the entire support software architecture, including machine-dependent modules. General instructions for executing the Prototype ACEC are provided in Section V
Level 1 Ada/SQL (Structured Query Language) Database Language Interface User's Guide( Book )

1 edition published in 1987 in English and held by 1 WorldCat member library worldwide

The purpose of this IDA Memorandum Report is to present a binding specification between the programming language Ada and the database language SQL(Structured Query Language). This document will be used to provide a capability for accessing a relational database from the Ada language and will provide a cross reference between the Ada/SQL language and the SQL language. As a user's guide, M-360 addresses the functionality of the ANSI SQL standard and identifies a subset implementation of it as Level 1. A Level 1 implementation was delivered to the DLA for use with a database package that is intended for regional administrative systems. An Ada application prototype will be implemented to demonstrate software engineering using Ada in the environmental provided for these regional administrative systems. In addition, an IDA Memorandum Report M-361 has been published as a companion document which provides the source listings for the demonstration software that implements this Level 1 version of Ada/SQL
The Status of Verification Technology for the Ada (Trademark) Language( Book )

1 edition published in 1985 in English and held by 1 WorldCat member library worldwide

This report provides a detailed research and development plan for the development and deployment of an Ada verification capability. The background, history, and goals of both Ada and verification are discussed. Specific recommendations for integrating verification technology in the software development process (particularly with Ada) are presented. The necessary research items to be pursued in support of the goals are also presented. This report consists of two major sections - the text and supporting appendices and references. The appendices generally describe efforts being undertaken in various areas and are annotated with status and points of contact for further information
Export Control of the Ada (Trade Name) Compiler Validation Capability (ACVC)( Book )

1 edition published in 1987 in English and held by 1 WorldCat member library worldwide

This IDA Memorandum Report provides the Ada Joint Program Office with a rationale for developing an Ada Program position on export control for the Ada Compiler Validation Capability. The Institute for Defense Analyses is providing the Ada Joint Program Office with the information needed to develop such a policy. Discussed are the general license classification, general distribution requirements, and the requirements for an individual validated license
Cost Effectiveness Tradeoffs in Computer Standardization and Technology Insertion( Book )

1 edition published in 1986 in English and held by 1 WorldCat member library worldwide

This document reports on the feasibility of developing a decision support tool that could aid decision makers in formulating policies for the use of software standards and strategies for technology insertion. During the first phase (1983-1984) a white paper was completed which provided a conceptual framework for examining the role of standards in the MCCR acquisition process. During the second phase (1985-1986), this conceptual framework was translated into a prototype decision support tool. This tool provided the ability to simulate the effect of selected standardization policies on related technology and Mission Critical Computer Resources (MCCR) costs, thus demonstrating the feasibility of modeling the linkages among DoD, standards policies, industry, technology and MCCR costs. The first scenario simulated the role of the current policy for the use of Ada as the only higher order language for the development of MCCR software. The other two scenarios examined cost effective strategies for inserting Ada and its related software engineering environments into the MCCR software production and maintenance process. The findings from these simulations indicate that certain strategies/policies concerning the utilization of Ada have a powerful influence on MCCR software costs
Merging the Ada Compiler Evaluation Capability (ACEC) and the Ada Evaluation System (AES)( Book )

1 edition published in 1989 in English and held by 1 WorldCat member library worldwide

This IDA Paper documents the results of a special analysis requested by the Ada Joint Program Office. The purpose of this analysis was to determine the feasibility and desirability of merging two separately developed software systems which can be used to expose compiler performance characteristics. The two systems were the Ada Compiler Evaluation Capability (ACEC) and the Ada Evaluation System (AES). The study itself consisted primarily of reviewing documents related to each system. In addition, it was necessary to load both systems and inspect test cases to determine the degree of overlap
Ada Validation Workload( Book )

1 edition published in 1988 in English and held by 1 WorldCat member library worldwide

IDA Memorandum Report M-376, Ada Validation Workload, provides the Ada Joint Program Office (AJPO) with an analysis of the validation workload for Ada compilers and the problems surrounding the annual expiration of an Ada Compiler Validation Capability (ACVC) version. This document is intended for those individuals in the AJPO who develop the policy and procedures that govern the validation process. It focuses on the Ada Validation Facilities' (AVFs) workload associated with validations under the ACVC version 1.8. A projection of workload growth has been excluded from this analysis
Example Level 1 Ada/SQL (Structured Query Language) System Software( Book )

1 edition published in 1987 in English and held by 1 WorldCat member library worldwide

IDA Memorandum Report M-361 contains the source code for the demonstration software which implements the specification found in IDA Memorandum Report M-360, Level 1 Ada/SQL Database Language Interface User's Guide. M-361 will be used to provide the actual means of accessing the relational database UNIFY with the Ada language. This software demonstrates an interface between Ada and the database language SQL as implemented by the UNIFY database package. An interface between Ada application programs and the UNIFY database was identified as a necessary capability which must be demonstrated to show that Ada applications can be integrated with the DLA operational environment. This interface implements a subset of the ANSI SQL standard which reflects the current implementation of SQL by the UNIFY. However, this software can be easily upgraded to support an ANSI implementation of SQL when it is acquired by the DLA
Ada Software Portability and Level 2 System Simulator Integration Issues( Book )

1 edition published in 1991 in English and held by 1 WorldCat member library worldwide

IDA Document D-898, Ada Software Portability and Level 2 System Simulator Integration Issues, identifies some of the issues that will affect the time and effort required to integrate Ada software developed for the Level 2 System Simulator (L2SS) of the Strategic Defense System (SDS) for the Strategic Defense Initiative Organization (SDIO) program. This document provides guidelines for managing ADA software integration problems that could occur when applications are developed on Ada implementations that are different from the target computer system where they will execute. The Cray 2/4D computer system, located at the National Test Facility, is the example of an Ada implementation that may be used as the platform for simulations. Three other Ada implementations considered typical software development environments were compared with the Cray 2/4D. The differences among these Ada implementations, as documented in Ada Validation Summary Reports, indicated the nature of portability issues that require resolution early in the software development process. Recommendations from this analysis are to (1) conduct portability analyses throughout the software development process, (2) endorse specific programming standards that have been demonstrated to be effective for both portability and performance, and (3) establish a working group to address compatibility and integration in SDI software development
Strategies and Implementation Architectures for Selected Department of Defense Software Repositories( )

1 edition published in 1995 in English and held by 0 WorldCat member libraries worldwide

This document reviews proposed alternative strategies and implementation architectures for the integration of three DoD software repositories: the Interim IDEF repository for process reengineering, the Defense Data Dictionary System (DDDS) repository for standard data elements, and the Defense Software Reuse system (DSRS) repository for software components. Due to the lack of obtainable information about user requirements, the sponsor asked IDA to make general assumptions; consequently, an evaluation method and model were developed to evaluate alternative combinations of strategy and implementation architectures. The model served as the basis for recommending the re-use integration strategy with a Hypertext Markup Language database implementation architecture. The benefits of this implementation include providing a relatively fast implementation of the integrated repositories and support for a graceful evolution toward actual integration. A plan for a three-phase implementation approach is also given for the evolution to the new user interface and implementation architectures
Ada Compiler Validation Support: Fiscal Year 1992( )

1 edition published in 1992 in English and held by 0 WorldCat member libraries worldwide

This report summarizes the Ada compiler validation issues that had a bearing on policy changes incorporated in a revision of the Ada Compiler Validation procedures produced by the Institute for Defense Analyses, and published by the Ada Joint Program Office (AJPO) in August 1992. These policy changes include: (1) a time-limited (one year) provisional validation status for a compiler vendor who fails a small number (ten or fewer) conformity tests; (2) declaring that version 1.11 is the last version of the conformity test suite for the Ada 83 version of the language; and (3) providing guidelines for the use of an Ada compiler over the life of software development projects. This document also summarizes the nine test disputes resolved during FY92
Ada Compiler Validation Procedures( )

1 edition published in 1989 in English and held by 0 WorldCat member libraries worldwide

The Institute for Defense Analyses (IDA) Document D-568, Ada Compiler Validation Procedures, is a revision of the Ada Validation Procedures and Guidelines, version 1.1 issued by the Ada Joint Program Office (AJPO) in January 1987. A principal objective of the revision was to update the Procedures and Guidelines to reflect the current validation practice and to improve the rules of procedure and management so as to reduce the burden of validation on the certification body and its customers. IDA solicited comments from the Ada Validation Facility (AVF) managers on version 1.1, drafted a first revision for further comments, and produced this final version as a deliverable to the AJPO. This version reflects the current policy of the Department of Defense and other national certification systems (e.g., U.S. Department of Commerce), as well as the collective operational experience of the Ada certification body
A Survey of Computer Programming Languages Currently Used in the Department of Defense( )

1 edition published in 1995 in English and held by 0 WorldCat member libraries worldwide

This study reports on a programming language survey commissioned by the Assistant Secretary of Defense for C3I to determine how many programming languages are being used in the DoD today as compared to 20 years ago when the DoD began development of the Ada language. The sample population for this survey consisted of weapons systems taken from the 1994 Presidential Budget requests for RDT & E programs exceeding $15 million and Procurement budgets exceeding $25 million. The current DoD list of major Automated Information Systems was used as the survey sample for non-weapons systems. The survey found that over 80% of the applications in the sample were written in third generation languages. Moreover, it identified 37 third generation languages in contrast to an estimate of at least 450 general purpose languages and dialects in 1974. In weapons systems modernization, Ada is the most commonly used language
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 1.00 (from 1.00 for Sources of ... to 1.00 for Sources of ...)

Languages
English (20)