Software Engineering Institute Carnegie Mellon

SEI Documents List

[2007] [2006] [2005] [2004] [2003] [2002] [2001] [2000] [1999] [1998] [1997] [1996] [1995] [1994] [1993] [1992] [1991] [1990] [1989] [1988] [1987] [1986] [PDF]

1987 Reports

Curriculum Modules and Support Materials

SEI-CM-7-1.1, ADA235924
Assurance of Software Quality
Brown, B.

July 1987

This module presents the underlying philosophy and associated principles and practices related to the assurance of software quality. It includes a description of the assurance activities associated with the phases of the software development life-cycle (e.g., requirements, design, test, etc.).

http://www.sei.cmu.edu/publications/documents/cms/cm.007.html

SEI-CM-8-1.0, ADA236362
Formal Specification of Software
Berztiss, A.

October 1987

This module introduces methods for the formal specification of programs and large software systems, and reviews the domains of application of these methods. Its emphasis is on the functional properties of software. It does not deal with the specification of programming languages, the specification of user-computer interfaces, or the verification of programs. Neither does it attempt to cover the specification of distributed systems.

http://www.sei.cmu.edu/publications/documents/cms/cm.008.html

SEI-CM-5-1.2, ADA236208
Information Protection
Cohen, F.

July 1987

This curriculum module is a broad based introduction to information protection techniques. Topics include the history and present state of cryptography, operating system protection, network protection, data base protection, physical security techniques, cost benefit tradeoffs, social issues, and current research trends. The successful student in this course will be prepared for an in-depth course in any of these topics.

http://www.sei.cmu.edu/publications/documents/cms/cm.005.html

SEI-CM-10-1.0, ADA236120
Models of Software Evolution: Life Cycle and Process
Scacchi, W.

October 1987

This module presents an introduction to models of software system evolution and their role in structuring software development. It includes a review of traditional software life-cycle models as well as software process models that have been recently proposed. It identifies three kinds of alternative models of software evolution that focus attention to either the products, production processes, or production settings as the major source of influence. It examines how different software engineering tools and techniques can support life-cycle or process approaches. It also identifies techniques for evaluating the practical utility of a given model of software evolution for development projects in different kinds of organizational settings.

http://www.sei.cmu.edu/publications/documents/cms/cm.010.html

SEI-CM-4-1.4, ADA235702
Software Configuration Management
Tomayko, J.

July 1987

Software configuration management encompasses the disciplines and techniques of initiating, evaluating, and controlling change to software products during and after the development process. It emphasizes the importance of configuration control in managing software production.

http://www.sei.cmu.edu/publications/documents/cms/cm.004.html

SEI-CM-6-1.1, ADA238560
Software Safety
Leveson, N.

July 1987

Software safety involves ensuring that software will execute within a system context without resulting in unacceptable risk. Building safety-critical software requires special procedures to be used in all phases of the software development process. This module introduces the problems involved in building such software along with the procedures that can be used to enhance the safety of the resulting software product.

http://www.sei.cmu.edu/publications/documents/cms/cm.006.html

SEI-SM-8-1.0, ADA236121
Support Materials for Formal Specification of Software
Berztiss, A., ed.

October 1987

This support materials package includes materials helpful in teaching a course on formal specification of software.

http://www.sei.cmu.edu/publications/documents/cms/sm.008.html

Technical Reports

CMU/SEI-87-TR-009, ADA182023
ADA Adoption Handbook
Foreman, J. & Goodenough, J.

the ADA Adoption Handbook provides program managers with information about how best to tap ADA's strengths and manage this new software technology. Although the issues are complex, they are not all unique to ADA. Indeed, many of these issues must be addressed when using any language for building sophisticated systems. The handbook addresses the advantages and risks inherent in adopting ADA. Significant emphasis has been placed on providing information and suggesting methods that will help program and project managers succeed in adopting ADA across a broad range of application domains.

The handbook focuses on the following topics: program management issues including costs and technical and program control; ADA's goals and benefits; software tools with emphasis on compiler validation and quality issues; the state of ADA technology as it relates to system engineering; the application of special purpose languages; issues related to mixing ADA with other languages; possible productivity benefits resulting from software reuse; and implications for education and training.

