| Landslide: Systematic Dynamic Race Detection in Kernel Space |
May 2012 |
89 pages |
| Authors:
Ben Blum; CARNEGIE-MELLON UNIV PITTSBURGH PA SCHOOL OF COMPUTER SCIENCE
|
 | Systematic exploration is an approach to finding race conditions by deterministically executing every possible interleaving of thread transitions and identifying which ones expose bugs. Current systematic exploration techniques are suitable for testing user-space programs, but are inadequate for testing kernels, where the testing framework's control over concurrency is more complicated. We present Landslide, a systematic exploration tool for finding races in kernels. Landslide targets Pebbles, the kernel specification that students ... |
|
| Debugging and Logging Services for Defence Service Oriented Architectures |
Feb 2012 |
31 pages |
| Authors:
Michael Pilling; DEFENCE SCIENCE AND TECHNOLOGY ORGANISATION EDINBURGH (AUSTRALIA) COMMAND CONTROL COMMUNICATIONS AND INTELLIGENCE DIV
|
| While often thought of as a Dark Art, debugging is nevertheless a necessary part of fielding quality computing systems which can and should be done systematically. Service Oriented Architectures (SOAs) show great promise but also represent one of the most challenging environments in which to debug system services. In addition to all the issues of distributed and parallel debugging, SOAs introduce the complexity of significant parts of one's programs being ... |
|
| Concurrent Breakpoints |
18 Dec 2011 |
16 pages |
| Authors:
Chang S Park; Koushik Sen; CALIFORNIA UNIV BERKELEY DEPT OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCE
|
| In program debugging, reproducibility of bugs is a key requirement. Unfortunately, bugs in concurrent programs are notoriously difficult to reproduce compared to their sequential counterparts. This is because bugs due to concurrency happen under very specific thread schedules and the likelihood of taking such corner-case schedules during regular testing is very low. We propose concurrent breakpoints, a light-weight and programmatic way to make a concurrency bug reproducible. We describe a ... |
|
| Hardware Support for Software Debugging |
May 2011 |
31 pages |
| Authors:
Mohammad A Alipour; Benjamin Depew; MICHIGAN TECHNOLOGICAL UNIV HOUGHTON
|
|
| Continuous Improvement of Deployed Software Systems |
28 Feb 2011 |
4 pages |
| Authors:
Ben Liblit; WISCONSIN UNIV-MADISON DEPT OF COMPUTER SCIENCES
|
| We completed development of an adaptive binary instrumentor. We devised a taxonomy of adaptive instrumentation strategies, and a collection of several search heuristics within that taxonomy. Averaged across many applications, our best heuristic finds the top-ranked predictor while exploring only 40% of the program: a significant improvement over the 100% exploration required by prior approaches. Reducing instrumentation overhead has been a key goal of this research. The new instrumentor imposes ... |
|
| Statistical Debugging |
MAR 2008 |
109 pages |
| Authors:
Toriano A. Murphy; NAVAL POSTGRADUATE SCHOOL MONTEREY CA
|
| Software debugging is a time consuming and important step in the development and evolution of software systems. Debugging is a practice that normally gets the least praise but normally requires the most attention and effort. The aim of debugging is to find and reduce the number of faults in a program, thereby making a program behave the way it is expected. Even with the advances that have been made with ... |
|
| Analyzing Memory Accesses in x86 Executables |
2006 |
19 pages |
| Authors:
Gogul Balakrishnan; Thomas Reps; WISCONSIN UNIV-MADISON DEPT OF COMPUTER SCIENCES
|
| This paper concerns static-analysis algorithms for analyzing x86 executables. The aim of the work is to recover intermediate representations that are similar to those that can be created for a program written in a high-level language. Our goal is to perform this task for programs such as plugins, mobile code, worms, and virus-infected code. For such programs, symbol-table and debugging information is either entirely absent, or cannot be relied upon ... |
|
| Visual Debugging of Object-Oriented Systems With the Unified Modeling Language |
MAR 2004 |
142 pages |
| Authors:
Wendell E. Fox; AIR FORCE INST OF TECH WRIGHT-PATTERSON AFB OH SCHOOL OF ENGINEERING AND MANAGEMENT
|
| The Department of Defense (DoD) is developing a Joint Battlespace Infosphere, linking a large number of data sources and user applications. Debugging and analysis tools are required to aid in this process. Debugging of large object-oriented systems is a difficult cognitive process that requires understanding of both the overall and detailed behavior of the application. In addition, many such applications linked through a distributed system add to this complexity. Standard ... |
|
| The Express Project |
OCT 2003 |
|
| Authors:
Robert Laddaga; Olin Shivers; Greg Sullivan; MASSACHUSETTS INST OF TECH CAMBRIDGE
|
 | Military mission-critical software systems must continue to operate effectively in the presence of such failure modes as hardware failures, software bugs, and changes in the external environment. To enable such a capability, this effort proposed a general layered framework (the Dynamic Domain Architecture) for constructing adaptive software systems that can reason about the high-level goals of an application, monitor its fitness, diagnose problems, and reconstruct the application given a particular ... |
