CS617: Requirements Engineering

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

[Syllabus]

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

Course Materials

Texts:

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:

http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.45.6015&rep=rep1&type=pdf

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

Available Here:

http://www.cs.georgetown.edu/~alspaugh/pubs.html

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:

http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.21.495

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:

http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.67.9019

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:

http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.145.7354

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

Available Here:

http://citeseer.ist.psu.edu/133031.html

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:

http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.5.2840

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:

http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.50.4100

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:

http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.57.3960