http://www.sei.cmu.edu/publications/documents/87.reports/87.tr.009.html

CMU/SEI-87-TR-026, ADA191096
ADA for Embedded Systems: Issues and Questions
Weiderman, N.; Borger, M.; Cappellini, A.; Dart, S.; Klein, M.; & Landherr, S.

This report addresses issues and questions related to the use of ADA for embedded systems applications; it contains some preliminary recommendations for compilation system implementors, application developers, program managers, and ADA policy makers. The issues and questions provide the context for the Real-Time Embedded Systems Testbed (REST) Project at the SEI, where staff members are investigating software development and performance issues for real-time embedded systems.

http://www.sei.cmu.edu/publications/documents/87.reports/87.tr.026.html

CMU/SEI-87-TR-027, ADA200607
Ada Performance Benchmarks on the MicroVAX II: Summary and Results, Version 1.0
Donohoe, P.

The primary purpose of the Ada Embedded Systems Testbed (AEST) Project at the Software Engineering Institute (SEI) is to develop a solid in-house support base of hardware, software, and personnel to permit the investigation of a wide variety of issues related to software development for real-time embedded systems. Two of the most crucial issues to be investigated are the extent and quality of the facilities provided by Ada runtime support environments. The SEI support base will make assessments possible of the readiness of the Ada language and Ada tools to develop embedded systems. The benchmarking/instrumentation subgroup was formed to:

  1. Collect and run available Ada benchmark programs from a variety of sources on a variety of targets.
  2. Identify gaps in the coverage and fill them with new test programs.
  3. Review the measurement techniques used and provide new ones if necessary.
  4. Verify software timings by inspection and with specialized test instruments.

This report documents the results obtained from running Ada performance benchmarks on a DEC VAXELN MicroVAX II using the DEC VAXELN Ada compiler. The benchmarks were the University of Michigan Ada benchmarks and the ACM SIGAda Performance Issues Working Group (PIWG) Ada benchmarks (excluding the compilation tests). The benchmarks focus largely on the execution time of specific features of the Ada language; they do not, for example, measure the efficiency or the size of the generated object code. A brief description of the benchmarks and the test environment is followed by a discussion of some problems encountered and lessons learned. The results obtained from running the entire Michigan and PIWG benchmark suites are contained in the appendices to this report. Note that the caveats discussed in the body of the report must be borne in mind when examining these results.

http://www.sei.cmu.edu/publications/documents/87.reports/87.tr.027.html

CMU/SEI-87-TR-040, ADA200610
ADA Performance Benchmarks on the Motorola MC68020: Summary and Results
Donohoe, P.

This report documents the results obtained from running the ACM SIGADA Performance Issues Working Group (PIWG) and the University of Michigan ADA performance benchmarks on a Motorola MC68020 microprocessor (MVME133 VME module Monoboard Microcomputer), using the Systems Designers ADA-Plus, the TeleSoft TeleGen2, and the Verdix VAX/VMS hosted cross-compilers. A brief description of the benchmarks and the test environment is followed by a discussion of some problems encountered and lessons learned. Wherever possible, the output of each benchmark program is also included.

http://www.sei.cmu.edu/publications/documents/87.reports/87.tr.040.html

CMU/SEI-87-TR-031, ADA200609
Annual Technical Report for ADA Embedded Systems Testbed Project
Weiderman, N.; Altman, N.; Borger, M.; Donohoe, P.; Hefley, W.; Klein, M.; Landherr, S.; Mumm, H.; & Slusarz, J.

The purpose of the ADA Embedded Systems Testbed Project (now called the Real-Time Embedded Systems Project) is to investigate some of the critical issues in using ADA for real-time embedded applications, particularly the extent and quality of the runtime support facility provided by ADA implementations. The project's objective has been to generate new information about using ADA in real-time embedded systems. This information is in the form of benchmark test results, higher level experiment results, and lessons learned in designing and implementing real-time applications in ADA. This technical report provides an overview of the results produced in the first year of the project (through September 30, 1987). Details of these results are contained in other referenced technical reports.

http://www.sei.cmu.edu/publications/documents/87.reports/87.tr.031.html

