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? email@example.com