COURSES

     - The U of C Software Engineering Courses Web Site

Courses Outlines

¤  SENG609.19 (Fall) - Theoretical Foundations of Software Engineering

    QI (3-0), Wednesdays, 5:30 -8:30 pm, ICT516

Principles and constraints of software engineering (SE): Basic constraints of SE. Tackling SE constraints by fundamental principles; Mutidisciplinary 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. Theory for SE organization; Mathematical foundations of SE: Classic mathematics. Descriptive mathematics. Real-time process algebra (RTPA); Computational foundations of SE: Basic computation models. Data object modelling. Behavior modelling. Program modelling. SE resources and processes modelling; Linguistics Foundations of SE: Formal language theory. Formal syntaxes. Formal semantics. Deductive semantics of RTPA. Applications of linguistics in SE; Informatics foundations of SE: Classic and contemporary information theories. Cognitive informatics. Informatics laws of software. Applications of informatics in SE.

¤  SENG609.17 (Winter) - Software Engineering Standards and Models

Empirical software engineering: Roles, Processes, Best practices, Experience repository, Benchmarks, Standardization. Formal description and algorithms of current software engineering standards and models: The capability maturity model (CMM), The ISO software quality system model (ISO 9001), The European software process model (BOOTSTRAP), The ISO software life-cycle process assessment standard (ISO 15504), and The unified software engineering process reference model (SEPRM). Case studies. Trends and future development in software engineering standardization.

¤  SENG609.26 (Fall) - Cognitive Informatics for Software Engineering

Overview: Cognitive science, Information theories, Cognitive foundations of the brain, Cognitive informatics (CI), Applications of CI in software engineering. Cognitive models of the brain: Neurophysiological foundations of cognition, The layered reference model of the brain (LRMB), The computational model of the brain, The cognitive model of the brain, RTPA: The descriptive mathematics for CI. Cognitive models of information representation in the brain: The hierarchical neural cluster (HNC) model of memory, The object-attribute-relation (OAR) model of internal information representation, Formal description of cognitive processes based on OAR and RTPA, The memory capacity of human brain. Cognitive informatics for software engineering (SE): Informatics properties of software, Cognitive informatics laws of SE, SE psychology, Software comprehension, SE skills and experiences. Cognitive complexity of software:  The cognitive weights of software, The cognitive complexity of software systems, Measurement of functional sizes of software based on cognitive complexity, Case studies on software cognitive complexity. Human traits and factors in SE: Fundamental human traits and needs, The human factors in engineering and socialization, The formal model of human errors, Interaction between motivation and attitude in SE.

¤  SENG609.27 (Fall) - Empirical Foundations of Software Engineering

Overview: Problems and approaches to SE, Engineering foundations of SE, Empirical methodologies of SE, Empirical foundations of SE. System Science Foundation of SE: System philosophies, System topology, System algebra, Principles of system science, Software systems engineering. Management Science Foundation of SE: Principles of management science, Decision theories, Quality systems, SE management. Economics Foundation of SE: Principles of economics, economic models, economic analyses, SE economics. Sociology Foundation of SE: Principles of sociology, Social psychology, Theory of social organization, Sociology and SE. Software Industry Organization: The natural of the software industry, the software maintenance crisis, Principles of industrial organization, infrastructure of SE.