	Skip Navigation CECS Home \| ANU Home \| Search ANU
	ANU College of Engineering and Computer Science School of Computer Science

Case law specifications

In order to test SHYSTER, and its approach to case law, four specifications were written. You can use your web browser to navigate these specifications: each occurrence of an identifier is linked to the point where that identifier is specified.

Each specification represents an area of Australian law:

an aspect of the law of trover (the Finder specification);
the meaning of "authorization" in copyright law (the Authorization specification);
the categorization of employment contracts (the Employee specification); and
the implication of natural justice in administrative decision-making (the Natural specification).

These specifications, together with SHYSTER's source code, are available for no charge, and without warranty, on certain terms and conditions. Example output from SHYSTER is also available.