$title = "5.0. Formal Specification";
require "../header.php";
?>
5.0. Formal Specification
Editorial Remark: this and the remaining sections are just skeletons of what is to come. The basic ideas of what the system will do have been laid out, but much detail remains to be filled in.
This is a first pass effort of modeling on major TestTool objects and operations.