APL as a Software Design Specification Language
暂无分享,去创建一个
A proposed extension of APL as a software design tool is presented. The approach of system specification using a programming language is compared to the non-programming language system PROPLAN presented by Pengilly (1975). Illustrative examples given by Pengilly are translated into the extended APL format. Advocating the adoption of a programming language in software design is not intended to exclude the use of natural language or other formalisms and documentation aids such as HIPO which are commonplace in a software engineering environment. However, the importance and even necessity of specification languages which, when used in a design, can enhance the process of verifying correctness is increasing. This concern is further supported by the reliability that 'no programming philosophy will improve software reliability if the underlying system specifications are erroneous or have been incorrectly translated' (Belford and Taylor, 1976). Thus the selection or development of a software design language is inextricably intertwined with the specification verification problem. Falkoff (1976) has suggested the following criteria for the choice of a formal design language:
[1] P. J. Pengilly. An Approach to Systems Design , 1976, Comput. J..
[2] Susan Lucille Gerhart,et al. Verification of apl-programs. , 1972 .
[3] Harwood G. Kolsky. Problem Formulation Using APL , 1969, IBM Syst. J..
[4] Stephen N. Zilles,et al. Specification techniques for data abstractions , 1975 .