UNSW Handbook Course - Software System Specification

Software System Specification - COMP2110


	Faculty: Faculty of Engineering
	School: School of Computer Science and Engineering
	Campus: Kensington Campus
	Career: Undergraduate
	Units of Credit: 3
	Contact Hours per Week: 2.5
	Enrolment Requirements:
	Prerequisite: COMP1021 or COMP1721 or COMP2811; Corequisite: SENG2010 and MATH1081.
	Offered: Session One
	Fee Band: 2

Description

Formal specification: set theory, logic, schema calculus, case studies. the Z specification notation. The relationship between informal specification methods such as data flow, and Object-Oriented methods, such as OMT, and formal methods like Z. This course will attempt to develop the case for rigorous specification methods. Project work for this course will be done within SENG2010.

URL for this page:

© The University of New South Wales (CRICOS Provider No.: 00098G), 2004-2011. The information contained in this Handbook is indicative only. While every effort is made to keep this information up-to-date, the University reserves the right to discontinue or vary arrangements, programs and courses at any time without notice and at its discretion. While the University will try to avoid or minimise any inconvenience, changes may also be made to programs, courses and staff after enrolment. The University may also set limits on the number of students in a course.