Registry

Module Specifications

Current Academic Year 2012 - 2013
Please note that this information is subject to change.

Module Title	OO Models
Module Code	CA422
School	School of Computing
Online Module Resources
Module Co-ordinator	Semester 1: Liam Tuohey Semester 2: Liam Tuohey Autumn: Liam Tuohey
NFQ level	8	Credit Rating	5
Pre-requisite	None
Co-requisite	None
Compatibles	None
Incompatibles	None

Description

To provide the student with a practical understanding ofthe issues and techniques involve in specifying software systems. A numberof techniques and methods are studied, both formal and informal. The studentwill have a sound grasp of the Z notation for formal specification of asystem and will complete a substantial project using Z. The informalnotations studied include UML (with emphasis on OCL specifications and the analysisphase).

Learning Outcomes

1. Demonstrate a solid understanding of the available methods for specifying software systems, including of the synergy between formal and semi-formal approaches
2. Develop models to specify software systems, starting from an initial problem statement, and making use of a variety of specification techniques
3. Apply a rigorous formal method to derive an in-depth system specification
4. Show detailed knowledge of, and capability to apply, the Object Constraint Language (OCL)

Workload	Full-time hours per semester
*Type*	*Hours*	*Description*
Lecture	24	No Description
Independent learning time	101	No Description
Total Workload: 125

All module information is indicative and subject to change. For further information,students are advised to refer to the University's Marks and Standards and Programme Specific Regulations at: http://www.dcu.ie/registry/examinations/index.shtml

Indicative Content and Learning Activities

Formal specification using the Z notation.
Building specifications through a series of examples completed in the class room..

Methods studied selected from Object Modelling Technique (OMT), Fusion, Objectory, Syntropy and other object-based methods (with a focus on process)..
UML.

Evaluating Methods (Frameworks) Formal Methods.
Programme Derivation and Verification (outline only).

Object Constraint Language (OCL).

Assessment Breakdown
Continuous Assessment	20%	Examination Weight	80%

Course Work Breakdown
Type	Description	% of total	Assessment Date
Assignment	Starting from an initial problem statement, develop a detailed Z specification for a software system or systems. Normally, it is expected that students will familiarise themselves with and make use of a suitable software tool.	20%	Week 10

Reassessment Requirement
Resit arrangements are explained by the following categories; 1 = A resit is available for all components of the module 2 = No resit is available for 100% continuous assessment module 3 = No resit is available for the continuous assessment component
This module is category 1

Indicative Reading List

Lightfoot, D.: 2001, Formal Specification using Z, 2, Palgrave,
Woodcock, J., Davies, J.: 1996, Using Z. Specification, Refinement, and Proof, Prentice Hall,
Spivey, J.M.: 1992, The Z Notation. A reference manual, 2, Prentice Hall,
Derrick, J., Boiten, E.A.: 2009, Refinement in Z and Object-Z: Foundations and Advanced Applications (Formal Approaches to Computing and Information Technology (FACIT)), 1, Springer,
Bruegge, B., Dutoit, A.H.: 2004, Object-Oriented Software Engineering. Using UML, Patterns, and Java, 2, Pearson/Prentice Hall,
Rumbaugh, J., Jacobson, I., Booch, G.: 0, The unified Modeling Language Reference Language, Addison Wesley,
Rumbaugh, J., Jacobson, I., Booch, G.: 2005, The unified Modeling Language User Guide, 2, Addison wesley,
Jacobson: 0, Object-Oriented Software Engineering,
Rumbaugh et al: 0, OMT,
Cook and Daniels: 0, Syntropy,
Coleman et al: 0, Fusion,

Other Resources

1481, Website, Object Management group (OMG), 2006, Object Constraint Language OMG Available Specification Version 2.0, http://www.omg.org/technology/documents/modeling_spec_catalog.htm,

Array

Programme or List of Programmes

BSSA

Study Abroad (DCU Business School)

BSSAO

Study Abroad (DCU Business School)

ECSA

Study Abroad (Engineering & Computing)

ECSAO

Study Abroad (Engineering & Computing)

HMSA

Study Abroad (Humanities & Soc Science)