F. P. Brooks, Jr., "No Silver Bullet--Essence and Accidents of Software Engineering," Computer 20 (4), April 1987.  Reprinted from Proceedings of the IFIP Congress, Dublin, Ireland, 1986. [pdf]

Leon Osterweil, "Software Processes are Software Too"; original 1987 [pdf]

Leon Osterweil, "Software Processes are Software Too, Revisited"; [pdf]

Bergland, A Guided Tour of Program Design Methodologies [pdf]

D. Parnas and Paul Clements, A Rational Design Process: How and why to fake it [pdf]

Lehman & Belady, Chapter 19, sections 1-2 [pdf]

 

Cleanroom

Richard C. Linger, "Cleanroom Software Engineering for Zero-Defect Software," IEEE Software, 1993, pp. 2-13. [pdf]

J.H. Poore, Harlan D. Mills, David Mutchler, "Planning and Certifying Software System Reliability", IEEE Software, vol 10 issue 1, January 1993, pp. 88-99 [pdf]

H. D. Mills, M. Dyer and R. C. Linger, "Cleanroom Software Engineering," IEEE Software, 4 (5), September 1987, pp. 19-25. [pdf]

CrossTalk: Cleanroom critique

 

Structured Analysis

Douglas T. Ross, "Structured Analysis (SA): A Language for Communicating Ideas", IEEE TSE, January1977, vol. SE-3, No. 1, pp. 16-34 [pdf]

Tom DeMarco, "Structured Analysis interview" [pdf]

"Structured Analysis and System Specification," by Tom DeMarco, Prentice Hall PTR, May 21, 1979, ISBN-13: 978-0138543808

 

Agile processes

"Agile software development methods," by Pekka Abrahamsson, Outi Salo, Jussi Ronkainen, and Juhani Warsta, ESPOO 2002 [pdf]

CrossTalk: What is Agile Software Development ?

CrossTalk: Agile Software Development for the Entire Project

"Balancing Agility and Discipline," by Barry Boehm and Richard Turner, ISBN 0-321-1861-5

"Extreme Programming Refactored: The Case against XP," by Matt Stephens and Doug Rosenberg, ISBN 1-59059-096-1

 

JSD

"An Overview of JSD," by John R. Cameron, IEEE TSE, February 1986, vol. SE-12, no. 2, pp. 222-240 [pdf]

JSD examples

JSP and JSD

Michael Jackson's page

"The Jackson Development Method" by Michael Jackson in Wiley Encyclopaedia of Software Engineering, 1992 [pdf]

 

PSP/TSP

Personal Software Process (PSP)

Team Software Process (TSP)

 

Formal software process

Karthikeyan Bhargavan, Carl A Gunter, Elsa L Gunter, Michael Jackson, Davor Obradovic and Pamela Zave;   The Village Telephone System: A Case Study in Formal Software Engineering; Proceedings of 11th International Conference on Theorem Proving in Higher-Order Logics TPHOLs98. [pdf]

 

Process definition, enactment and analysis

"Using Little-JIL to coordinate agents in Software Engineering" Alexander Wise et al., Automated Software Engineering Conference 2000 [pdf]

"STATEMATE: A Working Environment for the Development of Complex Reactive Systems" David Harel et al., IEEE TSE 1990 [pdf]

"Computational Reflection in Software Process Modeling: the SLANG Approach" S. Bandinelli and A. Fuggetta [pdf]

"Verifying Properties of Process Definitions" by Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil, ISSTA 2000 [pdf]

"Hierarchical Finite State Machines with Multiple Concurrency Models" by Alain Girault, Bilung Lee and Edward Lee, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, v. 18, No. 6, June 1999 [pdf]

"Automating Process Discovery through Event-Data Analysis" by Jonathan E. Cook and Alexander L. Wolf, ICSE 17, April 1995, Seattle, Washington, USA [pdf]

"Workflow Patterns" by W.M.P. van der Aalst et al. [pdf]

"Discovering Petri Nets From Event Logs" by W.M.P. van der Aalst and B.F. van Dongen [pdf]

 

Object-Oriented Method

"Object-Oriented Development" by Grady Booch, IEEE TSE, February 1986, vol. SE-12, no. 2, pp. 211-221 [pdf]

"Using the Shlaer-Mellor Object-Oriented Analysis Method" by Mohamed E. Fayad et al., IEEE Software, 1993 [pdf]

Coad & Yourdon OO method [pdf]

Object Behavior Analysis by Rubin and Goldberg [pdf]

 

Aspect-Oriented Programming

"A Disciplined Approach to Aspect Composition" by Roberto Lopez-Herrejon, Don Batory and Christian Lengauer, PEPM, 2006 [pdf]

"Program Transformation with Reflective and Aspect-Oriented Programming" by Shigeru Chiba [pdf]

"An Overview of AspectJ" by Gregor Kiczales et al. [pdf]

 

Feature-Oriented Programming

"Scaling Step-Wise Refinement" by Don Batory et al., IEEE TSE, 2004 [pdf]

"A Tutorial on Feature-Oriented Programming and the AHEAD tool suite" by Don Batory, [pdf]

"Function Class Decomposition: A Hybrid Software Engineering Method" by Carl K. Chang et al. [pdf]

Example of application of function class decomposition: [pdf]

 

Applications of software process technology

"Analyzing Medical Processes" by Bin Chen, George S. Avrunin, Elizabeth A. Henneman, Lori A. Clarke, Leon J. Osterweil, Philip L. Henneman, International Conference on Software Engineering (ICSE'08), Leipzig, Germany, May 2008, pp. 623-632[pdf]

"Awareness-based Collaboration Driving Process-based Coordination" by Dimitrios Georgakopoulos, Marian Nodine, Donald Baker, Andrzej Cichocki, International Conference on Collaborative Computing, 2006 [pdf]