CMU/SEI-87-TR-041, ADA200606
Classification Scheme for Software Development Methods, A
Firth, R.; Wood, W.; Pethia, R.; Roberts Gold, L.; Mosley, V.; & Dolce, T.

Software development methods are used to assist with the process of designing software for real-time systems. Many such methods have come into practice over the last decade, and new methods are emerging. These new methods are more powerful than the old ones, especially with regard to real-time aspects of the software. This report describes a classification scheme for software development methods, includes descriptions of the major characteristics of such methods, and contains some words of advice on choosing and applying such methods.

http://www.sei.cmu.edu/publications/documents/87.reports/87.tr.041.html

CMU/SEI-87-TR-030, ADA188932
Criteria for Constructing and Using an ADA Embedded System Testbed
Weiderman, N.

The purpose of this report is to list some of the criteria used in five aspects of the project: the hardware configuration, the software configuration, the real-time application, the ADA real-time experiments, and the benchmarking and instrumentation techniques. Each criterion will include a rationale. Each of the criteria listed in this report will be categorized as either essential, highly desirable, or desirable.

http://www.sei.cmu.edu/publications/documents/87.reports/87.tr.030.html

CMU/SEI-87-TR-005, ADA181853
Distributed Systems Technology Survey
Cooper, E.

This report is one of a series of survey reports. It is not intended to provide an exhaustive discussion of topics pertinent to the area of distributed systems technology. Rather, it is intended as an informative review of the technology surveyed. These surveys were conducted in late 1985 and early 1986.

One of the core technology areas in which project members were interested is distributed systems technology. This report surveys the technical issues involved in designing distributed systems, with particular emphasis on those aspects that affect software engineering environments.

http://www.sei.cmu.edu/publications/documents/87.reports/87.tr.005.html

CMU/SEI-87-TR-002, ADA178971
Effect of Software Support Needs on DoD Software Acquisition Policy: Part 1: A Framework for Analyzing Legal Issues, The
Martin, A. & Deasy, K.

This report summarizes the significant technical and managerial considerations that affect the maintenance and enhancement of software. Prior work suggested that it is often in the acquisition of intellectual property needed to maintain and enhance software that data rights disputes arise between DoD and the private sector. For this reason, an understanding of DoD's maintenance and enhancement requirements is a necessary predicate toward shaping a data rights/software acquisition policy that achieves the proper balance between the intellectual property needs of DoD and the proprietary interests of private industry. A survey of software engineering literature revealed no study that addressed this important subject. Accordingly, the Software Licensing Project undertook to examine the issue itself. Although this report discusses technical and managerial issues, it is principally intended as a guide for lawyers and policymakers who deal with, and have regulatory responsibility for, software and data rights acquisition issues.

http://www.sei.cmu.edu/publications/documents/87.reports/87.tr.002.html

CMU/SEI-87-TR-001, ADA180905
Evaluation of ADA Environments
Weiderman, N.; Altman, N.; Borger, M.; Klein, M.; Landherr, S.; Smeaton, R.; D'Ippolito, R.; Kochmar, J.; & Sun, A.

The full report provides a detailed description of the methodology and examples of its usage. Chapter 1 gives an extended cross-environment analysis of the results of the project. For each of five experiment groups, it compares three APSEs. The chapter provides an overview of the results of all the experiments and is written for the technical manager. Chapter 2 describes in detail the methodology used for evaluating the environments, along with some of the background information and references to previous work in environment evaluation. Chapters 3 through 8 provide detailed descriptions of the six experiment groups. Here one can find the information on particular criteria, questions, and life cycle activities that were tested for each experiment, as well as test scripts, checklists, and resulting data that were collected.

http://www.sei.cmu.edu/publications/documents/87.reports/87.tr.001.html

CMU/SEI-87-TR-046, ADA188924
Evolving Persistent Objects in a Distributed Environment
Nestor, J.

This paper considers a class of objects, called incrementally mutable objects, that are intermediate between mutable and immutable objects. Intuitively, the only permitted modifications to an incrementally mutable object are those that add new information to the object while preserving existing information. Changes to incrementally mutable objects do not require central synchronization. When a network becomes partitioned, the same incrementally mutable object can be safely modified in each subnetwork. A mutable object can be modeled by a set of immutable objects that represent each value of the object over time and an incrementally mutable object that relates each immutable object to its successor. Multiple successors are permitted to represent parallel changes.

