Prototyping with Scenarios and Contracts

We developed a set of tools for basic support of functional and architectural prototyping based on contracts. Although the tool support provided covers the core tasks for functional prototyping and for architecture prototyping, additional support for evolutionary software development and for higher level techniques for requirements elicitation, e.g., for scenario oriented (use case oriented) analysis is desired. We are currently developing methods and tools to integrate scenario oriented approaches with our contract based specification approach. The underlying prototyping model is based on object-orientation and assertions. The infrastructure tools are implemented with the object-oriented programming language Python, while the high-level tools (assertion browser and graphically oriented debugger for assertions) are implemented in C++ and Java.