Patent ID: 7213230

Claim:
A method of specifying a behavior of a system, comprising: (i) providing a Graphic User Interface (GUI) for a system, whose behavior is being specified, said GUI including at least one object which has at least one property that does not change in reaction to an input unless change is described during playing in; (ii) playing-in a scenario by performing the following steps (a), (b), (c) as many times as required: (a) receiving description of at least one input; (b) receiving description of change in at least one property of at least one object of said GUI in reaction to at least one of said inputs; and (c) changing said at least one property of said at least one object in accordance with said received description of change; and (iii) automatically constructing at least part of a formal system behavior specification that corresponds to the scenario, based at least partly on said playing in.