http://www.sei.cmu.edu/publications/documents/87.reports/87.tr.046.html

CMU/SEI-87-TR-022, ADA187231
Factors Causing Unexpected Variations in ADA Benchmarks
Altman, N.

Benchmarks are often used to describe the performance of computer systems. This report considers factors that may cause ADA benchmarks to produce inaccurate results. Included are examples from the ongoing benchmarking efforts of the ADA Embedded Systems Testbed (AEST) Project using bare target computers with several ADA compilers.

http://www.sei.cmu.edu/publications/documents/87.reports/87.tr.022.html

CMU/SEI-87-TR-025, ADA200611
Final Evaluation of MIPS M/500 Final Report for the RISC Insertion Project
Klein, D. & Firth, R.

In response to a request from the DoD, an analysis of a Reduced Instruction Set Computer (RISC) processor, the MIPS M/500, was performed. All aspects of processor capabilities and support software were evaluated, tested, and compared to familiar Complex Instruction Set Computer (CISC) architectures. In all cases, the RISC computer and its support software performed better than a comparable CISC computer. This report provides the general and specific results of these analyses, along with the recommendation that the DoD and other government agencies seriously consider this or other RISC architectures as a highly viable and attractive alternative to the more familiar but less efficient CISC architectures.

http://www.sei.cmu.edu/publications/documents/87.reports/87.tr.025.html

CMU/SEI-87-TR-010, ADA213968
Guide to the Classification and Assessment of Software Engineering Tools, A
Firth, R.; Mosley, V.; Pethia, R.; Roberts Gold, L.; & Wood, W.

Software engineering tools are computer programs that assist people in doing the work of software engineering. As understanding of the software engineering process has broadened and the need to solve problems has intensified, there has been increasing interest in using software engineering tools. Understanding what a tool does and comparing it to similar tools are difficult tasks given the diversity of functionality that exists. This report describes a tool classification technique that helps those investigating tools decide where a tool fits in the software engineering process and identify what a tool does or doesn't do. It also provides guidance to the tool evaluation process and lists specific criteria that should be considered when evaluating tools.

http://www.sei.cmu.edu/publications/documents/87.reports/87.tr.010.html

CMU/SEI-87-TR-047, ADA188922
IDL: Background and Status
Stone, D. & Nestor, J.

This paper presents an overview of the Interface Description Language (IDL). We describe the language and its history. We also discuss the status of the IDL community.

http://www.sei.cmu.edu/publications/documents/87.reports/87.tr.047.html

CMU/SEI-87-TR-033, ADA200604
Inertial Navigation System Simulator: Behavioral Specification
Landherr, S. & Klein, M.

The Real-Time Embedded Systems Testbed Project at the SEI is specifying and developing a representative real-time application. This document augments an original set of specifications written by a Navy affiliate. The purpose of this behavioral specification is to clarify and augment the original.

http://www.sei.cmu.edu/publications/documents/87.reports/87.tr.033.html

CMU/SEI-87-TR-036, ADA200605
Inertial Navigation System Simulator Program: Top-Level Design
Klein, M. & Landherr, S.

A real-time ADA application, an Inertial Navigation System (INS) simulator, is being developed by the Real-Time Embedded Systems Testbed Project as a vehicle to analyze issues regarding the use of ADA in the real-time embedded domain and to provide a context for future experimentation. The technical philosophy behind developing a real-time ADA artifact is to: (1) select a representative (e.g., strict timing demands, multiple concurrent activities, low-level I/ O, error handling, interrupts, and periodic activities) real-time application; (2) use ADA tasks as the unit of concurrency for the real-time design; and (3) apply any relevant practical results being produced by the real-time scheduling research community. In particular, the INS simulator must satisfy a set of timing requirements that are similar to an INS with respect to data updating, message transmission, and message reception. This document discusses the top-level design of this application from three points of view: data flow perspective, concurrency and control perspective, and the ADA module perspective.

