Department Of Computer Science, Universtiy Of Waikato
Computer Science Department Seminar Room, G1.15
Z is one of the more popular formal specification languages that are necessary in achieving correct software. A formal specification in Z is unambiguous and analysable, and can be proven to fulfil its requirements. Object-oriented techniques are successful in the production of large, complex software systems and offer a conceptual consistency across all stages of software development. We developed an approach to specify object type as a given set and inheritance as object type subsetting, so that we can formally specify an object-oriented design in standard Z. This seminar will explain the philosophy and style of how to form a formal object-oriented specification in standard Z.