Tool Support for Contract-Enhanced Scenarios

Reinhold Plösch, Gustav Pomberger

Research output: Chapter in Book/Report/Conference proceedingsConference contributionpeer-review

Abstract

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.
Original languageEnglish
Title of host publicationTechnology of Object-Oriented Languages, Systems and Architectures
EditorsTheo D'Hondt
Pages220-231
DOIs
Publication statusPublished - 1 Mar 2002
Externally publishedYes
EventTOOLS Eastern Europe Conference - Sofia, Bulgaria
Duration: 13 Mar 200015 Mar 2000

Conference

ConferenceTOOLS Eastern Europe Conference
CountryBulgaria
CitySofia
Period13.03.200015.03.2000

Cite this