Statestep

Documents

These documents generally concern the particular specification method which Statestep supports. However, you may still find them helpful even if you are using the tool in another way.

Statestep Specification Technique: User Guide [.pdf]  [.ps.gz] (v2.0)
A fairly comprehensive, accessible guide to using the notation.
Experience of using a lightweight formal specification method for a commercial embedded system product line [available here] (2005)
Requirements Engineering Journal 10 (2). Describes the origin of the method and its successful application.
All Things Considered: Inspecting Statecharts by Model Transformation (2006)
Proceedings of the 32nd Euromicro Conference on Software Engineering and Advanced Applications, Cavtat, Dubrovnik, Croatia, 29 August – 1 September 2006. Describes how transforming a finite state machine model in another notation into a Statestep model can expose defects. The example used is an extract from the following report.
Harel's Watch as a Statestep Model  [.pdf]  [.ps.gz]  Appendix [.jpeg]  (2005-10)
A sample specification of a digital watch. (Because only tables are used in this model, it is longer than it needs to be; part of the tutorial shows how one might shorten it.)
Combinatorial Completion by Rule Definition with Interactive Value Colouring [.pdf]  [.ps.gz] (2005-8)
How part of Statestep's interface helps one to cope effectively with many combinations of possibilities. A longer version of a March, 2005 ACM SIGSOFT Software Engineering Notes article.
A Formal Semantics of Statestep Tables [.pdf]  [.ps.gz] (2005-8)
May be of mathematical / academic interest.

A formal demo of Statestep was presented at the 26th International Conference on Software Engineering (ICSE2004).

Questions, comments? info3@statestep.com