Logo
User: Guest  Login
Autor:
Heger, Christian; Schmitz, Lothar 
Titel:
Establishing Properties of Frameworks and their Applications: 
Untertitel:
A Case Study using Alloy and Object-Z 
Verlegende Stelle:
Universität der Bundeswehr München, Fakultät für Informatik 
Report-Nummer:
2009-01 
Jahr, Monat:
2009-01 
Abstract:
Object-oriented frameworks are a popular means for efficiently producing quality software. We conjecture that formal proofs of a framework's properties help to prove properties of applications developed using the framework. Here, we describe a case study that was carried out in order to test this hypothesis on a chosen framework, Salespoint, and an application software, Mafiasoft, developed using this framework. In the first part of the paper, a central portion of the framework, its referen...    »