Registry

Module Specifications

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

Module Title OO Models
Module Code CA422D
School School of Computing
Online Module Resources

Module Co-ordinatorSemester 1: Liam Tuohey
Semester 2: Liam Tuohey
Autumn: Liam Tuohey
Module TeacherLiam Tuohey
NFQ level 8 Credit Rating 0
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) and Fusion. Fusion has a very interesting analysis phase process which is significantly different to that of UML.

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
Lecture24No Description
Total Workload: 24

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.
UML.

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

Object Constraint Language (OCL).
Assessment Breakdown
Continuous Assessment20% Examination Weight80%
Course Work Breakdown
TypeDescription% of totalAssessment Date
AssignmentStarting 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
1033, 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
CASEBSc in Computer Applications (Sft.Eng.)
Timetable this semester: Timetable for CA422D
Date of Last Revision08-JUN-10
Archives:
DCU
Address
The Helix
3U
NDP
Government
EU
Disclaimer | Privacy