|
| Buffer Overrun Detection Using Linear Programming and Static Analysis |
OCT 2003 |
11 pages |
| Authors:
Vinod Ganapathy; Somesh Jha; David Chandler; David Melski; David Vitek; WISCONSIN UNIV-MADISON DEPT OF COMPUTER SCIENCES
|
| This paper addresses the issue of identifying buffer overrun vulnerabilities by statically analyzing C source code. We demonstrate a light-weight analysis based on modeling C string manipulations as a linear program. We also present fast, scalable solvers based on linear programming, and demonstrate techniques to make the program analysis context sensitive. Based on these techniques, we built a prototype and used it to identify several vulnerabilities in popular security critical ... |
|
| The 60 Minute Network Security Guide (First Steps Towards a Secure Network Environment) |
16 OCT 2001 |
36 pages |
| Authors:
NATIONAL SECURITY AGENCY/CENTRAL SECURITY SERVICE FORT GEORGE G MEADE MD
|
| During the last four years the National Security Agency s Systems and Network Attack Center (C4) has released Security Guides for operating systems, applications and systems that operate in the larger IT network. These security guides can be found at our web site www.nsa.gov/ Security Recommendation Guides. Many organizations across the Department of Defense have used these documents to develop new networks and to secure existing IT infrastructures. This latest ... |
|
| URSIM Reference Manual |
25 JUL 1999 |
107 pages |
| Authors:
Lixin Zhang; UTAH UNIV SALT LAKE CITY DEPT OF COMPUTER SCIENCE
|
| This document describes URSIM - the Utah RSIM, URSIM is an execution-driven simulator derived from RSIM (the Rice Simulator for ILP Multiprocessors). As a result, this document is an extended version of the RSIM manual. |
|
| 6TH Quarterly Report, Progress on Year 2000 Conversion |
15 AUG 1998 |
28 pages |
| Authors:
OFFICE OF MANAGEMENT AND BUDGET WASHINGTON DC
|
| This report is the sixth in a series of quarterly summary reports to Congress on the Administration's progress in fixing the year 2000 (Y2K) computer problem in Federal systems. It outlines the continuing work to avert the problems that could occur if systems are not able to correctly process the year 2000. This summarizes data received from the 24 agencies that make up the Federal Chief ... |
|
| Proving Correctness of a Controller Algorithm for the RAID Level 5 System |
MAR 1998 |
14 pages |
| Authors:
Mandana Vaziri; Nancy Lynch; Jeannette M. Wing; CARNEGIE-MELLON UNIV PITTSBURGH PA SCHOOL OF COMPUTER SCIENCE
|
| Most RAID controllers implemented in industry are complicated and difficult to reason about. This complexity has led to software and hardware systems that are difficult to debug and hard to modify. To overcome this problem Courtright and Gibson have developed a rapid prototyping framework for RAID architectures which relies on a generic controller algorithm. The designer of a new architecture needs to specify parts of the generic controller algorithm and ... |
|
| The Year 2000 Problem And Its Impact On The CINC: A Way To Mitigate The Impact |
13 FEB 1998 |
33 pages |
| Authors:
William C. Hoppe; NAVAL WAR COLL NEWPORT RI
|
| There is a problem looming on the horizon. Some automated systems are already being affected, others have yet to reach their event horizon. The problem is categorically lumped into the heading; the Year 2000 Problem. The Y2K problem has generated much interest in commercial and government circles. However, the Y2K problem should be generating similar interest and concern in operational circles as well. Like Murphy's Law, the Y2K problem will ... |
|
| Sharing Year 2000 Testing Information on DOD Information Technology Systems |
12 FEB 1998 |
35 pages |
| Authors:
INSPECTOR GENERAL DEPT OF DEFENSE ARLINGTON VA
|
| The audit objective was to determine whether planning for year 2000 testing is adequate to ensure that mission critical DoD information technology systems will continue to operate properly after the year 2000. Specifically, the audit focused on year 2000 management guidance and testing resources. |
|
| DOD Information Technology Solicitations and Contract Compliance for Year 2000 Requirements |
06 FEB 1998 |
32 pages |
| Authors:
INSPECTOR GENERAL DEPT OF DEFENSE ARLINGTON VA
|
| The audit objective was to determine whether DoD information technology solicitations and contracts comply with Federal Acquisition Regulation section 39.106, Year 2000 Compliance, and to determine whether selected information technology acquisitions are, in fact, Year 2000 compliant. |
|
| Underwater Intelligence Sensor Protection System |
Jan 1998 |
6 pages |
| Authors:
Peter J Stein; Armen Bahlavouni; SCIENTIFIC SOLUTIONS INC HOLLIS NH
|
| The long-term goal is to develop an Underwater Intelligent Sensor Protection System (UISPS) to keep underwater radiometers free of algae growth and other contaminants. UISPS will allow long-term autonomous radiometric measurements (in the order of one year), which are not currently possible. The objectives of this program were the design and assembly of the prototype, perform preliminary testing in laboratory, debug the system as necessary, and perform testing in an ... |
|
| A Geographically Distributed Framework for Embedded System Design and Validation |
1998 |
6 pages |
| Authors:
Ken Hines; Gaetano Borriello; UNIV OF WASHINGTON SEATTLE DEPT OF COMPUTER SCIENCE AND ENGINEERING
|
| The difficulty of embedded stem co-design is increasing rapidly due to the increasing complexity of individual parts, the variety of parts available and pressure to use multiple processors to meet performance criteria. Validation tools should contain several features in order to keep up with this trend, including the ability to dynamically change detail levels, built in protection for intellectual property, and support for gradual migration of functionality from a simulation ... |
|
| Automated Computation of Decomposable Synchronization Conditions |
FEB 1997 |
48 pages |
| Authors:
Gilberto Matos; James Purtilo; Elizabeth White; MARYLAND UNIV COLLEGE PARK INST FOR ADVANCED COMPUTER STUDIES
|
| The most important aspect of concurrent and distributed computation is the interaction between system components. Integration of components into a system requires some synchronization that prevents the components from interacting in ways that may endanger the system users, its correctness or performance. The undesirable interactions are usually described using temporal logic, or safety and liveness assertions. Automated synthesis of synchronization conditions is a portable alternative to the manual design of ... |
|
| Advanced Hard Real-Time Operating System, the Maruti Project. Part 2 |
JAN 1997 |
200 pages |
| Authors:
Ashok K. Agrawala; Satish K. Tripathi; MARYLAND UNIV COLLEGE PARK DEPT OF COMPUTER SCIENCE
|
| System correctness for real time systems relies on both functional and temporal correctness of the system components. In order to allow creation and deployment of critical applications with hard real time constraints in a reactive environment, we have developed the Maruti environment, which consists of the Maruti operating system and runtime environment, and an application development and environment that uses the Maruti Programming Language (MPL), an extension of ANSI C; ... |
|
| Test and Evaluation Year-2000 Team Report |
30 SEP 1996 |
61 pages |
| Authors:
George Hurlburt; NAVAL AIR WARFARE CENTER AIRCRAFT DIV PATUXENT RIVER MD
|
| The Test and Evaluation (T&E) Board of Operating Directors (BoOD) commissioned a T&E Year 2000 Team in March 1996 to assess the vulnerability of the T&E community to Year 2000 problems and their impact within the Department of Defense (DoD) T&E community. These problems are those which will affect computer based systems at or near the transition to the year 2000. These problems can lead ... |
|
| Development of a New Prediction Algorithm and a Simulator for the Predictive Read Cache (PRC) |
SEP 96 |
146 pages |
| Authors:
F. N. Altmisdort; NAVAL POSTGRADUATE SCHOOL MONTEREY CA
|
| Efforts to bridge the cycle-time gap between high-end microprocessors and low-speed main memories have led to a hierarchical approach in memory subsystem design. The predictive read cache (PRC) has been developed as an alternative way to overcome the speed discrepancy without incurring the hardware cost of a second-level cache. Although the PRC can provide an improvement over a memory hierarchy using only a first-level cache, previous studies have shown that ... |
|
| OZONE Distributed Communication Library |
MAR 96 |
|
| Authors:
Ora Lassila; Marcel Becker; CARNEGIE-MELLON UNIV PITTSBURGH PA ROBOTICS INST
|
| This report describes the distributed architecture and distributed programming primitives of the OZONE framework, a toolkit for building planning and scheduling applications. It also serves as a programmers reference manual for those who want to build distributed system components either in the context of OZONE-based scheduling systems or in the context of some entirely new applications. The class library documented in this report has two parts: The first part, implemented ... |
|
| Feasibility Study for a Personal-Computer Based Head-Spine Model |
DEC 95 |
198 pages |
| Authors:
John B. Bomer; David J. Pancratz; Linda J. Rogers; BIODYNAMIC RESEARCH CORP SAN ANTONIO TX
|
| Biodynamic Research Corporation (BRC) of San Antonio, TX, completed an SBIR Phase I project to port the Air Force Head-Spine Model (HSM) to a PC-DOS environment and provide a recommended roadmap for the future of the HSM. The impetus for this project was the Air Forces desire to have a software tool capable of modeling the internal forces and motions of the human head and spine during impulsive acceleration events. ... |
|
| High Performance Hardware and Software for Pattern Recognition and Image Processing |
19 JUN 95 |
6 pages |
| Authors:
Wendell A. Henry; ADAPTIVE SOLUTIONS BEAVERTON OR
|
| Phase 2 Summary: The CNAPS compiler, assembler, application program interface, and Backpropagation Neural Network function library have been ported to the Windows 3.x environment and the CNAPSIPC hardware and integrated with the source-level debugger. The port of the graphical interface for the source-level debugger to Windows 3.x has been completed. These software tools are now in Beta test. Phase 3 Summary: Work has just begun. At the time of this ... |
|
| The Workshop on Principles and Practice of Constraint Programming (2nd) Held in Orcas Island, Washington on 2-4 May 1994 |
04 MAY 94 |
290 pages |
| Authors:
AMERICAN ASSOCIATION FOR ARTIFICIAL INTELLIGENCE MENLO PARK CA
|
|
| Digital Hardware Architecture Implementation |
15 APR 92 |
42 pages |
| Authors:
Lance Cooper; George Paramithas; Max Patin; Stuart Venters; COLSA INC HUNTSVILLE AL
|
| The work documented in this report was performed for U.S. Army Strategic Defense Command Ground Based Radar Project (GBR). COLSA performed extensive analysis of the digital hardware and computer architectures of the data and signal processing equipment. Included in the analysis is a detailed evaluation of critical throughput for highly parallel computer systems. Ground based radar, Benchmarks, Signal processing, Throughput analysis, Parallel computing, Data processing. |
|
| Workshops on Efficient Use of Scientific Computing |
02 AUG 91 |
5 pages |
| Authors:
Ben Noble; J. R. Whiteman; BRUNEL UNIV UXBRIDGE (UNITED KINGDOM) INST OF COMPUTATIONAL MATHEMATICS
|
| Two 2-day workshops were held. These concentrated on MATLAB, which is a high-level computer language for scientific and engineering calculations. It is extremely useful for many exploratory investigations, and for problems that need efficient use of matrices. Some of the advantages of MATLAB over lower- level languages like FORTRAN are: (1) The essentials can be learned very easily - one day; (2) Programs tend to be short, easy to write ... |
|
| Defense Communications Agency Upper Level Protocol Test System Functional Description |
MAY 88 |
|
| Authors:
DEFENSE COMMUNICATIONS ENGINEERING CENTER RESTON VA
|
| This document is part of a software package that provides the capability to conformance test the Department of Defense suite of upper level protocols including: Internet Protocol (IP) Mil-Std 1777, Transmission Control Protocol (TCP) Mil-Std 1778, File Transfer Protocol (FTP) Mil-Std 1780, Simple Mail Transfer Protocol (SMTP) Mil-Std 1781 and TELNET Protocol Mil-Std 1782. The DCA upper level protocol test system (hereafter referred to as the test system) supports the ... |
|
| Automated Structural Optimization System (ASTROS). Volume 2. User's Manual |
07 APR 88 |
|
| Authors:
D. J. Neill; E. H. Johnson; D. L. Herendeen; NORTHROP CORP HAWTHORNE CA AIRCRAFT DIV
|
| The ASTROS (Automated Structural Optimization System) procedure provides a multidisciplinary analysis and design capability for aerospace structures. The engineering analysis capabilities in the system include structural analysis (static and dynamic), aeroelastic analysis (static and dynamic) and automated design. A specifically designed data based and executive system were implemented to maximize the system's efficiency, flexibility, and maintainability. This report is the User's Manual for the ASTROS system. As such, it contains ... |
|
| Supercomputer Environment |
30 OCT 87 |
|
| Authors:
ILLINOIS UNIV AT URBANA
|
| This summary covers goals and first year accomplishments of the Faust project, a research effort to develop a software engineering environment of supercomputer application development. The goal of Faust is to provide a user- friendly workstation of integrated development tools that caters to a broad range of user expertise. Faust comprises individual efforts in the area of user interface tools, expert systems, parallel program debugging, performance evaluation, symbolic processing, error ... |
|
| An Extension to the Multilevel Logic Simulator for Microcomputers |
JUN 87 |
|
| Authors:
Julio C. De Albuquerque; NAVAL POSTGRADUATE SCHOOL MONTEREY CA
|
| One of the most time consuming parts of the design process is the debugging of the project. This happens when simple modifications to a circuit require recompilation of the whole circuit. In the CAD tool currently available for digital systems design, compilation is a bottle neck. The VOHL system has an extremely efficient simulator phase and a reasonable but slower compilation phase. This thesis investigates a mechanism for eliminating the ... |
|
| Case-Based Planning: An Integrated Theory of Planning, Learning and Memory |
OCT 86 |
|
| Authors:
Kristian J. Hammond; YALE UNIV NEW HAVEN CT DEPT OF COMPUTER SCIENCE
|
| This dissertation presents a theory of case-based planning that integrates memory oriented learning with an active planner. Case-based planning requires a machine planner that makes use of its own past experience in developing new plans. A case-based planner relies on memory instead of a base of rules. Memories of past successes are accessed and modified to create new plans. Memories of past failures are used to warn the planner of ... |
|
| Debugging Parallel Programs with Instant Replay |
SEP 86 |
|
| Authors:
Thomas J. LeBlanc; John M. Mellor-Crummey; ROCHESTER UNIV NY DEPT OF COMPUTER SCIENCE
|
| The debugging cycle is the most common methodology for finding and correcting errors in sequential programs. Cyclic debugging is effective because sequential programs are usually deterministic. Debugging parallel programs is considerably more difficult because successive executions of the same program often do not produce the same results. In this paper we present a general solution for reproducing the execution behavior of parallel programs, termed Instant Replay. During program execution we ... |
|
| Intelligent Computer Assisted Instruction (ICAI): Formative Evaluation of Two Systems |
MAR 86 |
356 pages |
| Authors:
JET PROPULSION LAB PASADENA CA
|
| This report reviews major components of an 18 month evaluation of Intelligent Computer Assisted Instruction (ICAI), and emerging field of Artificial Intelligence that draws on computer technologies and cognitive science in an attempt to build more powerful instructional programs. The primary goals of this effort were to develop an increased understanding of the state of the art of ICAI for the purposes of: (a) identifying strategies to enhance the general ... |
|
| Theory Reform caused by an Argumentation Tool |
13 AUG 85 |
|
| Authors:
Kurt A. Vanlehn; XEROX PALO ALTO RESEARCH CENTER CA INTELLIGENT SYSTEMS LAB
|
| There are many projects whose goal is to produce a network of well- reasoned arguments in support of some assertions. Examples of such networks are a legal brief, a market analysis or a scientific theory. Until recently, computer technology for developing such networks was concerned mostly with the acquisition of information to feed into the arguments. Information retrieval systems help the lawyer find precedents. Survey instruments and statistical packages help ... |
|
| Research on Interactive Protocols |
14 DEC 84 |
|
| Authors:
LOCKHEED ELECTRONICS CO INC PLAINFIELD NJ HUMAN MACHINE SYSTEMS GROUP
|
| The purpose of this contract was to examine the soldier-machine interface of automated battlefield intelligence/C2 systems including optimization of operator-computer protocols. The work statement tasks to support this effort were: 1) storyboard the application demonstration based on the scenario developed by HEL/AAAD. This shall include the selection of one or two operator tasks and shall use the specific data presented in the scenario; 2) analyze the operator tasks to determine ... |
|
| Error in CALSPAN 3-Dimensional Crash Vehicle Simulation Computer Program for the Case of Massless Segments |
DEC 1983 |
|
| Authors:
M. R. Seemann; NAVAL BIODYNAMICS LAB NEW ORLEANS LA
|
| An error was recently discovered in the CALSPAN 3-dimensional Crash Vehicle Simulation (3DCVS) computer program which causes gross errors in the results when massless segments are used. Additionally even after the error had been corrected, unacceptable computational errors were evident in the 3DCVS output results when a massless segment was used. The sources of the errors were investigated and the significant findings and recommendations resulting form this investigation are presented ... |
|
| PROUST: Knowledge-Based Program Understanding |
AUG 1983 |
|
| Authors:
W. Lewis Johnson; Elliot Soloway; YALE UNIV NEW HAVEN CT DEPT OF COMPUTER SCIENCE
|
| This paper describes a program called PROUST which does on-line analysis and understanding of Pascal programs written by novice programmers. PROUST takes as input a program and a non-algorithm description of the program requirements, and finds the most likely mapping between the requirements and the code. This mapping is in essence a reconstruction of the design and implementation steps that the programmer went through in writing the program. A knowledge ... |
|
| GRAPES User's Manual |
NOV 1982 |
|
| Authors:
Ron Sauers; Robert Farrell; CARNEGIE-MELLON UNIV PITTSBURGH PA DEPT OF PSYCHOLOGY
|
| GRAPES is a goal-restricted production system designed for modeling human cognitive processes. The system's declarative knowledge resides in a dynamic working memory and its procedural knowledge is embodied in condition- action rules known as productions. Each production can apply only in reference to the current goal. The goals are organized in an and/or tree with the root mode being the top goal, which is specified by the user. The tree ... |
|
| Efficient Modeling for Short Channel MOS Circuit Simulation |
AUG 1982 |
|
| Authors:
Mark Griffin Johnson; MASSACHUSETTS INST OF TECH CAMBRIDGE LAB FOR COMPUTER SCIENCE
|
| Existing circuit models for short-channel MOS transistors represent a compromise between computation speed and ease of use. Empirical models are very fast to evaluate, but their parameters must be fitted from experimental measurements. Theoretical models require longer computation time, but they may be used to predict the performance of new, unmeasured MOS technologies since their parameters are not curve-fitted from experimental data. This thesis combines the best features of both ... |
|
| An Approach to Verifying Completeness and Consistency in a Rule-Based Expert System |
AUG 1982 |
|
| Authors:
Motoi Suwa; A. Carlisle Scott; Edward H. Shortliffe; STANFORD UNIV CA DEPT OF COMPUTER SCIENCE
|
| We describe a program for verifying that a set of rules in an expert system comprehensively spans the knowledge of a specialized domain. The program has been devised and tested within the context of the ONCOCIN System, a rule- based consultant for clinical oncology. The stylized format of ONCOCIN's rules has allowed the automatic detection of a number of common errors as the knowledge base has been developed. This capability ... |
|
| Search Algorithms and Their Implementation |
AUG 1982 |
|
| Authors:
D. W. Loveland; DUKE UNIV DURHAM NC DEPT OF CHEMISTRY
|
| Research that has resulted in completed papers involved (1) optimality of search procedures (decision trees) in binary testing; (2) a study of signature table representation for evaluation functions and methods for dynamically improving function accuracy; (3) pruning minimax trees that have been adapted to incorporate moves determined by chance; and (4) the search problem in automated program construction. Preliminary results have been obtained in research on (a) optimizing limited resource ... |
|
| ADA Integrated Environment I Computer Program Development Specification. Volume I |
DEC 1981 |
|
| Authors:
INTERMETRICS INC CAMBRIDGE MA
|
| The ADA Integrated Environment (AIE) consists of a set of software tools intended to support design, development and maintenance of embedded computer software. A significant portion of an AIE includes software systems and tools residing and executing on a host computer (or set of computers). This set is known as an ADA Programming Support Environment (APSE). This B-5 Specification describes, in detail, the design for a minimal APSE, called a ... |
|
| Ada Integrated Environment II Computer Program Development Specification. Part 2 |
DEC 1981 |
|
| Authors:
COMPUTER SCIENCES CORP FALLS CHURCH VA
|
| The Ada Integrated Environment (AIE) consists of a set of software tools intended to support design, development and maintenance of embedded computer software. A significant portion of an AIE includes software systems and tools residing and executing on a host computer (or set of computers). This set is known as an Ada Programming Support Environment (APSE). This B-5 Specification describes, in detail, the design for a minimal APSE, called a ... |
|
| Ada Integrated Environment II Computer Program Development Specification. Part 1 |
DEC 1981 |
|
| Authors:
COMPUTER SCIENCES CORP FALLS CHURCH VA
|
| The Ada Integrated Environment (AIE) consists of a set of software tools intended to support design, development and maintenance of embedded computer software. A significant portion of an AIE includes software systems and tools residing and executing on a host computer (or set of computers). This set is known as an Ada Programming Support Environment (APSE). This B-5 Specification describes, in detail, the design for a minimal APSE, called a ... |
|
| Ada Integrated Environment III Computer Program Development Specification. Volume IV. Ada Programming Toolset |
DEC 1981 |
|
| Authors:
TEXAS INSTRUMENTS INC LEWISVILLE EQUIPMENT GROUP
|
| The Ada Integrated Environment (AIE) consists of a set of software tools intended to support design, development and maintenance of embedded computer software. A significant portion of an AIE includes software systems and tools residing and executing on a host computer (or set of computers). This set is known as an Ada Programming Support Environment (APSE). This B-5 Specification describes, in detail, the design for a minimal APSE, called a ... |
|
| Ada Integrated Environment III Computer Program Development Specification. Volume III. Ada Optimizing Compiler |
DEC 1981 |
|
| Authors:
TEXAS INSTRUMENTS INC LEWISVILLE EQUIPMENT GROUP
|
| The Ada Integrated Environment (AIE) consists of a set of software tools intended to support design, development and maintenance of embedded computer software. A significant portion of an AIE includes software systems and tools residing and executing on a host computer (or set of computers). This set is known as an Ada Programming Support Environment (APSE). This B-5 Specification describes, in detail, the design for a minimal APSE, called a ... |
|
| Ada Integrated Environment III Computer Program Development Specification. Volume II. Ada Database Subsystem |
DEC 1981 |
|
| Authors:
TEXAS INSTRUMENTS INC LEWISVILLE EQUIPMENT GROUP
|
| The Ada Integrated Environment (AIE) consists of a set of software tools intended to support design, development and maintenance of embedded computer software. A significant portion of an AIE includes software systems and tools residing and executing on a host computer (or set of computers). This set is known as an Ada Programming Support Environment (PSE). This B-5 Specification describes, in detail, the design for a minimal APSE, called a ... |
|
Reports by Keyword(s)
DEBUGGING(COMPUTERS)