http://www.sei.cmu.edu/publications/documents/87.reports/87.tr.036.html

CMU/SEI-87-TR-048, ADA199634
Interfacing ADA and SQL
Engle, C.; Firth, R.; Graham, M.; & Wood, W.

The SEI was asked by the ADA Joint Program Office to investigate the problem of interfacing programs written in ADA with database management systems implementing the SQL database language. The authors decided to concentrate on a description of the problems involved in producing an interface that would be worthy of becoming a standard. This document is meant to assist the reader in answering the question "What constitutes a good interface between ADA and SQL?" The document should be useful both in the production of a standard and in the analysis of any proposed standard.

http://www.sei.cmu.edu/publications/documents/87.reports/87.tr.048.html

CMU/SEI-87-TR-042, ADA199877
Issues in Software: A Blue Two Visit Feasibility Assessment
Hefley, W.

The SEI participated in a series of fact-finding meetings sponsored by the Air Force Coordinating Office for Logistics Research to gather information necessary to set the scope for and to implement one or more Blue Two Visits on software. The purpose of a Blue Two Visit (BTV) is to introduce to industry's top design engineers and program managers the day-to-day constraints Air Force maintainers face on front-line operations bases. The participants experience first-hand the effects of design on maintenance. This exposure has been significant in bridging the gap between DoD and industry in understanding, documenting, and supporting Air Force weapon system requirements to increase combat supportability. This report documents discussions that attempt to address the following questions for a software-oriented BTV: 1) Do software maintainers and users have messages for software designers and programmers? 2) What are these messages? 3) How can these messages be best communicated? 4) To whom should these messages be targeted? 5) What should the BTV be called?

http://www.sei.cmu.edu/publications/documents/87.reports/87.tr.042.html

CMU/SEI-87-TR-023, ADA187230
Method for Assessing the Software Engineering Capability of Contractors, A
Humphrey, W. & Sweet, W.

This document provides guidelines and procedures for assessing the ability of potential DoD contractors to develop software in accordance with modern software engineering methods. It includes specific questions and a method for evaluating the results.

http://www.sei.cmu.edu/publications/documents/87.reports/87.tr.023.html

CMU/SEI-87-TR-016, ADA183429
Preliminary Report on Conducting SEI-Assisted Assessments of Software Engineering
Humphrey, W. & Kitson, D.

Characterizing the state of software engineering practice within an organization is a necessary prerequisite to orderly, meaningful, and sustainable improvement of the organizations ability to produce or support cost-effective, high quality software products. The Software Engineering Institute is developing a methodology for conducting SEI-assisted assessments of software engineering capability. The assessment methodology has five phases: 1. selecting the candidate organization, 2. preparing for the assessment, 3. conducting the assessment, 4. communicating final assessment findings and action recommendations, and 5. post-assessment follow-up activities. This report describes the methodology in detail.

http://www.sei.cmu.edu/publications/documents/87.reports/87.tr.016.html

CMU/SEI-87-TR-039, ADA191095
Prototype Real-Time Monitor: ADA Code
Van Scoy, R.

This report documents the ADA code of the prototype real-time monitor (RTM).

http://www.sei.cmu.edu/publications/documents/87.reports/87.tr.039.html

CMU/SEI-87-TR-038, ADA188931
Prototype Real-Time Monitor: Design
Van Scoy, R.; Plinta, C.; D'Ippolito, R.; Lee, K.; & Rissman, M.

This report describes the software design used to implement the prototype real-time monitor requirements. The design is presented at three levels: system level, object level, and package architecture level. The report concludes with a discussion of the key implementation obstacles that had to be overcome to develop a working prototype: determining system addresses, communicating with an executing application, accessing application memory, converting data into human-readable form, and distributed CPU architectures.

http://www.sei.cmu.edu/publications/documents/87.reports/87.tr.038.html

CMU/SEI-87-TR-036, ADA188929
Prototype Real-Time Monitor: Requirements
Van Scoy, R.; Plinta, C.; D'Ippolito, R.; Lee, K.; & Rissman, M.

The requirements imposed by flight simulators and good software engineering practice on ADA systems force software engineers to seek new solutions to the problem of monitoring executing software. This report examines some of these requirements and, based on these requirements, defines a subset for implementation as a prototype real-time monitor (RTM).

