Name: Dr. Igor Potapov
Course Description and Objectives:
At the end of the module, the student is expected to realise the
problems involved in designing and building significant computer systems;
understand the need to design systems that fully meet the requirements of the
intended users; appreciate the need to ensure that the implementation of a
design is adequately tested to ensure that the completed system meets the
specifications; be fully aware of the principles and practice of an O-O
approach to the design and development of computer systems; be able to apply
these principles in practice.
Lecture Monday 12.00 Lecture Theatre B in Sci. Fac. Lec.
Block;
Lecture Tuesday 12.00 Henry Cohen Lecture Theatre in Duncan
Building;
Lecture Thursday 14.00 Lecture Theatre B in Sci. Fac. Lec.
Block; Pre-requisites:
COMP101 Assessment weightings: Click here to go to the top of the page Lecture notes/slides: Set Texts: § Ian Sommerville. Software Engineering (6th,7th
or 8th Edn) Addison Wesley § Stevens P. with Pooley, R. Using UML: Software Engineering with Objects and
Components, (Updated edition, 2001)
Addison-Wesley, § Introducing AsmL: A Tutorial
for the Abstract State Machine Language, Microsoft Corporation ©
Other Reading: § RS Pressman. Software Engineering: A Practitioner's Approach. McGraw-Hill § G Booch, J Rumbaugh, and I Jacobson. The Unified Modelling Language
User Guide. Addison Wesley, 1999 § Reference Manual of AsmL,
Microsoft Corporation ©
>>>>>>>>>>>>>
Results >>>>>>>>>>>>>>>>>
Practical 1. Formal
Specification, Specification in Abstract State Machine Language Deadline: 20th of November, 3pm Please submit your report to the student office, Ground Floor, Ashton Building SPEC EXPLORER with ASML compiler can be
downloading here. If you are interested in downloading ASML
2.0 for your home computer you can get it here. Practical 2. OOD
and Unified Modelling
Language (UML) Deadline: 12th of December,
12.00 Please submit your report to the student office, Ground Floor, Ashton Building Click here to go to the top of the
page Expectations: See Departmental Policy on Submission of Assessed
Assignments Click here to go
to the top of the page Schedule: You can download lecture notes here
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||