If you want correct, concrete, and consistent functional specs fast, try the Ampersand approach. Let a computer generate a specification of your primary business process(es). Designed to improve procurement in large IT projects.
- generates conceptual analysis
- generates data model
- diagnoses your script
- ensures correctness w.r.t. functional requirements
- specify your business process platform independently
- supports English and Dutch
- faithful to relation algebra