Jan 31

Alagbada, Taofeek :   F. P. Brooks, Jr., "No Silver Bullet--Essence and Accidents of Software Engineering"
Tang, Xiaoran:   Bergland, A Guided Tour of Program Design Methodologies

Feb 7

Bichu, Tanvi :   Leon Osterweil, "Software Processes are Software Too"
Baskaran, Harsha Vardan Raaj :   D. Parnas and Paul Clements, A Rational Design Process: How and why to fake it

Feb 14

Chandana, Aleti :   "Agile software development methods" by Pekka; Crystal family of processes, Feature-Driven development, Open Source process
Huang, Guiming :   "An Overview of JSD" by John R. Cameron
Chadha, Sidhant :   "Object-Oriented Development" by Grady Booch

Feb 21

Kumari, Jyoti :   Douglas T. Ross, "Structured Analysis (SA): A Language for Communicating Ideas"
Diocares, Jose :   Lehman & Belady, Chapter 19, sections 1-2
Ghogale, Pratik :   "Agile software development methods" by Pekka; XP, Scrum, RUP

Feb 28

Phillips, Elizabeth :   "Object Behavior Analysis" by Rubin and Goldberg
Harris, Trevor :   "Using Little-JIL to coordinate agents in Software Engineering" Alexander Wise et al., Automated Software Engineering Conference 2000
Gopidalai, Sethu Ramanujam :   Richard C. Linger, "Cleanroom Software Engineering for Zero-Defect Software"

March 7

Raje, Akshay :   Personal Software Process (PSP)
Jadhav, Niraj :   Team Software Process (TSP)

March 21

Ramakrishnaiah, Madhusudhan:   "The Village Telephone System: A Case Study in Formal Software Engineering" by Karthikeyan Bhargavan, Carl A Gunter, Elsa L Gunter, Michael Jackson, Davor Obradovic and Pamela Zave
Karki, Kritika :   "Verifying Properties of Process Definitions" by Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil

March 28

Shirodkar, Omkar :   "Discovering Petri Nets From Event Logs" by W.M.P. van der Aalst and B.F. van Dongen
Karuppannan Subbarayan, Sivaranjani :   "Automating Process Discovery through Event-Data Analysis" by Jonathan E. Cook and Alexander L. Wolf, ICSE 17, April 1995

Apr 4

Thuraka, Rajasekhar :   "A Disciplined Approach to Aspect Composition" by Roberto Lopez-Herrejon, Don Batory and Christian Lengauer
Pawar, Akash Ashok :   "Program Transformation with Reflective and Aspect-Oriented Programming" by Shigeru Chiba

Apr 11

Vadla, Pavan :   "Function Class Decomposition: A Hybrid Software Engineering Method" by Carl K. Chang et al.
Rana, Aishwarya :   "An Overview of AspectJ" by Gregor Kiczales et al.
Thipparthi, Neha :   "Scaling Step-Wise Refinement" by Don Batory et al., IEEE TSE, 2004

Apr 18

Vardha, Vishal Goud :   "STATEMATE: A Working Environment for the Development of Complex Reactive Systems" David Harel et al., IEEE TSE 1990
Trivedi, Priyank :   "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
Vattam, Anusha :   "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)

Apr 25

Project presentations