Outline [PDF]

Type: Q(3-0)

Lecturer: Dr. Y. Wang

Period: Oct. 21, 2009 – Dec. 2, 2009                       

Date: Wednesdays

Time: 17:30 – 20:30

Classroom: ICT 516

Course description

Principles and constraints of software engineering (SE): Basic constraints of SE. Tackling SE constraints by fundamental principles; Transdisciplinary foundations of SE; Philosophical foundations of SE: Philosophies of science and engineering. Formal reasoning methodologies. SE philosophies; Engineering foundations of SE: Generic engineering principles for SE. The coordinative work organization theory for SE. Large-scale software project organization; Mathematical foundations of SE: Classic mathematics. Denotational mathematics. Real-time process algebra (RTPA); Concept algebra. Computational foundations of SE: Basic computation models. Data object modelling. Behavior modelling. Program modelling. SE resources and processes modelling; System Science Foundations of SE: System philosophies, system topology, system algebra, principles of system science, software system engineering; Cognitive Informatics foundations of SE: Classic and contemporary information theories. Cognitive informatics. Informatics laws of software. Cognitive complexity of software. Cognitive computing and SE.

Prerequisite: N/A  

Evaluation

1. Assignments (x5): 30%

    - Hand in on Wednesdays following each previous lecture 

    - Both electronic and hard copy submissions are required

2. Group presentations and discussions on assigned classic papers (x5): 20%

3. Quiz (x1): 20%

    - Final week, multiple choice questions, 30 min.

4. Final project report: 30%  

    - >10 pages 

    - Grades are based on originality, quality, background knowledge, and formal written styles

    - Only an electronic submission in Word format is required.