From Functional Requirements to Design in Object-Z

Speaker: Tim McComb

When: 10:00, Friday 25th July 2008

Venue: 78-420

There is a notable gap in current software engineering methods between the capture of functional requirements and the formulation of a system design, such that it is difficult to trace functional requirements through the design process. Methods have been advocated to bridge this gap, familiar examples of which include Model Driven Architecture and Behavior Trees. In this talk I will present a high-level overview of my thesis, which addresses this problem in the context of Object-Z. I hope to spur a discussion on the relative merits of unsupervised (highly automated) versus supervised (not so highly automated) methods for the derivation of software designs from functional specifications.

Bio: Tim received his PhD in computer science from the University of Queensland in 2007, and is currently a researcher and application developer at the ARC Centre of Excellence in Bioinformatics at the Institute for Molecular Bioscience. His research interests include formal software engineering methods, large-scale organisation and visualisation of scientific data, and protein structure analysis.

Hospitality: Graeme Smith

Contact: Robert Colvin (SSE seminar co-ordinator) (robert@itee.uq.edu.au)

SSE seminar web page: http://www.itee.uq.edu.au/~sse/Seminars.html