Introduction to the Course Software Specification Lecture 1

1
Introduction to the CourseSoftware
SpecificationLecture 1

• Prepared by
• Stephen M. Thebaut, Ph.D.
• University of Florida

2
Instructor Steve Thebaut

• Office 314-A CSE
• E-Mail smt_at_cise.ufl.edu
• Phone [phone]
• Address
• 301 CSE Bldg., PO Box 116120
• University of Florida
• Gainesville, FL 32611-6120

3
TA James Nichols

• Office TBD
• E-Mail jinichol_at_cise.ufl.edu

4
Course Description

• Software Specification, CEN 6075, is a
  graduate-level survey course on the concepts,
  principles, and techniques related to software
  and systems requirements engineering (RE).

5
Course Description (cont)

• Topics include
• System modeling
• Requirements elicitation
• Analysis and documentation techniques
• Validation and prototyping
• Formal methods

6
Course Description (cont)

• Students will practice the techniques presented
  in class via individual and/or group exercises
  and a term project.

7
Prerequisite

• Successful completion of an upper division
  (undergraduate) or graduate-level software
  engineering survey course (such as CEN 3031/
  5035), or permission of the instructor.

8
Course Website

• www.cise.ufl.edu/class/cen6075/sp05
• Class Meeting Times
• Tues 7th / Thurs 7-8th Period in Room CSE 107

9
Required Reading Material

• Brooks, The Mythical Man-Month (Anniversary
  Edition), Addison-Wesley, 1995, Chapters 16 and
  17.
• Robertson Robertson, Mastering the
  Requirements Process, Addison-Wesley, 1999,
  Chapter 2.

10
Required Reading Material (cont)

• Gause Weinberg, Exploring Requirements
  Quality Before Design, Dorset House, 1989.
• Kotonya Sommerville, Requirements Engineering
  Processes and Techniques, Wiley Sons, 1998,
  Chapters 1, 3 (Section 3.3 only), 6, and 8
  (Section 8.4 only).

11
Required Reading Material (cont)

• Sommerville, Software Engineering, 5th Edition,
  Addison-Wesley, 1996, Chapters 10 and 11.
• Sommerville, Software Engineering, 6th Edition,
  Addison-Wesley, 2000. Chapter 19 (Section 19.4
  only).

12
Required Reading Material (cont)

• You should purchase a copy of the Gause
  Weinberg text.
• Authorized reprints of the other readings may be
  purchased as a packet from University Copy
  More, 1620 W. University Avenue, [phone].

13
Outline of Topics

• RE introduction/basics (Kotonya Sommerville)
• Volere overview a comprehensive RE process
  model (Robertson Robertson)
• Human aspects of RE working with people (Gause
  Weinberg)
• Survey of RE methods and techniques (Kotonya
  Sommerville)
• Formal specification (algebraic, model-based,
  functional)

14
Class Format

• You should complete assigned readings / exercises
  before they are discussed in class, and should
  expect in-class discussions/activities to
  complement (as opposed to summarize or replace)
  the readings / exercises.

15
Class Format (cont)

• Impromptu in-class role-playing and/or
  illustrative exercises will be the norm for some
  topics (e.g., parts of the Gause Weinberg
  text), while a more traditional lecture format
  will be used for others (e.g., formal
  specification techniques).
• Local students will be asked to provide
  occasional impromptu status reports on their term
  project activities.

16
Term Project

• FEEDS students will participate in a significant
  group RE project orchestrated by the TA (or
  possibly a relevant independent project).
• Additional information will be provided later.

17
Examinations and Grades

• Your course grade will be based SOLELY on a term
  project and two tests, the second of which will
  be held (in Gainesville) on Thursday, April 14th.
  (Test dates for FEEDS students will be scheduled
  LOCALLY on a site-by-site basis.)
• The project and tests will be weighted equally
  (i.e., 1/3 each).

18
Exercises

• Exercises for some topics will be made available
  and discussed in class as appropriate, but will
  not be graded.
• Required Computer Facilities
• Access to e-mail and the WWW is required.

19
Class Attendance

• You are encouraged, but not required, to
  attend/view all lectures. You will, however, be
  responsible for all announcements and course
  material discussed in class regardless of whether
  or not you attend.

20
Make-Up Exam Policy

• Local students should not schedule interview
  trips or other non-emergency travel on exam days,
  as make-up exams are not normally possible.

21
Accommodations

• Students with disabilities requesting classroom
  accommodation must first register with the Dean
  of Students Office.

22
Academic Integrity

• You will be asked to sign the following
  statement on tests On my honor, I have neither
  given nor received unauthorized aid on this
  examination.

23
Technical Difficulties

• Please report media (streaming video, CD-ROM,
  videotape) or off-campus exam distribution
  problems to
• Bob Mason
• bmaso_at_eng.ufl.edu
• [phone]

24
Technical Difficulties (contd)

• Course Web Site problems should be reported to
• James Nichols
• jinichol_at_cise.ufl.edu

25
Reading Assignments

• Brooks, The Mythical Man-Month (Anniversary
  Edition), Chapters 16 and 17.
• Kotonya Sommerville, Requirements Engineering
  Processes and Techniques, Chapter 1.
• Robertson Robertson, Mastering the Requirements
  Process, Chapter 2.

26
Reading Assignments

• Gause Weinberg, Exploring Requirements Quality
  Before Design, Entire book.
• Kotonya Sommerville, Requirements Engineering
  Processes and Techniques, Chapters 3 (Section 3.3
  only), 6, and 8 (Section 8.4 only).

27
Reading Assignments

• Sommerville, Software Engineering, 5th Edition,
  Addison-Wesley, 1996, Chapters 10 and 11.
• Sommerville, Software Engineering, 6th Edition,
  Addison-Wesley, 2000, Chapter 19 (Section 19.4
  only).

28

• Questions?

29
Introduction to the CourseSoftware
SpecificationLecture 1

• Prepared by
• Stephen M. Thebaut, Ph.D.
• University of Florida