spex Directory Reference

Temporary directory generated by the spexgyen system for creating traceable specifications.

More...

Files
	cmd_options.h
	Preprocessor macros that are usually defined on the command-line to the compiler .

Detailed Description

Temporary directory generated by the spexgyen system for creating traceable specifications.

Details

Spexygen is a system for creating formal, traceable specifications based on Doxygen, such as:

• requirements specification (example)
• architecture specification (example)
• design specification (example)
• source code (example)

Note

The spexyen GitHub repository↑ contains more information and code downloads.