A Technique for Software Module Specification with Examples This paper presents an approach to writing specifications for parts of software systems. The main goal is to provide specifications sufficiently precise and complete that other pieces of software can be written to interact with the piece specified without additional information. The secondary goal is to include in the specification no more information than necessary to meet the first goal. The technique is illustrated by means of a variety of examples from a tutorial system. CACM May, 1972 Parnas, D. L. software, specification, modules, software engineering, software design 4.0 4.29 4.9 CA720504 JB January 31, 1978 10:47 AM 1542 4 2356 1683 4 2356 1693 4 2356 1781 4 2356 1787 4 2356 1836 4 2356 1945 4 2356 2042 4 2356 2060 4 2356 2061 4 2356 2082 4 2356 2091 4 2356 2152 4 2356 2179 4 2356 2222 4 2356 2340 4 2356 2356 4 2356 2356 4 2356 2356 4 2356 2420 4 2356 2546 4 2356 2603 4 2356 2679 4 2356 2698 4 2356 2708 4 2356 2824 4 2356 2844 4 2356 2874 4 2356 2972 4 2356 2982 4 2356 2986 4 2356 3045 4 2356 3093 4 2356 3143 4 2356 970 5 2356 1491 5 2356 2227 5 2356 2356 5 2356 2356 5 2356 2356 5 2356 2704 5 2356 2738 5 2356 2866 5 2356 2869 5 2356 2941 5 2356 2958 5 2356 3004 5 2356 3030 5 2356 1247 6 2356 1425 6 2356 1471 6 2356 1552 6 2356 1749 6 2356 1749 6 2356 2080 6 2356 2247 6 2356 2247 6 2356 2247 6 2356 2356 6 2356 2356 6 2356 2356 6 2356 2356 6 2356 2356 6 2356 2356 6 2356 2356 6 2356 2356 6 2356 2379 6 2356 2436 6 2356 2456 6 2356 2457 6 2356 2558 6 2356 2597 6 2356 2651 6 2356 2651 6 2356 2673 6 2356 2777 6 2356 2796 6 2356 2958 6 2356 2972 6 2356 3186 6 2356