http://www.sei.cmu.edu/publications/documents/87.reports/87.tr.036.html

CMU/SEI-87-TR-037, ADA188930
Prototype Real-Time Monitor: User's Manual
Van Scoy, R.; Plinta, C.; D'Ippolito, R.; Lee, K.; & Rissman, M.

This report defines the user interface to the prototype real-time monitor (RTM). It defines the concepts and commands needed by a software engineer to use the RTM. In addition to defining the user interface, the report explains the steps needed to tailor the RTM to work with the users application.

http://www.sei.cmu.edu/publications/documents/87.reports/87.tr.037.html

CMU/SEI-87-TR-044, ADA188927
Report on the SEI Workshop on ADA in Freshman Courses
Ford, G., ed.

The Undergraduate Software Engineering Education Project of the SEI Education Program sponsored a workshop on ADA in Freshman Courses in June 1987. The workshop brought together several educators to discuss how the software engineering content of beginning programming and data structures courses might be improved. This report describes the workshop and summarizes the discussions and conclusions; and it also includes the position papers prepared by the participants.

http://www.sei.cmu.edu/publications/documents/87.reports/87.tr.044.html

CMU/SEI-87-TR-013, ADA185742
Seeking the Balance Between Government and Industry Interests in Software Acquisition, Volume I. A Basis for Reconciling DoD and Industry Needs for Rights in Software
Martin, A. & Deasy, K.

The policy under which the Department of Defense (DoD) acquires rights in software and technical data has, in the past, been imbalanced in the direction of obtaining more rights than necessary to meet its needs. As noted by the Packard Commission, a more balanced policy is in the interests of both the DoD and industry. The DoD has recently adopted a new policy for acquiring rights in technical data, and is developing a separate policy for acquiring rights in software. This report offers several recommendations for achieving a balanced policy as to government funded software, privately funded software, and mixed funding software that will meet the mission needs of the DoD while enabling contractors to protect their proprietary interests, and commercialize their software products.

http://www.sei.cmu.edu/publications/documents/87.reports/87.tr.013.html

CMU/SEI-87-TR-004, ADA182982
Software and System Warranty Issues
Druffel, L.; Wood, W.; & Pethia, R.

This report addresses technical and administrative issues associated with the system warranty process, and recommends a straightforward, two-page generic system warranty clause that covers software, not in isolation, but as part of a warranted system. The report describes one approach to relieving problems of system failure, and addresses legal, technical, and administrative issues that support warranty enforcement. The goal is to ease the government's burden of proving the existence of a defect for which the warranty clause provides a remedy. The key to satisfying that goal is to develop technical tests and specifications that provide objective and demonstrable standards against which a claim for breach of warranty can be measured.

http://www.sei.cmu.edu/publications/documents/87.reports/87.tr.004.html

CMU/SEI-87-TR-024, ADA200542
Software Development
Dart, S. & Ellison, B.

"Environment" refers to the collection of hardware and software tools that a system developer uses to build software systems. As technology improves and user expectations grow, an environment's functionality tends to change. Over the last 20 years, the set of software tools available to developers has expanded considerably. We can illustrate this change by observing some distinctions in the terminology. "Programming environment" and "software development environment" are often used synonymously, but here we make a distinction between the two.

http://www.sei.cmu.edu/publications/documents/87.reports/87.tr.024.html

CMU/SEI-87-TR-008, ADA182003
Software Engineering Education: An Interim Report from the Software Engineering Institute
Ford, G.; Gibbs, N.; & Tomayko, J.

The goals and activities of the Software Engineering Institute's Education Program are described. Two curriculum recommendations are presented, one for a professional Master of Software Engineering degree program, and the other for an undergraduate project course in software engineering. Also presented is an organizational structure for software engineering curriculum content.

http://www.sei.cmu.edu/publications/documents/87.reports/87.tr.008.html

CMU/SEI-87-TR-028, ADA200608
Survey of Real-Time Performance Benchmarks for the ADA Programming Language, A
Donohoe, P.

