Software ProductivityIn retrospect. Search for an easier, simpler way (1968). The iterative IF as a primitive instruction (1967). Programmer productivity through individual responsibility (1968). The case against GO TO statements in PL/I (1969). The New York Times Thesaurus of Descriptors (1969). A structural description of the New York Times Thesaurus of Descriptors (1969). Measurements of program complexity (1969). Chief programmer teams: techniques and procedures (1970). On the statistical validation of computer programs (1970). OS/360 programming. Top down programming in large systems (1970). Programming techniques: from private art to public practice (1970). Mathematical foundations for structured programming (1972). Reading programs as a managerial activity (1972). How to buy quality software (1974). How to write correct programs and know it (1975). The new math of computer programming (1975). Software development (1976). Software engineering education (1980). Software productivity in the enterprise (1981). Index. |
Contents
In Retrospect | 1 |
Search for an Easier Simpler Way 1968 | 7 |
The Iterative IF as a Primitive Instruction 1967 | 9 |
Copyright | |
19 other sections not shown
Other editions - View all
Common terms and phrases
ADEN Protectorate Algorithms automatic data processing basic BLOCK Chief Programmer Team collecting node complex computer programming control graph control logic data processing data sets debugging defined descriptors Dijkstra DO-WHILE domain equations errors found example execution Figure flowchart Fortran function composition function f functional specification given GO TO's gramming graph labels hardware ideas IF-THEN-ELSE indigenous errors Individual Programmer input integration interface iteration Jacopini labels loop machine mathematical ment methodology ming modules names Note operations ordered pairs PL/I possible practical precision predicate node problem procedures productivity program content program correctness program function programming languages programming systems proof proper program range(f References result rigor segment sequence simply software development software engineering software system statements stepwise refinement structured programming Subheadings subprogram subspecifications syntactic syntax technical techniques Theorem Thesaurus tic-tac-toe tion top down programming Turing Machines write