A practical approach to specification technology selection

  title={A practical approach to specification technology selection},
  author={Margaret J. Davis and David R Addleman},
  journal={J. Syst. Softw.},
2 Citations

Figures and Tables from this paper

TABA: a heuristic workstation for software development

The work being conducted within the TABA Project is described. The project is concerned with the construction of a heuristic workstation able to create an environment tailored to meet specific



Specification Technology Guidelines.

Abstract : The purpose of this research was to provide the Air Force system and software development manager with an uncomplicated set of g;uidelines for matching existing methods and tools to the

A Requirements Engineering Methodology for Real-Time Processing Requirements

  • M. Alford
  • Computer Science
    IEEE Transactions on Software Engineering
  • 1977
This paper describes a methodology for the generation of software requirements for large, real-time unmanned weapons systems and how to use automated aids to improve the quality of the product.

Structured Analysis for Requirements Definition

The needs for requirements definition are examined, and a proposed approach to meeting those objectives with three interrelated subjects: context analysis, functional specification, and design constraints is proposed.

Structured Design

Considerations and techniques are proposed that reduce the complexity of programs by dividing them into functional modules. This can make it possible to create complex systems from simple,

Programming-in-the-Large Versus Programming-in-the-Small

The activity of writing large programs is distinguished from that of writing small ones, which means systems consisting of many small programs (modules), usually written by different people.

and P

  • E. Presson, Specification Technology Guidelines, RADC TR-85-135, Rome Air Development Center, Rome, NY,
  • 1985

and L

  • L. Constantine, Structured Design, Yourdon Press, New York,
  • 1975

A and V

and C

  • Youngblut, Methodman II, Institute for Defense Analyses, Alexandria, VA, Nov
  • 1984