There are several formal approaches to specifying a system's required behavior, but these often assume that the required behavior is known in advance with sufficient specificity. To address this we propose that one use sequence enumeration coupled with incremental or iterative development.
Software to support sequence-based specification is under development at the SQRL. Expertise, training, and support is available from Software Silver Bullets.
I am solely responsible for the content of my pages. The mention of an organization or individual on these pages should not be construed as an endorsement of any page content. Please send me any corrections.