Course Information:

Course Homepage: http://selab.netlab.uky.edu/~ashlee/cs617/

Section: 001

Meets: TTR 3:30 - 4:45

Location: OHR - C226

Instructor: Dr. E. Ashlee Holbrook

Office Hours TTH 4:45-5:45 Anderson 763G

E-mail: ashlee~at~uky.edu

Alternate E-mail: ashleeh~at~gmail.com


*NEW* Class Forum: http://www.ashleeh.com/cs617/bbpress/

Course Materials


Required Text:

Requirements Engineering

Axel van Lamsweerde

Wiley ISBN: 978-0-470-01270-3

You must obtain a copy of this text.

Optional Text:

Software Requirements, 2nd Ed.

Karl Weigers

Microsoft Press ISBN: 978-0-735-61879-4


Paper Reviews:

See the syllabus for a grading ruberic for paper reviews.

Paper Review 1 - Due 1/26/10

V.R. Basili, et al., "The Empirical Investigation of Perspective-Based Reading," Empirical Software Engineering, 1(2):133-164, 1996.

Available Here: http://www.cs.umd.edu/~mvz/handouts/emp_pbr.pdf

Paper Review 2 - Due 2/9/10

Choose one of the following papers:

A. Sutcliffe, "Scenario-Based Requirement Analysis," Requirements Engineering Journal, 3(1):48-65, 1998.

Available Here:


T.A. Asplaugh and A.I. Antón, "Scenario Support for Effective Requirements," Information and Software Technology (3)50:198-220, 2008.

Available Here:


Paper Review 3 - Due 3/9/10

Choose one of the following papers:

W.N. Robinson, and S. Pawlowski, "Managing Requirements Inconsistency with Development Goal Monitors," IEEE Transactions on Software Engineering, November/December, 1999.

Available Here:


Letier, E. and van Lamsweerde, A. 2004. Reasoning about partial goal satisfaction for requirements and design engineering. In Proceedings of the 12th ACM SIGSOFT Twelfth international Symposium on Foundations of Software Engineering (Newport Beach, CA, USA, October 31 - November 06, 2004). SIGSOFT '04/FSE-12. ACM, New York, NY, 53-62.

Available Here:


Paper Review 4 - Due 3/23/10

Choose one of the following papers:

C. Denger, D.M. Berry, and E. Kamsties, "Higher Quality Requirements Specifications through Natural Language Patterns," Software - Science, Technology & Engineering, November, 2003.

Available Here:


C. Rolland and C. Proix, "A Natural Language Approach for Requirements Engineering," Conference on Advanced Information Systems Engineering, May, 1992.

Available Here:


Paper Review 5 - Due 4/13/10

Choose one of the following papers:

J.H. Hayes, A. Dekhtyar, and J. Osbourne, "Improving Requirements Tracing via Information Retrieval," International Conference on Requirements Engineering, September, 2003.

Available Here:


E. Ashlee Holbrook, Jane Huffman Hayes, Alex Dekhtyar, "Toward Automating Requirements Satisfaction Assessment," in the proceedings of the 17th IEEE International Conference on Requirements Engineering, Atlanta, Georgia, September, 2009.

Available Here:

http://selab.netlab.uky.edu/~ashlee/cs617/towardautomating.pdf [draft version]

Paper Review 6 - Due 4/22/10

Choose one of the following papers:

Constance L. Heitmeyer: Formal Methods for Specifying, Validating, and Verifying Requirements. J. UCS 13(5): 607-618 (2007)

Available Here:


Hörl, J. and Aichernig, B. K. 2000. Validating Voice Communication Requirements Using Lightweight Formal Methods. IEEE Softw. 17, 3 (May. 2000), 21-27.

Available Here:




Individual Project - Due 2/18/10

Available Here.

*NEW* Notes from requirements elicitation session:



Group Project - Due 3/30/10


Requirments Specifications:

1. PDFSam - Source: http://www.google.com/url?sa=t&source=web&ct=res&cd=1&ved=0CAgQFjAA&url=http%3A%2F%2Fwww.pdfsam.org%2Fuploads%2FPDFsam-SRS-v2.1.0-EN.pdf&rct=j&q=pdf+sam+requirements&ei=B5-QS6WbJtPf8Ab7k6CoBQ&usg=AFQjCNEDbi5oGM2EtlV600o7_TRBH43r9Q


2. PINES - Source: http://pines.georgialibraries.org/reports-working-group


3. VGM Audit Storage - Source: http://www.doj.mt.gov/gaming/forms.asp


4. ASPERA-3 Processing and Logging Facility - Source: http://www.aspera-3.org/idfs/idfs_info.html




1/14/10 (Chapter 1)

1/19/10 (Chapter 1, 2)

1/21/10 (Chapter 2, 3)

1/26/10 and 1/28/10 (Chapter 3, 4)

2/2/10 (Chapter 4, 5)

2/4/10 (Chapter 5)

Chapter 6

Chapter 7

Chapter 8

Chapter 9

Chapter 10

Chapter 11

Chapter 12

Chapter 13

Chapter 14

Chapter 16

Chapter 17 and 18