Style Guidelines for Activity-Charts : Mini-Specs

Mini-Specs

For readability and debugging purposes, it is recommended that you use mini-specs that are no longer than one screen-page. If an existing validated C program can replace the mini-spec, then you can use that program instead.