Accession Number : ADA095990


Title :   The Application of HOS to PLRS


Descriptive Note : Final rept. 27 May-31 Oct 1977


Corporate Author : HIGHER ORDER SOFTWARE INC CAMBRIDGE MA


Personal Author(s) : Hamilton, Margaret ; Zeldin, Saydean


Full Text : https://apps.dtic.mil/dtic/tr/fulltext/u2/a095990.pdf


Report Date : Nov 1977


Pagination or Media Count : 141


Abstract : The purpose of the PLRS project was to demonstrate the advantages of applying an effective methodology to a large system development process. A portion of the most complex module (the Network Manager) of the PLRS system was selected and that module was specified in terms of Higher Order Software (HOS), using the specification language, AXES, with graphical representation in terms of control maps. This module includes data type and control structure definitions, which were specifically defined to be used in common with the PLRS system environment. We discuss, here, how such a technique was able to (1) accelerate the learning process of PLRS; (2) accelerate the specification process in the redefinition of a PLRS module; (3) serve as a verification and validation aid for the specification of PLRS; (4) aid in establishing overall design goals; (5) potentially enhance existing techniques of an ongoing development; and (6) provide management visibility with respect to the overall PLRS system. As a result of our finding on this effort, we discuss recommendations and their implications both for PLRS and future efforts.


Descriptors :   *COMPUTER PROGRAMMING , *HIGH LEVEL LANGUAGES , *METHODOLOGY , *POSITION(LOCATION) , COMPUTER PROGRAM RELIABILITY , DYNAMIC PROGRAMMING , ERROR ANALYSIS , FAULT TOLERANT COMPUTING , FAULT TREE ANALYSIS , FLOW CHARTING , NETWORK FLOWS


Subject Categories : Computer Programming and Software


Distribution Statement : APPROVED FOR PUBLIC RELEASE