This survey provides a summary description of some of the major ADA benchmarks currently available and an evaluation of their applicability to the Real-Time Embedded Systems Testbed Project at the SEI. The benchmarks discussed are the University of Michigan benchmarks, the ACM Performance Issues Working Group (PIWG) benchmarks, and the prototype ADA Compiler Evaluation Capability (ACEC) of the Institute for Defense Analyses (IDA).

http://www.sei.cmu.edu/publications/documents/87.reports/87.tr.028.html

CMU/SEI-87-TR-020, ADA200603
Teaching a Project-Intensive Introduction to Software Engineering
Tomayko, J.

This report is meant as a guide to the teacher of the introductory course in software engineering. It contains a case study of a course based on a large project. Other models of course organization are also discussed. Additional materials used in teaching the course and samples of student-produced documentation are also available.

http://www.sei.cmu.edu/publications/documents/87.reports/87.tr.020.html

CMU/SEI-87-TR-021, ADA185697
Timing Variation in Dual Loop Benchmarks
Altman, N. & Weiderman, N.

Benchmarks that measure time values using a standard system clock often employ a dual loop design. One of the important assumptions of this design is that textually identical loop statements will take the same amount of time to execute. This assumption was tested on two bare computers with ADA test programs and has been demonstrated to be inaccurate in these specific test cases.

http://www.sei.cmu.edu/publications/documents/87.reports/87.tr.021.html

CMU/SEI-87-TR-007, ADA181156
Tool Interface Technology
Newcomer, J.

This report is one of a series of survey reports. It is not intended to provide an exhaustive discussion of topics pertinent to the area of user interface technology. Rather, it is intended as an informative review of the technology surveyed. These surveys were conducted in late 1985 and early 1986.

http://www.sei.cmu.edu/publications/documents/87.reports/87.tr.007.html

CMU/SEI-87-TR-014, ADA200601
Use of Representation Clauses and Implementation-Dependent Features in ADA: I. Overview, The
Meyers, C. & Cappellini, A.

This report, the first in a series, presents an overview of the aspects of the ADA language relating to representation clauses and implementation-dependent features. Particular emphasis is given to the use of ADA for application to packed data structures. This report is in part tutorial, and several examples from real-time, mission-critical systems are discussed in detail. A brief discussion of design guidelines for the use of representation clauses and implementation- dependent features is included.

http://www.sei.cmu.edu/publications/documents/87.reports/87.tr.014.html

CMU/SEI-87-TR-015, ADA188925
Use of Representation Clauses and Implementation-Dependent Features in ADA: IIA. Evaluation Questions, The
Meyers, C. & Cappellini, A.

This report is the second in a series on the use of representation clauses and implementation-dependent features in ADA. It is the purpose of this document to specify a set of questions relevant to the assessment of the support of representation clauses and implementation-dependent features provided by an ADA compiler. The questions identified are categorized according to functionality and address both qualitative and quantitative aspects.

http://www.sei.cmu.edu/publications/documents/87.reports/87.tr.015.html

CMU/SEI-87-TR-018, ADA200602
Use of Representation Clauses and Implementation-Dependent Features in ADA: IIB. Experimental Procedures, The
Meyers, C. & Cappellini, A.

This report is one in a series dealing with the use of representation clauses and implementation-dependent features in ADA. The purpose of this report is to discuss detailed experimental procedures to assess compiler support. It is readily acknowledged that the domain of possible experimentation is large. To facilitate the experimentation, a methodology is proposed that relies on program generators and automated analysis tools. An example of the methodology is presented in some detail.

http://www.sei.cmu.edu/publications/documents/87.reports/87.tr.018.html

CMU/SEI-87-TR-017, ADA188926
Use of Representation Clauses and Implementation-Dependent Features in ADA: IIIA. Qualitative Results for VAX, ADA, The
Meyers, C. & Cappellini, A.

This report, one in a series, provides a qualitative assessment of the support of representation clauses and implementation-dependent features in ADA provided by the VAX, ADA compiler, Version 1.3. The evaluation questions that were presented in a previous report of this series form the basis of the qualitative assessment. A subjective evaluation of the support provided for these features is also presented.

http://www.sei.cmu.edu/publications/documents/87.reports/87.tr.017.html

