ACM Portal
  Subscribe (Full Service)    Register (Limited Service, Free)    Login
  Search:   The ACM Digital Library   The Guide
  
ACM Home Page
Please provide us with feedback. Feedback
Digital Library logoTake a look at the new version of this page: [ beta version ]. Tell us what you think.
Structured Programming; Theory and Practice the Systems Programming Series, 1st edition
  Purchase this Book  
Source
Pages: 402  
Medium: Hardcover
Year of Publication: 1979
ISBN:0201144611
Authors
Richard C. Linger
Bernard I. Witt
H. D. Mills
Publisher
Addison-Wesley Longman Publishing Co., Inc.  Boston, MA, USA
Bibliometrics
Downloads (6 Weeks): n/a,   Downloads (12 Months): n/a,   Citation Count: 93
Additional Information:

cited by   collaborative colleagues  

Tools and Actions: Review this Book  

CITED BY  93
J. E. Odom, Using box structures for definition of requirements specifications, IBM Systems Journal, v.29 n.1, p.59-78, January 1990
Carmen J. Trammell , Leon H. Binder , Cathrine E. Snyder, The automated production control documentation system: a case study in cleanroom software engineering, ACM Transactions on Software Engineering and Methodology (TOSEM), v.1 n.1, p.81-94, Jan. 1992
Daniel Hoffman , Paul Strooper, State abstraction and modular software development, ACM SIGSOFT Software Engineering Notes, v.20 n.4, p.53-61, Oct. 1995
Robert G. Reynolds , Jonathan I. Maletic , Stephen E. Porvin, Stepwise Refinement and Problem Solving, IEEE Software, v.9 n.5, p.79-88, September 1992
Ronald E. Prather, Design and analysis of hierarchical software metrics, ACM Computing Surveys (CSUR), v.27 n.4, p.497-518, Dec. 1995
John F. Schrage, Educator's view of structured concepts, Proceedings of the ACM 1980 annual conference, p.327-341, January 1980
Murray Wood , Marc Roper , Andrew Brooks , James Miller, Comparing and combining software defect detection techniques: a replicated empirical study, ACM SIGSOFT Software Engineering Notes, v.22 n.6, p.262-277, Nov. 1997
Ira R. Forman, Global data flow analysis by decomposition into primes, Proceedings of the 6th international conference on Software engineering, p.386-392, September 13-16, 1982, Tokyo, Japan
Neal S. Coulter, Information hiding, the Intel iAPX 432,and Ada, Proceedings of the 20th annual Southeast regional conference, p.160-167, April 01-03, 1982, Knoxville, Tennessee
Marcus Ciolkowski , Oliver Laitenberger , Dieter Rombach , Forrest Shull , Dewayne Perry, Software inspections, reviews & walkthroughs, Proceedings of the 24th International Conference on Software Engineering, May 19-25, 2002, Orlando, Florida
Raghavan Komondoor , Susan Horwitz, Semantics-preserving procedure extraction, Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.155-169, January 19-21, 2000, Boston, MA, USA
David Lorge Parnas, A generalized control structure and its formal definition, Communications of the ACM, v.26 n.8, p.572-581, Aug. 1983
Richard C. Linger, Cleanroom software engineering for zero-defect software, Proceedings of the 15th international conference on Software Engineering, p.2-13, May 17-21, 1993, Baltimore, Maryland, United States
H. D. Mills , V. R. Basili , J. D. Gannon , R. G. Hamlet, Teaching principles of computer programming, Proceedings of the 15th annual conference on Computer Science, p.336-341, February 1987, St. Louis, Missouri, United States
Robert Oshana , Frank P. Coyle, Implementing cleanroom software engineering into a mature CMM-based software organization, Proceedings of the 19th international conference on Software engineering, p.572-573, May 17-23, 1997, Boston, Massachusetts, United States
Ali Mili , Jules Desharnais , Jean Raynomd Gagné, Formal models of stepwise refinements of programs, ACM Computing Surveys (CSUR), v.18 n.3, p.231-276, Sept. 1986
Iris Vessey , Ron Weber, Some factors affecting program repair maintenance: an empirical study, Communications of the ACM, v.26 n.2, p.128-134, Feb. 1983
Douglas D. Dunlop , Victor R. Basili, A Comparative Analysis of Functional Correctness, ACM Computing Surveys (CSUR), v.14 n.2, p.229-244, June 1982
David L. Parnas , A. John van Schouwen , Shu Po Kwan, Evaluation of safety-critical software, Communications of the ACM, v.33 n.6, p.636-648, June 1990
Martin L. Shooman, The teaching of software engineering, ACM SIGCSE Bulletin, v.15 n.1, p.66-71, February 1983
Thomas E. Cheatham, Jr. , Glenn H. Holloway , Judy A. Townley, Program refinement by transformation, Proceedings of the 5th international conference on Software engineering, p.430-437, March 09-12, 1981, San Diego, California, United States
Alastair Dunsmore , Marc Roper , Murray Wood, Systematic object-oriented inspection — an empirical study, Proceedings of the 23rd International Conference on Software Engineering, p.135-144, May 12-19, 2001, Toronto, Ontario, Canada
Ali Mili , Jules Desharnais, A system for classifying program verification methods: Assigning meanings to program verification methods, Proceedings of the 7th international conference on Software engineering, p.499-509, March 26-29, 1984, Orlando, Florida, United States
John C. Knight , E. Ann Myers, An improved inspection technique, Communications of the ACM, v.36 n.11, p.51-61, Nov. 1993
Philip A. Hausler , Mark G. Pleszkoch , Richard C. Linger , Alan R. Hevner, Using Function Abstraction to Understand Program Behavior, IEEE Software, v.7 n.1, p.55-63, January 1990
David Harel, On folk theorems, Communications of the ACM, v.23 n.7, p.379-389, July 1980
J. H. Poore , Harlan D. Mills , David Mutchler, Planning and Certifying Software System Reliability, IEEE Software, v.10 n.1, p.88-99, January 1993
Robert L. Ashenhurst, ACM forum, Communications of the ACM, v.33 n.8, p.14-ff., Aug. 1990
Jarir K. Chaar , Michael J. Halliday , Inderpal S. Bhandari , Ram Chillarege, In-Process Evaluation for Software Inspection and Test, IEEE Transactions on Software Engineering, v.19 n.11, p.1055-1070, November 1993
Terry Flaherty, A simple technique to motivate structured programming, ACM SIGCSE Bulletin, v.20 n.1, p.153-155, Feb. 1988
James A. Whittaker, Software's Invisible Users, IEEE Software, v.18 n.3, p.84-88, May 2001
Ira R. Forman, An algebra for data flow anomaly detection, Proceedings of the 7th international conference on Software engineering, p.278-286, March 26-29, 1984, Orlando, Florida, United States
Allan R. Moore , Richard S. Kopp, Educational experiences in industrial software engineering, Proceedings of the ACM 1980 annual conference, p.118-122, January 1980
Richard H. Cobb , Harlan D. Mills, Engineering Software Under Statistical Quality Control, IEEE Software, v.7 n.6, p.44-54, November 1990
Fridtjof Feldbusch , Ramayya Kumar, Verification of synthesized circuits at register transfer level with flow graphs, Proceedings of the conference on European design automation, February 25-28, 1991, Amsterdam, The Netherlands
Alastair Dunsmore , Marc Roper , Murray Wood, Practical Code Inspection Techniques for Object-Oriented Systems: An Experimental Comparison, IEEE Software, v.20 n.4, p.21-29, July 2003
D. C. Ince, The provision of procedural and functional interfaces for the maintenance of program design language and program language notations, ACM SIGPLAN Notices, v.19 n.2, p.68-74, February 1984
Eric G. Wagner, Algebraic specifications: some old history and new thoughts, Nordic Journal of Computing, v.9 n.4, p.373-404, Winter 2002
Oliver Laitenberger , Dieter Rombach, (Quasi-)experimental studies in industrial settings, Lecture notes on empirical software engineering, World Scientific Publishing Co., Inc., River Edge, NJ, 2003
CORPORATE Tech Correspondence, Technical correspondence, Communications of the ACM, v.30 n.7, p.632-634, July 1987
John Hartman, Understanding natural programs using proper decomposition, Proceedings of the 13th international conference on Software engineering, p.62-73, May 13-17, 1991, Austin, Texas, United States
Robert G. Reynolds, PARTIAL: a tool to monitor the stepwise refinement of Ada programs, ACM SIGSOFT Software Engineering Notes, v.10 n.3, p.76-94, July 1985
Timothy J. Shimeall , Nancy G. Leveson, An Empirical Comparison of Software Fault Tolerance and Fault Elimination, IEEE Transactions on Software Engineering, v.17 n.2, p.173-182, February 1991
Michael Deck, Managing Process Diversity While Improving Your Practices, IEEE Software, v.18 n.3, p.21-27, May 2001
Albert Endres, Lessons Learned in an Industrial Software Lab, IEEE Software, v.10 n.5, p.58-61, September 1993
Harlan D. Mills, Stepwise Refinement and Verification in Box-Structured Systems, Computer, v.21 n.6, p.23-36, June 1988
J. D. Gannon, Characteristic errors in programming languages, Proceedings of the 1978 annual conference, p.570-575, January 1978
Alan R. Hevner , Harlan D. Mills, Box-structured methods for systems development with objects, IBM Systems Journal, v.32 n.2, p.232-251, April 1993
Mark Woodman, A Program Design Language for software engineering, ACM SIGPLAN Notices, v.19 n.8, August 1984
Allan M. Stavely, Verifying Definite Iteration Over Data Structures, IEEE Transactions on Software Engineering, v.21 n.6, p.506-514, June 1995
Alan R. Hevner , Shirley A. Becker , Lenard B. Pedowitz, Integrated CASE for Cleanroom Development, IEEE Software, v.9 n.2, p.69-76, March 1992
Jean E. Sammet , Douglas W. Waugh , Robert W. Reiter, PDL/Ada: a design language based on Ada, ACM SIGAda Ada Letters, v.II n.3, p.19-31, November-December 1982
Victor Basili , Scott Green, Software Process Evolution at the SEL, IEEE Software, v.11 n.4, p.58-66, July 1994
Grady Booch, Object-oriented design, ACM SIGAda Ada Letters, v.I n.3, p.64-76, March/April 1982
Robert N. Britcher, Using Inspections to Investigate Program Correctness, Computer, v.21 n.11, p.38-44, November 1988
Alastair Dunsmore , Marc Roper , Murray Wood, The Development and Evaluation of Three Diverse Techniques for Object-Oriented Code Inspection, IEEE Transactions on Software Engineering, v.29 n.8, p.677-686, August 2003
Yair Wand , Ron Weber, An Ontological Model of an Information System, IEEE Transactions on Software Engineering, v.16 n.11, p.1282-1292, November 1990
L. J. Morell, A Theory of Fault-Based Testing, IEEE Transactions on Software Engineering, v.16 n.8, p.844-857, August 1990
Richard C. Linger, Cleanroom Process Model, IEEE Software, v.11 n.2, p.50-58, March 1994
Lori A. Clarke , David S. Rosenblum, A historical perspective on runtime assertion checking in software development, ACM SIGSOFT Software Engineering Notes, v.31 n.3, May 2006
Oliver Laitenberger , Khaled El Emam , Thomas G. Harbich, An Internally Replicated Quasi-Experimental Comparison of Checklist and Perspective-Based Reading of Code Documents, IEEE Transactions on Software Engineering, v.27 n.5, p.387-421, May 2001
Jean E. Sammet , Douglas W. Waugh , Robert W. Reiter, Jr., PDL/Ada—a design language based on Ada, Proceedings of the ACM '81 conference, p.217-229, January 1981
Robert B. Terwilliger, Toward tools to support the Gries/Dijkstra design process, ACM SIGSOFT Software Engineering Notes, v.18 n.2, p.50-59, April 1993
A. A. Shalyto , N. I. Tukkel', Translating Iterative Algorithms into Automaton Ones, Programming and Computing Software, v.28 n.5, p.250-260, September-October 2002
Hidetaka Kondoh , Kokichi Futatsugi, To use or not to use the goto statement: programming styles viewed from Hoare logic, Science of Computer Programming, v.60 n.1, p.82-116, March 2006
Mark G. Pleszkoch , Richard C. Linger , Alan R. Hevner, Introducing function extraction into software testing, ACM SIGMIS Database, v.39 n.3, August 2008
Alexy V. Khrabrov, An Ada-like separate compilation style in C, ACM SIGAda Ada Letters, v.XV n.2, p.23-30, Mar./April 1995
Lionel E. Deimel, Jr., The uses of program reading, ACM SIGCSE Bulletin, v.17 n.2, p.5-14, June 1985
V. A. Nepomniaschy, Verification of finite iterations over collections of variable data structures, Cybernetics and Systems Analysis, v.43 n.3, p.341-352, May 2007
John C. Knight , E. Ann Myers, Phased inspections and their implementation, ACM SIGSOFT Software Engineering Notes, v.16 n.3, p.29-35, July 1991
Rosann Webb Collins , Alan R. Hevner , Gwendolyn H. Walton , Richard C. Linger, The impacts of function extraction technology on program comprehension: A controlled experiment, Information and Software Technology, v.50 n.11, p.1165-1179, October, 2008
Dieter Rombach , Marcus Ciolkowski , Ross Jeffery , Oliver Laitenberger , Frank McGarry , Forrest Shull, Impact of research on practice in the field of inspections, reviews and walkthroughs: learning from successful industrial uses, ACM SIGSOFT Software Engineering Notes, v.33 n.6, November 2008
James R. McKee, Maintenance as a function of design, Proceedings of the July 9-12, 1984, national computer conference and exposition, July 09-12, 1984, Las Vegas, Nevada
David Lorge Parnas, Document based rational software development, Knowledge-Based Systems, v.22 n.3, p.132-141, April, 2009
V. I. Shynkarenko , V. M. Ilman , V. V. Skalozub, Structural models of algorithms in problems of applied programming. I. Formal algorithmic structures, Cybernetics and Systems Analysis, v.45 n.3, p.329-339, May 2009
L. Lin , S. J. Prowell , J. H. Poore, The impact of requirements changes on specifications and state machines, Software—Practice & Experience, v.39 n.6, p.573-610, April 2009
T. A. Corbi, Program understanding: challenge for the 1990's, IBM Systems Journal, v.28 n.2, p.294-306, 1989
Webb T. Comfort, A fault-tolerant system architecture for navy applications, IBM Journal of Research and Development, v.27 n.3, p.219-236, May 1983
R. Goldberg, Software engineering: an emerging discipline, IBM Systems Journal, v.25 n.3-4, p.334-353, September 1986
R. A. Radice , N. K. Roth , A. C. O'Hara , W. A. Ciarfella, A programming process architecture, IBM Systems Journal, v.24 n.2, p.79-90, June 1985
M. B. Carpenter , H. K. Hallman, Quality emphasis at IBM's software engineering institute, IBM Systems Journal, v.24 n.2, p.121-133, June 1985
W. E. Beregi, Architecture prototyping in the software engineering environment, IBM Systems Journal, v.23 n.1, p.4-18, March 1984
R. G. Mays, Forging a silver bullet from the essence of software, IBM Systems Journal, v.33 n.1, p.20-45, 1994
P. A. Hausler , R. C. Linger , C. J. Trammell, Adopting Cleanroom software engineering with a phased approach, IBM Systems Journal, v.33 n.1, p.89-109, 1994
R. E. Quinnan, The management of software engineering: part V:software engineering management practices, IBM Systems Journal, v.19 n.4, p.466-477, December 1980
V. R. Yakhnis , J. A. Farrell , S. S. Shultz, Deriving programs using generic algorithms, IBM Systems Journal, v.33 n.1, p.158-181, 1994
J. L. Archibald , B. M. Leavenworth , L. R. Power, Abstract design and program translator: new tools for software design, IBM Systems Journal, v.22 n.3, p.170-187, March 1983
H. D. Mills, The management of software engineering part I: principles of software engineering, IBM Systems Journal, v.38 n.2-3, p.289-295, 1999
M. E. Dewell, Cross system product application generator: application design, IBM Systems Journal, v.29 n.2, p.265-273, 1990
H. D. Mills , R. C. Linger , A. R. Herner, Box structured information systems, IBM Systems Journal, v.26 n.4, p.395-413, Dec. 1987
Lan Lin , Stacy J. Prowell , Jesse H. Poore, An axiom system for sequence-based specification, Theoretical Computer Science, v.411 n.2, p.360-376, January, 2010
Albertas Čaplinskas, Requirements Elicitation in the Context of Enterprise Engineering: A Vision Driven Approach, Informatica, v.20 n.3, p.343-368, August 2009
J. L. Archibald , B. M. Leavenworth , L. R. Power, Abstract design and program translator: new tools for software design, IBM Systems Journal, v.22 n.3, p.170-187, September 1983
Collaborative Colleagues:
Richard C. Linger: colleagues
Bernard I. Witt: colleagues
H. D. Mills: colleagues

The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us

Useful downloads: Adobe Acrobat    QuickTime    Windows Media Player    Real Player