FIT3013 AJH-2009-00 Formal Specification for Software Engineering Home Page

Current News

For all news items, please see the Moodle Web Page


Welcome to FIT3013. This home page should be your first port of call for any information specific to this subject. If the information you seek is not here, drop me a note and I'll endeavour to fix it for you. Please note that while the Moodle Web Page is updated regularly, it is not the definitive repository for all material, as some material does not migrate easily to Moodle. On the other hand, Moodle maintains all the assessment results and forums, so you will need to jump between these pages.

Unit Outline

Read this section to get an overview of the prerequisite knowledge, unit syllabus, and learning outcomes for the unit. There is also a link to the unit guide, essential reading for succesful study of the unit. Also available on this page is a discussion of improvements made to this unit, and reflections on what works, doesn't work, and might work in the future.

Teaching and Learning Methods

Read this page to see all the detail on lectures and tutorials. There are no laboratory sessions for this unit.

Unit Resources

This page links to lecture notes, Rodin reference documents, examples and their solutions, and web documents


Visit this page for all details of assessment in this unit

Assessment Policy

This is a page published by the university and faculty. You must be familiar with its contents! Note particularly the information about the cover sheets required for submitting assignments in this school.

Related Links

Links to other web pages relevant to this unit:

  1. Why Design Software?
  2. some helpful set theory pages
  3. Can Software Kill You?
  4. The Top 10 IT Disasters of all time

Useful URLs for this unit will be added here.

If you find a useful URL, please send it to John Hurst, so that others can check it out as well.

Document History

20090525:152709 8.0.2 ajh updated News section and welcome commentary
20090514:165731 8.0.1 ajh updated top 10 IT disasters link
20081201:143338 8.0.0 ajh initial page for 2009
This page is copyright, and maintained by John Hurst. 0 accesses since
19 May 2019
My PhotoMy PhotoTrain Photo

Local servers: Localhost Newport Burnley Everton Hamilton Bittern Spencer (Note that these are only accessible on my local network.)
Public Web Servers: Hurst Server/ Home Server/ Internode Server (In order of preference; not all of these may be active.)
Dynamically generated at 20190519:1618 from an XML file modified on 20090525:0127.

12 accesses since 05 May 2019, HTML cache rendered at 20190519:1618