Polytechnic Press NY 1976; 583 pages, some illustrations, references, index of contributors.
Condition: Good+ overall, gray cloth hardcover, titles in dark blue; previous owner's name and address partially inked out on front pastedown; some shelfwear, top of textblock some dustiness and foxing. Binding is sound, slight bow to the front board and slight shelf-lean; pages unmarked.
Categories: 1970's computers and computing, Computer Science, Databooks, Handbooks, Manuals, Minicomputers, Programming and Programming Languages, Assembly and Machine Language, General Programming, Philosophy of Programming, Technical Journals, Proceedings, Conferences, Miscellaneous, Word Processing, Data Processing
See all items by Jerome Fox, Polytechnic Press of the Polytechnic Institute of new york
Item DescriptionContents include -- The Everest of Software (Branscomb) Keynote - Software Management (Gansler); Modern Software Design Techniques (Fairley); Software Design Representation Schemes (Peters and Tripp); A Modular Approach to the Structured Design of Operating Systems (Krakowiak, Lucas, Montuelle, Mossiere); ISDOS and Recent Extensions (Teichroew); Specification Verification - a key to improving software reliability (Belford and Taylor);
R-NETS - a graph model for real-time software requirements (Alford and Burns); A Flow-Oriented Requirements Statement Language (Bell and Bixler); Requirements Derivation in Automatic Programming (Martin & Bosy); A Software Physics Analysis of Akiyama's Debugging Data (Funami & Halstead); Program Structures Complexity and Error Characteristics (Green, Schneidewind, Howard, Pariseau); Effect of Manpower Deployment and Bug Generation on Software Error Models (Amster, Davis, Dickster, Kuoni);
A Measure to Support Calibration and Balancing of the Effectiveness of Software Engineering Tools and Techniques (Curry); COst of Modularity (Camp & Jensen); Formal Problem Specifications for Readers and Writers Scheduling (Greif); Axioms for Structural Induction on Programs Containing BLock Exits (Kieburtz & Cherniavsky); Specifications, Refinement, and Proof of a Macroprocessor (Yelowitz); A Program Verifier withh Assertions in terms of Abstract Data (Schorre); A Semi-Markov Model for Software Reliability with Failure Costs (Littlewood); Decompilation and the Transfer of Assembly-Coded Minicomputer Systems programs (Friedman);
SPTRAN - a Fortran-compatible Structured Programming Language Converter (Elliott); Formalizing the Specification of Target Machines for Compiler Adaptability Enhancement (Ramamoorthy and Jahanian); Data Types and Programming Reliability - Some preliminary evidence (Gannon); Fault-Tolerant Software -- motivation and capabiities (Hecht); Fault-tolerant Software for a Dual Processor with Monitor (Johnson and Shaw);
Emulation of an Aerospace Computer on a Microprogrammable Machine (Carney); Automating Multiple Program Realizations (Boyle and Matz); Experience with an ALGOL 68 Numerical Algoritihms testbed (Hennel, Hedley, Woodward); TESTER/1 - an abstract model for the automatic synthesis of program test case specifications (Peterson); Proposed measures for the evaluation of software (Mohanty and Adamowicz); An exploratory experiment with 'foreign' debugging of programs (Musa); A comprehensive software design technique (Davidson and Jones); Software effectiveness - a reliability growth approach (Pikul and Wojcik); SIMON - a project management system for software development (Fleischer and Spitler); An Application of top-down programming (Schaenzer).