CSSE Seminar Series (CSSESS)
Quick links: Past seminars, future seminars, CSSESS Home
Seminar
~ Improving Object Oriented Software Contracts ~
Speaker
Janina Voigt
Institute
CSSE, UC
Time & Place
11:00 am, Friday, 13 May, in Common Room, School of Forestry
All are welcome
Abstract
Industrial-scale software is commonly very large and complex, making it difficult to develop. In order to manage complexity in software, developers break systems into smaller components which can be developed independently. Software contracts are used to explicitly specify the interfaces between software components to ensure that they work together correctly; they specify both the responsibility of a client and of the component providing the service. The advantage of contracts is that they formalise what constitutes correct interactions between software components. They also serve as documentation, as well as a basis for test cases, and help clarify correct use of inheritance. We have developed a new software contract tool, PACT, which we hope will overcome the limitations we have identified in existing tools.
Quick links: Past seminars, future seminars, CSSESS Home