DocumentCode :
1009818
Title :
Experience with Module-Level Specification Methods
Author :
Braken, J.W.
Author_Institution :
SofTech, Inc.
Volume :
8
Issue :
6
fYear :
1975
fDate :
6/1/1975 12:00:00 AM
Firstpage :
58
Lastpage :
61
Abstract :
During the past three years, SofTech has been developing design and specification methods with the goals of improving design quality, reducing integration problems, increasing software portability, and enhancing project control and estimating methods. In particular we wanted to increase the visibility of the detailed design process in order to facilitate design reviews and design iterations. We also hoped to improve the description and management of all module interfaces in order to reduce integration problems and to allow alternative implementations of a module to be "plug-to-plug" compatible–an important consideration when software systems requiring several man-years to build are designed to be portable.
Keywords :
Computer errors; Documentation; Formal specifications; Manufacturing; Packaging machines; Programming profession; Software packages; Software testing;
fLanguage :
English
Journal_Title :
Computer
Publisher :
ieee
ISSN :
0018-9162
Type :
jour
DOI :
10.1109/C-M.1975.218990
Filename :
1649466
Link To Document :
بازگشت