🚀 go-pugleaf

====================================
ADFA Computer Science School Seminar
====================================

Date:    Thursday, 11 December 1997

Time:    11:10am -- 12:00noon

Venue:   Computer Science Room 152

Speaker: Mr Phil Maker, Northern Territory University

Title:   GNU Nana: Design by Contract in C/C++

Abstract:

GNU Nana is a free library providing improved support for assertion
checking and logging in GNU C and C++. It provides support for some of
the ideas of Eiffel, VDM, Z and Anna in GNU C/C++ (and in the past/future
even Ada).  Applications include:

	o Using "Design by Contract" in C/C++
	o Automated testing
	o Real time systems (both hard and soft)
	o Program visualisation
	o Embedded Systems
	o Formal methods such as Z or VDM

The talk will concentrate on the application of these ideas in
real systems. These techniques have been applied industrially in 
the development of a series of embedded (inside people) systems 
with promising results (low cost, surprisingly high reliability).

See <http://www.cs.ntu.edu.au/homepages/pjm/nana-home> for more details.

====================================================================
For more information, contact pjm@cs.ntu.edu.au