CMU/SEI-87-TR-019, ADA188926
Use of Representation Clauses and Implementation-Dependent Features in ADA: IVA. Qualitative Results for ADA/M(44), The
Meyers, C. & Cappellini, A.

This report, one in a series, provides a qualitative assessment of the support of representation clauses and implementation-dependent features in ADA provided by the ADA/M(44) compiler, Version 1.6. The evaluation questions that were presented in a previous report of this series form the basis of the qualitative assessment. A subjective evaluation of the support provided for these features is also presented.

http://www.sei.cmu.edu/publications/documents/87.reports/87.tr.019.html

CMU/SEI-87-TR-006, ADA181852
User Interface Technology Survey
Feiler, P.

This report is one of a series of survey reports. It is not intended to provide an exhaustive discussion of topics pertinent to the area of distributed systems technology. Rather, it is intended as an informative review of the technology surveyed. These surveys were conducted in late 1985 and early 1986.

One of the core technology areas in which project members conducted a survey was user interface technology. This report attempts to do two things: specify an understanding of user interfaces by presenting a taxonomy that encompasses the various aspects of user interfaces, and indicate the state of the technology today by highlighting some of the major issues.

http://www.sei.cmu.edu/publications/documents/87.reports/87.tr.006.html

CMU/SEI-87-TR-029, ADA188100
VAXELYN Experimentation: Programming a Real-Time Clock and Interrupt Handling Using VAXELYN, ADA 1.1
Borger, M.

This report describes the results of implementing an interrupt handler totally in ADA for a MicroVAX II/VAXELN 2.3 target system, the VAXELN 1.1, ADA compiler, and a KWV11-C programmable real-time clock. It provides an overview of VAXELN interrupt handlers and the operation of the real-time clock; discusses and demonstrates the use of VAXELN kernel services to establish a link between the clock's interrupt and the starting address of an interrupt service routine; presents an ADA package of interfaces to the KWV11-C device; provides ADA source code examples demonstrating the use of this package; and presents relevant observations, recommendations, and measurement results.

http://www.sei.cmu.edu/publications/documents/87.reports/87.tr.029.html

CMU/SEI-87-TR-032, ADA200612
VAXELN Experimentation: Programming a Real-Time Periodic Task Dispatcher Using VAXELN, ADA 1.1
Borger, M.

The purpose of this paper is to provide the reader with some technical information and observations ADA source code, and measurement results based on experimentation with respect to developing a real-time periodic task dispatcher in ADA. In this context, a periodically scheduled task set implies that each task in the set is executed at its own fixed frequency; a periodic task dispatcher is a software component that schedules the individual tasks at their implied runtime frequency. The results presented here are specific to a MicroVAX-II/VAXELN 2.3 target system, the VAXELN 1.1, ADA compiler, and a KWV11-C programmable real-time clock. Specifically, these results provide answers to the question: How can one achieve the effect of scheduling a set of periodic ADA tasks when the runtime frequency of some of the individual tasks is less than the clock-cycle frequency supported by an ADA runtime implementation?

http://www.sei.cmu.edu/publications/documents/87.reports/87.tr.032.html

CMU/SEI-87-TR-045, ADA188923
Views for Evolution in Programming Environments
Nestor, J.

Programming environments have become a focal point for much of the work directed toward improving the practice of software engineering. Such environments must provide mechanisms for recording and organizing the complex set of persistent technical and management data associated with all parts of the life cycle of large software systems. This paper focuses on one important aspect of such persistent data: how to allow evolution when the existing information must be preserved without change to maintain history. First, the role of history in programming environments is discussed. Next, the additional demands of evolution are considered and shown to lead to a set of problems. View mechanisms are suggested as a solution to the problems. A simple example involving file system directory structure is presented to illustrate these problems. A simple view mechanism, called multidirectories, is introduced and shown to solve the illustrated problems.

http://www.sei.cmu.edu/publications/documents/87.reports/87.tr.045.html

[2007] [2006] [2005] [2004] [2003] [2002] [2001] [2000] [1999] [1998] [1997] [1996] [1995] [1994] [1993] [1992] [1991] [1990] [1989] [1988] [1987] [1986] [PDF]