FM 2006

Topic:

Documentation that is well-structured, complete and precise can speed up the development of software and increase both its trustworthiness and maintainability. Poor documentation is simply a waste of time. It may satisfy some contractual requirements, but unless it is easier to get information from the documentation than from the code it will not be used. If it is not accurate and complete it will cost more time than it saves. This tutorial describes an approach to documentation that results in highly structured documentation that the programmers consider valuable. The same documents assist in review, inspection, testing, preparing user material, and maintenance.

Objective:

Participants will learn how to produce more useful documentation and how to use that documentation better.

Prerequisites:

Participants should be experienced software developers who are familiar with basic logic. They need not know special logics or "formal methods".