Specification of dynamic behavior remains a difficult problem. Although a number of formal approaches currently exist, in most cases they prove unsuitable for a typical project setting with industrial partners. Nevertheless a number of techniques are available that both contribute to software quality and are applicable. The techniques are uses cases (scenarios), contracts and prototyping. We developed a toolset that allows designers to combine scenarios with contract-enriched classes. One of the major advantages is that scenarios can be executed, i.e., scenarios may be executed as prototypes. We believe that this toolset enables more precise scenarios and therefore a better understanding of the system to be developed.
|Title of host publication||Technology of Object-Oriented Languages, Systems and Architectures|
|Publication status||Published - 1 Mar 2002|
|Event||TOOLS Eastern Europe Conference - Sofia, Bulgaria|
Duration: 13 Mar 2000 → 15 Mar 2000
|Conference||TOOLS Eastern Europe Conference|
|Period||13.03.2000 → 15.03.2000|