Next: Software Design
Up: Part Structuring (and Contents)
Previous: Part Structuring (and Contents)
Parts 2-3 consists of the following
chapters:
- 1.
- Synopsis
- 2.
- Narrative
Structure this chapter ``tightly'' and such that it
can be related ``one-to-one'' to chapters
4.
- 3.
- Terminology
Use a LATEX description environment and list all
domain, resp. requirements (and later software design)
terms alphabetically. Give each term a one to five line
informal definition.
- 4.
- Formalisation
Dines Bjorner
4/14/1999