CS 5383 - Topics in Software Development

			   PROJECT PROPOSAL
		 (File $Date: 2010/03/10 22:17:44 $)

Due: Thursday, March 25

As specified in the course syllabus, you are supposed to do a semester
project. The purpose of your project is to apply Cleanroom ideas to
your M.S. or Ph.D. research and also to explore related research
problems or issues. Several project topics will be suggested below,
however you have the freedom in choosing your own project topic as
long as it is approved by the instructor.

As the first step of the project, you should make an individual
project proposal. The project proposal consists of two parts: a
written proposal and an in-class presentation. The written proposal
should be less than two or three pages long (refer to the handout
titled "Project Proposal Guidelines"). You should also present your
proposal in class on Tuesday, March 30 (tentative). For this, prepare
a 10 minutes talk (including questions and answers). The primary goal
of your talk should be to explain your project idea to your classmates
and the instructor so that you can get their feedback and the
instructor approval. The secondary goal may be to attract others to
your project idea to form a pair or team project.

PROJECT TOPICS

   Any topics would be okay as long as they are concerned with program
   specification and verification. However, it is strongly recommended
   to choose something that is related to your M.S. or Ph.D. research
   or projects. Suggested project topics include (but are not limited
   to):

   - Case studies on the use of intended functions, e.g.,
     program development and verification
   - Formal notation for writing intented functions
   - Intended function-based specification and verification techniques
     for non-Java languages, e.g., Python
   - Intended function-based verification techniques for OOP, e.g.,
     formalization of (behavioral) subtyping relations
   - Integrating the intended function-based approach with model-based
     or assertion-based formal specification techniques such as JML.
   - Tool support for intented functions, step-wise refinement, or
     verification
     ...

WHEN AND HOW TO TURN IN

   Turn in your written proposal before class on the due date.