Please note - Swinburne University of Technology

References
Beisler, F. and Scheeres, H. Communication Skills. 2nd Aust. edn,
Melbourne, Longman Cheshire, 1993
Dwyer, J. The Business Communication Handbook. 3rd edn, New
York, Sydney, Prentice Hall, 1993
Nutting, J. and White, G. The Business of Communicating. 2nd edn,
New York, McGraw-Hill, 1990
Vallence, K.E. and McWilliam, T. Communication That Works.
Melbourne, Thomas Nelson, 1990
SQI 17
Introduction to Computer Systems
10 credit points
No. of hours per week: three hours
Instruction: a combination of lectures, tutorials
laboratory sessions and reading assignments
Assessment: assignments and a final
examination, computer managed learning tests
Subject description
History of computing machines. Functional components of a
computer system. Number systems. Data encoding for
internal and external storage. Computer arithmetic. Boolean
algebra -theorems, truth tables, Karnaugh maps. Circuit
design of CPU modules - in particular the ALU. Machine
fetch - execute cycle. Compilation, assembly and machine
language ideas. Operating systems, in particular MS-DOS.
$ Details of secondary storage and data transfer.
t?. n
J
o, s~zo4 Formal Methods
g
10 credit points
3
n
No. of hours per week: three hours
ID
Instruction: lectures and tutorials
rn
3 Assessment: mid-semester test, assignment and
s.
3 final examination
ID
?. Subject aims
Formal Methods examines the scope, role and application of
mathematics in contemporary software development.
3
a Particular emphasis is placed on the use of discrete
u mathematics for formal specification.
After completing 14204, a student will be able to apply the
3
discrete mathematics taught in the course to system
modelling; interpret and construct formal specifications using
the Z formal specification language.
Subject description
lntroduction to formal methods; propositional calculus; proof
and argument; set theory; the Z predicate calculus; relations;
functions; sequence; bags; formal specification languages.
Textbooks
D. Lightfoot, Formal Specification Using Z. Basingstoke, Macmillan,
1991
s~zo7
Computer Organistion
10 credit points
No. of hours per week: three hours
Instruction: lecture and laboratory sessions
Assessment: assignment and examination
Subject alms
To introduce the main principles of computer architecture,
computer organisation and assembly language programming.
Subject description
lntroduction to combinatorial and sequential circuit design;
basic architecture of a computer; CPU organisation; execution
of machine instructions: how programs interact with the
computer hardware; introduction to assembly language
programming.
Textbooks
To be advised
54210 Programming in C
10 credit points
No. of hours per week: four hours
Instruction: a combination of lectures and
laboratory exercises
Assessment: programming assignments and a
final examination
Subject aims
To study the programming language C and the related
software engineering practice through consideration of the
specification, design and implementation of algorithms in C.
This will involve an examination of C data types and
structures, control statements, functions and formatted 110.
Textbooks
To be advised
s~3oo
Data Structures and Algorithms
10 credit points
No. of hours per week: three hours
Prerequisites: SQ100 Programming in Ada
Instruction: lecture and tutorials
Assessment: assignments and examination
A second year subject of the degree course in computer
science and software engineering.
Subject description
Data Structures and Algorithms: this subject pursues the goal
of good programming (correctness, flexibility, adaptability,
portability, utility and clarity) through the concepts of
modularity and abstract data types.
Syllabus: common data structures, associated algorithms and
applications; stacks, queues, trees, binary search trees,
balancing; heaps, sets; graphs; hash tables; Ada generics.
Textbooks
To be advised