Go backward to 4 Prototyping and verification tools
Go up to Top

5 Documentation tools and educational tools

Here also existing tools such as DOSFOP (A documentation tool for the algebraic programming language OPAL) should be reused.

CoFI Document: CASL/Tools ---- 20 May 1997.
Comments to cofi-tools@brics.dk