External Links
Statestep's functionality is unique - however that doesn't mean it's relevant to you right now. If it isn't, you may find some of the following links helpful.
Link Compilations: Methods, Requirements Engineering
Ian Alexander maintains a comprehensive annotated list of general requirements engineering tools.
Another extensive list of RE tools is maintained by the Atlantic Systems Guild.
Richard Botting keeps a useful directory of software development methods, together with often humorous notes and definitions.
The Formal Methods Virtual Library has links to many formal methods of specification.
Tools For Rules
JBoss Rules is a rule engine designed to apply a repository of stored business rules (for example, "credit is never extended to a new customer without the approval of a manager") to a large database of facts. This was previously a separate product called Drools. Free, Java-based.
OpenRules is a decision table tool framework aimed at web application development that allows tables for logic and presentation to be entered in Excel spreadsheets, together with supporting Java code snippets to help interpret rules in a table, for example, to treat the values in a condition column as upper bounds on a numeric variable. Free and well-documented.
Prologa is a decision table tool that allows rules to be expressed in an AI / fuzzy-logic style ("Generally, do Action Z if Condition X and Condition Y") and supports multiple, connected decision tables. Commercial, MS Windows only.
Logic-Gem is a decision table tool with features including the possibility of assigning cost and frequency values to rules for more efficient code generation. Commercial, MS Windows only.
Finite State Machine
For finite state machines, a good place to start is the Wikipedia entry on this subject; it links to a separate list of FSM software tools.
Other Links (not reviewed)
Leap SE is a requirements engineering CASE tool. Commercial, MS Windows only (requires MS Access).
Questions, comments? info2@statestep.com