i Please note:  

To view the current calendar, go to www.sfu.ca/calendar

School of Computing Science Simon Fraser University Calendar | Spring 2016

Software Systems Major

Bachelor of Science

This program provides the skills, knowledge and thought processes necessary for professional software production, while also providing a broad background of various computing systems that graduates encounter in their careers. For course planning information, visit www.cs.sfu.ca for further information.

Admission Requirements

Entry into Computing Science programs is possible via

  • direct admission from high school
  • direct transfer from a recognized post-secondary institution, or combined transfer units from more than one post-secondary institution
  • internal transfer from within Simon Fraser University

Admission is competitive. A separate admission average for each entry route is established each term, depending on spaces available and subject to the approval of the Dean of Applied Sciences. Admission averages are calculated over a set of courses satisfying particular breadth constraints.

Consult an Applied Sciences advisor for requirements governing high school direct entry or direct transfer from another post-secondary institution.

Contact an advisor at http://www.sfu.ca/computing/prospective-students/undergraduate-students/admissions/advising.html.

Internal Transfer

Internal transfer allows students to transfer, within Simon Fraser University, from one faculty to another. Once students have completed our three qualifying courses (see below) they can apply for internal transfer into the School of Computing Science. Simon Fraser University students applying for School of Computing Science admission are selected on the basis of an admission computing-related grade point average (CRGPA). The CRGPA is calculated over the best three courses chosen as follows.

  • one mathematics course chosen from MACM 101, 201, MATH 150 (or 151), 152 and 240 (or 232)
  • one computing course chosen from CMPT 125 (or 126, 128, 130 or 135), 150, (or ENSC 150), 225, 250 (or ENSC 250) and 275 (or 276).
  • one additional mathematics or computing science course chosen from the above lists

No course may be included in the average if it is a duplicate of any previous course completed at Simon Fraser University or elsewhere. All three courses must be completed prior to application. For more information, contact an Applied Sciences advisor.

Continuation Requirements

Students who do not maintain at least a 2.40 CGPA, will be placed on the school’s probation. Courses available to probationary students may be limited. Each term, these students must consult an advisor prior to enrolment and must achieve either a term 2.40 term GPA or an improved CGPA.

Reinstatement from probationary standing occurs when the CGPA improves to 2.40 or better and is maintained.

Students must obtain permission from the department if they wish to complete, for further credit, any course that is a prerequisite for a course the student has already completed with a grade of C- or higher.

Graduation Requirements

A GPA of 2.00 must be obtained for upper division courses used to fulfill the program requirements.

Prerequisite Grade Requirement

Computing Science course entry requires a grade of C- or better in each prerequisite course.

A minimum 2.40 CGPA is required for 200, 300 and 400 division CMPT courses. For complete information, contact an Applied Sciences advisor.

Students must obtain permission from the department if they wish to complete, for further credit, any course that is a prerequisite for a course the student has already completed with a grade of C- or higher.

First-year Requirements

The first year of Software Systems begins with Systems One, a curriculum for students in the Faculty of Applied Sciences at Surrey. The courses required for Systems One are included in the following list of requirements.

Program Requirements

Students complete the following:

Systems Requirements

Students complete at least 15 units, including all of

CMPT 295 - Introduction to Computer Systems (3)

The curriculum introduces students to topics in computer architecture that are considered fundamental to an understanding of the digital systems underpinnings of computer systems. Prerequisite: MACM 101- Discrete Mathematics I and CMPT 125- Introduction to Computing Science and Programming II and CMPT 127- Computing Laboratory or CMPT 135- Introduction to Computer Programming II. Students with credits for CMPT 150 or 250 may not take this course for further credit.

Section Instructor Day/Time Location
D100 Anthony Dixon
Mo, We, Fr 1:30 PM – 2:20 PM
AQ 3182, Burnaby
D101 Anthony Dixon
Th 10:30 AM – 11:20 AM
ASB 9838, Burnaby
D102 Anthony Dixon
Th 11:30 AM – 12:20 PM
ASB 9838, Burnaby
D103 Anthony Dixon
Th 12:30 PM – 1:20 PM
ASB 9838, Burnaby
D104 Anthony Dixon
Th 1:30 PM – 2:20 PM
ASB 9838, Burnaby
D105 Anthony Dixon
Th 2:30 PM – 3:20 PM
ASB 9838, Burnaby
D106 Anthony Dixon
Th 3:30 PM – 4:20 PM
ASB 9838, Burnaby
CMPT 300 - Operating Systems I (3)

This course aims to give the student an understanding of what a modern operating system is, and the services it provides. It also discusses some basic issues in operating systems and provides solutions. Topics include multiprogramming, process management, memory management, and file systems. Prerequisite: CMPT 225 and (MACM 101 or (ENSC 251 and ENSC 252)).

Section Instructor Day/Time Location
D200 Arrvindh Shriraman
We 1:30 PM – 2:20 PM
Fr 12:30 PM – 2:20 PM
SUR 3170, Surrey
SUR 3170, Surrey
E100 Steve Pearce
Tu 5:30 PM – 8:20 PM
AQ 3149, Burnaby
CMPT 371 - Data Communications and Networking (3)

Data communication fundamentals (data types, rates, and transmission media). Network architectures for local and wide areas. Communications protocols suitable for various architectures. ISO protocols and internetworking. Performance analysis under various loadings and channel error rates. Prerequisite: CMPT 225, (CMPT 150, ENSC 150 or CMPT 295) and MATH 151 (MATH 150). MATH 154 or 157 with a grade of at least B+ may be substituted for MATH 151 (MATH 150).

Section Instructor Day/Time Location
D100 Edward Lo
Tu 2:30 PM – 4:20 PM
Th 2:30 PM – 3:20 PM
SUR 2750, Surrey
SUR 5360, Surrey
E100 Balbir Gill
We 5:30 PM – 8:20 PM
HCC 1900, Vancouver
MSE 110 - Mechatronics Design I (3)

First year project course designed to provide students with a first exposure to the challenges of project organization. Students are responsible for designing and constructing a mechanical robot optimized to solve a particular chosen task. The engineering challenges of the project are expected to focus half on mechanical design and half on control algorithm design and implementation. Students with credit for ENSC 182 may not take MSE 110 for further credit.

Section Instructor Day/Time Location
D100 Amr Marzouk
Tu 12:30 PM – 2:20 PM
SUR 3170, Surrey
D101 Amr Marzouk
Th 12:30 PM – 1:20 PM
SUR 2740, Surrey
D200 Amr Marzouk
Tu 12:30 PM – 2:20 PM
SUR 3170, Surrey
D201 Amr Marzouk
Th 12:30 PM – 1:20 PM
SUR 2740, Surrey
D300 Amr Marzouk
Tu 12:30 PM – 2:20 PM
SUR 3170, Surrey
D301 Amr Marzouk
Th 12:30 PM – 1:20 PM
SUR 2740, Surrey
LAB1 Amr Marzouk
Tu 2:30 PM – 4:20 PM
SUR 4270, Surrey
LAB2 Amr Marzouk
Th 2:30 PM – 4:20 PM
SUR 4270, Surrey
LAB3 Amr Marzouk
Th 4:30 PM – 6:20 PM
SUR 4270, Surrey
OPL1 Amr Marzouk
Tu 8:30 AM – 12:20 PM
SUR 4270, Surrey
OPL2 Amr Marzouk
Tu 4:30 PM – 6:20 PM
SUR 4270, Surrey
OPL3 Amr Marzouk
Th 8:30 AM – 12:20 PM
SUR 4270, Surrey

and one of

CMPT 170 - Introduction to Web Application Development (3)

An introduction to the creation of web pages, as well as interactive websites. Students will learn how to create web pages using current best practices. Creation of web-based application using a modern web application framework. Prerequisite: One of CMPT 120, (125 and 127), 126, 128 or 135. Students with credit for CMPT 118 or CMPT 165 may not take this course for further credit.

CMPT 354 - Database Systems I (3)

Logical representations of data records. Data models. Studies of some popular file and database systems. Document retrieval. Other related issues such as database administration, data dictionary and security. Prerequisite: CMPT 225, and (MACM 101 or (ENSC 251 and ENSC 252)).

Section Instructor Day/Time Location
E100 Bobby Chan
We 5:30 PM – 8:20 PM
AQ 3149, Burnaby
CMPT 431 - Distributed Systems (3)

An introduction to distributed systems: systems consisting of multiple physical components connected over a network. Architectures of such systems, ranging from client-server to peer-to-peer. Distributed systems are analyzed via case studies of real network file systems, replicated systems, sensor networks and peer-to-peer systems. Hands-on experience designing and implementing a complex distributed system. Prerequisite: CMPT 300, 371. Students with credit for CMPT 401 before September 2008 may not take this course for further credit.

CMPT 433 - Embedded Systems (3)

The basics of embedded system organization, hardware-software co-design, and programmable chip technologies are studied. Formal models and specification languages for capturing and analyzing the behavior of embedded systems. The design and use of tools for system partitioning and hardware/software co-design implementation, validation, and verification are also studied. Prerequisite: (CMPT 250 or CMPT 295) and CMPT 300.

CMPT 454 - Database Systems II (3)

An advanced course on database systems which covers crash recovery, concurrency control, transaction processing, distributed database systems as the core material and a set of selected topics based on the new developments and research interests, such as object-oriented data models and systems, extended relational systems, deductive database systems, and security and integrity. Prerequisite: CMPT 300 and 354.

Section Instructor Day/Time Location
D100 Ke Wang
Tu 10:30 AM – 11:20 AM
Th 9:30 AM – 11:20 AM
SWH 10041, Burnaby
SWH 10041, Burnaby
CMPT 470 - Web-based Information Systems (3)

This course examines: two-tier/multi-tier client/server architectures; the architecture of a Web-based information system; web servers/browser; programming/scripting tools for clients and servers; database access; transport of programming objects; messaging systems; security; and applications (such as e-commerce and on-line learning). Prerequisite: CMPT 354.

Section Instructor Day/Time Location
E100 Gregory Baker
Th 5:30 PM – 8:20 PM
HCC 1700, Vancouver
CMPT 471 - Networking II (3)

This course covers the fundamentals of higher level network functionality such as remote procedure/object calls, name/address resolution, network file systems, network security and high speed connectivity/bridging/switching. Prerequisite: CMPT 300 and 371.

Section Instructor Day/Time Location
D100 Qianping Gu
Mo, We, Fr 9:30 AM – 10:20 AM
SSCC 9000, Burnaby

Fundamentals Requirements

Students complete at least 27 units, including all of

CMPT 105W - Process, Form, and Convention in Professional Genres (3)

The course teaches fundamentals of informative and persuasive communication for professional engineers and computer scientists in order to assist students in thinking critically about various contemporary technical, social, and ethical issues. It focuses on communicating technical information clearly and concisely, managing issues of persuasion when communicating with diverse audiences, presentation skills, and teamwork. Prerequisite: Corequisite: CMPT 106 or MSE 102. Students with credit for ENSC 102, ENSC 105W or MSE 101W may not take CMPT 105W for further credit. Writing.

or ENSC 105W - Process, Form, and Convention in Professional Genres (3)

The course teaches fundamentals of informative and persuasive communication for professional engineers and computer scientists in order to assist students in thinking critically about various contemporary technical, social, and ethical issues. It focuses on communicating technical information clearly and concisely, managing issues of persuasion when communicating with diverse audiences, presentation skills, and teamwork. Corequisite: CMPT 106, ENSC 100 or ENSC 106. Students with credit for CMPT 105W, ENSC 102 or MSE 101W may not take ENSC 105W for further credit. Writing.

CMPT 106 - Applied Science, Technology and Society (3)

Reviews the different modes of thought characteristic of science, engineering and computing. Examines the histories and chief current research issues in these fields. Considers the ethical and social responsibilities of engineering and computing work. Prerequisite: Corequisite: CMPT 105W or MSE 101W. Students with credit for ENSC 100, ENSC 106 or MSE 102 cannot take this course for further credit.

CMPT 307 - Data Structures and Algorithms (3)

Analysis and design of data structures for lists, sets, trees, dictionaries, and priority queues. A selection of topics chosen from sorting, memory management, graphs and graph algorithms. Prerequisite: CMPT 225, MACM 201, MATH 151 (or MATH 150), and MATH 232 or 240.

Section Instructor Day/Time Location
D100 Pavol Hell
Tu 2:30 PM – 4:20 PM
Th 2:30 PM – 3:20 PM
AQ 3005, Burnaby
SSCK 9500, Burnaby
CMPT 322W - Professional Responsibility and Ethics (3)

The theory and practice of computer ethics. The basis for ethical decision-making and the methodology for reaching ethical decisions concerning computing matters will be studied. Writing as a means to understand and reason about complex ethical issues will be emphasized. Prerequisite: Three CMPT units, 30 total units, and any lower division W course. Students with credit for CMPT 322 may not take this course for further credit. Writing.

Section Instructor Day/Time Location
D100 Harinder Khangura
Mo, We, Fr 11:30 AM – 12:20 PM
SUR 5140, Surrey
MACM 101 - Discrete Mathematics I (3)

Introduction to counting, induction, automata theory, formal reasoning, modular arithmetic. Prerequisite: BC Math 12 (or equivalent), or any of MATH 100, 150, 151, 154, 157. Quantitative/Breadth-Science.

Section Instructor Day/Time Location
D100 Brad Bart
Mo, We, Fr 10:30 AM – 11:20 AM
AQ 3181, Burnaby
D101 Brad Bart
Tu 1:30 PM – 2:20 PM
AQ 5007, Burnaby
D102 Brad Bart
Tu 2:30 PM – 3:20 PM
AQ 5007, Burnaby
D103 Brad Bart
Tu 3:30 PM – 4:20 PM
AQ 5007, Burnaby
D104 Brad Bart
Tu 4:30 PM – 5:20 PM
AQ 5007, Burnaby
D105 Brad Bart
We 2:30 PM – 3:20 PM
RCB 6206, Burnaby
D106 Brad Bart
We 3:30 PM – 4:20 PM
AQ 5025, Burnaby
D107 Brad Bart
We 4:30 PM – 5:20 PM
AQ 5004, Burnaby
D200 Brad Bart
Mo, We, Fr 1:30 PM – 2:20 PM
SWH 10081, Burnaby
D201 Brad Bart
Th 9:30 AM – 10:20 AM
AQ 5005, Burnaby
D202 Brad Bart
Th 10:30 AM – 11:20 AM
AQ 5005, Burnaby
D203 Brad Bart
Th 1:30 PM – 2:20 PM
AQ 5005, Burnaby
D204 Brad Bart
Th 2:30 PM – 3:20 PM
AQ 5005, Burnaby
D205 Brad Bart
Th 3:30 PM – 4:20 PM
AQ 5005, Burnaby
D206 Brad Bart
Fr 9:30 AM – 10:20 AM
AQ 5009, Burnaby
D207 Brad Bart
Fr 10:30 AM – 11:20 AM
AQ 5009, Burnaby
D300 Steve Pearce
Tu 10:30 AM – 11:20 AM
Th 9:30 AM – 11:20 AM
SUR 5140, Surrey
SUR 3310, Surrey
D301 Steve Pearce
We 2:30 PM – 3:20 PM
SUR 3010, Surrey
D302 Steve Pearce
We 3:30 PM – 4:20 PM
SUR 3010, Surrey
D303 Steve Pearce
We 4:30 PM – 5:20 PM
SUR 3010, Surrey
D304 Steve Pearce
We 5:30 PM – 6:20 PM
SUR 3010, Surrey
MACM 201 - Discrete Mathematics II (3)

A continuation of MACM 101. Topics covered include graph theory, trees, inclusion-exclusion, generating functions, recurrence relations, and optimization and matching. Prerequisite: MACM 101 or (ENSC 251 and one of MATH 232 or MATH 240). Quantitative.

Section Instructor Day/Time Location
D100 Karen Yeats
Mo, We, Fr 12:30 PM – 1:20 PM
RCB IMAGTH, Burnaby
D200 Abraham Punnen
Mo, We, Fr 8:30 AM – 9:20 AM
SUR 3090, Surrey
OPO1
TBD
OP02
TBD
MATH 151 - Calculus I (3)

Designed for students specializing in mathematics, physics, chemistry, computing science and engineering. Logarithmic and exponential functions, trigonometric functions, inverse functions. Limits, continuity, and derivatives. Techniques of differentiation, including logarithmic and implicit differentiation. The Mean Value Theorem. Applications of differentiation including extrema, curve sketching, Newton's method. Introduction to modeling with differential equations. Polar coordinates, parametric curves. Prerequisite: Pre-Calculus 12 (or equivalent) with a grade of at least A, or MATH 100 with a grade of at least B, or achieving a satisfactory grade on the Simon Fraser University Calculus Readiness Test. Students with credit for either MATH 150, 154 or 157 may not take MATH 151 for further credit. Quantitative.

MATH 232 - Applied Linear Algebra (3)

Linear equations, matrices, determinants. Introduction to vector spaces and linear transformations and bases. Complex numbers. Eigenvalues and eigenvectors; diagonalization. Inner products and orthogonality; least squares problems. An emphasis on applications involving matrix and vector calculations. Prerequisite: MATH 150 or 151; or MACM 101; or MATH 154 or 157, both with a grade of at least B. Students with credit for MATH 240 make not take this course for further credit. Quantitative.

Section Instructor Day/Time Location
D100 Marni Julie Mishna
Mo, We, Fr 11:30 AM – 12:20 PM
SSCC 9001, Burnaby
D200 JF Williams
Mo, We, Fr 2:30 PM – 3:20 PM
SUR 3310, Surrey
OP01
TBD
OP02
TBD

and one of

STAT 101 - Introduction to Statistics (3)

The collection, description, analysis and summary of data, including the concepts of frequency distribution, parameter estimation and hypothesis testing. To receive credit for both STAT 100 and STAT 101, STAT 100 must be taken first. Intended to be particularly accessible to students who are not specializing in Statistics. Students with credit for any of ARCH 376, BUEC 232, STAT 201, 203 or 270 may not subsequently receive credit for STAT 101-3. Quantitative.

Section Instructor Day/Time Location
C100 Tim Swartz
Distance Education
STAT 270 - Introduction to Probability and Statistics (3)

Basic laws of probability, sample distributions. Introduction to statistical inference and applications. Corequisite: MATH 152 or 155 or 158. Students wishing an intuitive appreciation of a broad range of statistical strategies may wish to take STAT 100 first. Quantitative.

Section Instructor Day/Time Location
C100 Tim Swartz
Distance Education
D100 Tim Swartz
Mo, We 9:30 AM – 10:20 AM
Fr 9:30 AM – 10:20 AM
SWH 10041, Burnaby
SSCK 9500, Burnaby
D900 Derek Bingham
Tu 8:30 AM – 10:20 AM
Th 8:30 AM – 9:20 AM
SUR 5140, Surrey
SUR 5140, Surrey
OP01
TBD
OP09
TBD

Software Engineering Requirements

Students complete at least 27 units including all of

CMPT 130 - Introduction to Computer Programming I (3)

An introduction to computing science and computer programming, using a systems oriented language, such as C or C++. This course introduces basic computing science concepts. Topics will include: elementary data types, control structures, functions, arrays and strings, fundamental algorithms, computer organization and memory management. Prerequisite: BC Math 12 (or equivalent, or any of MATH 100, 150, 151, 154, or 157). Students with credit for CMPT 102, 120, 126, or 128 may not take this course for further credit. Quantitative/Breadth-Science.

Section Instructor Day/Time Location
D100 Karol Swietlicki
Mo, We 8:30 AM – 9:20 AM
Fr 8:30 AM – 9:20 AM
SUR 3310, Surrey
SUR 3310, Surrey
D101 Karol Swietlicki
We 9:30 AM – 10:20 AM
SUR 4080, Surrey
D102 Karol Swietlicki
We 10:30 AM – 11:20 AM
SUR 4080, Surrey
D103 Karol Swietlicki
We 11:30 AM – 12:20 PM
SUR 4080, Surrey
CMPT 135 - Introduction to Computer Programming II (3)

A second course in systems-oriented programming and computing science that builds upon the foundation set in CMPT 130 using a systems-oriented language such as C or C++. Topics: a review of the basic elements of programming; introduction to object-oriented programming (OOP); techniques for designing and testing programs; use and implementation of elementary data structures and algorithms; introduction to embedded systems programming. Prerequisite: CMPT 130. Students with credit for CMPT 125 or 126 may not take this course for further credit. Quantitative.

Section Instructor Day/Time Location
D100 Scott Kristjanson
Mo, We, Fr 10:30 AM – 11:20 AM
SUR 5140, Surrey
D101 Scott Kristjanson
Mo 11:30 AM – 12:20 PM
SUR 4080, Surrey
D102 Scott Kristjanson
Mo 12:30 PM – 1:20 PM
SUR 4080, Surrey
D103 Scott Kristjanson
Mo 1:30 PM – 2:20 PM
SUR 4080, Surrey
CMPT 213 - Object oriented design in Java (3)

An introduction to object oriented design using Java. The Java programming language is introduced, with an emphasis on its advanced features. The course covers the building blocks of object oriented design including inheritance, polymorphism, interfaces and abstract classes. A number of object oriented design patterns are presented, such as observer, iterator, and singleton. The course also teaches best-practices in code construction. It includes a basic introduction to programming event driven graphical user interfaces. Prerequisite: CMPT 225: Data Structures and Programming. Students with credit for CMPT 212 cannot take this course for further credit.

Section Instructor Day/Time Location
D100 Anne Lavergne
We 11:30 AM – 12:20 PM
Fr 10:30 AM – 12:20 PM
SUR 2740, Surrey
SUR 2740, Surrey
CMPT 225 - Data Structures and Programming (3)

Introduction to a variety of practical and important data structures and methods for implementation and for experimental and analytical evaluation. Topics include: stacks, queues and lists; search trees; hash tables and algorithms; efficient sorting; object-oriented programming; time and space efficiency analysis; and experimental evaluation. Prerequisite: (MACM 101 and either (CMPT 125 and 127) or CMPT 135) or (ENSC 251 and ENSC 252). Quantitative.

Section Instructor Day/Time Location
D100 Geoffrey Tien
Mo, We, Fr 9:30 AM – 10:20 AM
AQ 3181, Burnaby
D101 Geoffrey Tien
Tu 9:30 AM – 10:20 AM
ASB 9838, Burnaby
D102 Geoffrey Tien
Tu 10:30 AM – 11:20 AM
ASB 9838, Burnaby
D103 Geoffrey Tien
Tu 11:30 AM – 12:20 PM
ASB 9838, Burnaby
D104 Geoffrey Tien
Tu 12:30 PM – 1:20 PM
ASB 9838, Burnaby
D105 Geoffrey Tien
We 10:30 AM – 11:20 AM
ASB 9838, Burnaby
D106 Geoffrey Tien
We 11:30 AM – 12:20 PM
ASB 9838, Burnaby
D107 Geoffrey Tien
We 12:30 PM – 1:20 PM
ASB 9838, Burnaby
CMPT 276 - Introduction to Software Engineering (3)

An overview of various techniques used for software development and software project management. Major tasks and phases in modern software development, including requirements, analysis, documentation, design, implementation, testing,and maintenance. Project management issues are also introduced. Students complete a team project using an iterative development process. Prerequisite: One W course, CMPT 225, (MACM 101 or (ENSC 251 and ENSC 252)) and (MATH 151 or MATH 150). MATH 154 or MATH 157 with at least a B+ may be substituted for MATH 151 or MATH 150. Students with credit for CMPT 275 may not take this course for further credit.

Section Instructor Day/Time Location
D100 Bobby Chan
Mo, We, Fr 12:30 PM – 1:20 PM
AQ 3150, Burnaby
D200 Ted Kirkpatrick
Mo, We, Fr 3:30 PM – 4:20 PM
SUR 3310, Surrey
CMPT 373 - Software Development Methods (3)

Survey of modern software development methodology. Several software development process models will be examined, as will the general principles behind such models. Provides experience with different programming paradigms and their advantages and disadvantages during software development. Prerequisite: CMPT 276 or 275.

CMPT 379 - Principles of Compiler Design (3)

This course covers the key components of a compiler for a high level programming language. Topics include lexical analysis, parsing, type checking, code generation and optimization. Students will work in teams to design and implement an actual compiler making use of tools such as lex and yacc. Prerequisite: MACM 201, (CMPT 150, CMPT 295 or ENSC 215) and CMPT 225.

Section Instructor Day/Time Location
D200 Maryam Siahbani
Mo, We, Fr 1:30 PM – 2:20 PM
SUR 3310, Surrey
CMPT 473 - Software Quality Assurance (3)

Factors in software quality include functionality, reliability, usability, efficiency, maintainability, and portability. Techniques for assessing the quality of software with respect to such factors, and methods for improving the quality of both software products and software development processes. Prerequisite: CMPT 373.

Section Instructor Day/Time Location
D100 William Sumner
Mo 2:30 PM – 4:20 PM
We 2:30 PM – 3:20 PM
SUR 2750, Surrey
SUR 2750, Surrey

and one of

CMPT 375 - Mathematical Foundations of Software Technology (3)

Abstraction principles and formalization techniques for modelling software systems in early design phases. Design is a creative activity calling for abstract models that facilitate reasoning about the key system attributes to ensure that these attributes are properly established prior to actually building a system. The focus is on specification and validation techniques rather than on formal verification. Prerequisite: (MACM 101 or (ENSC 251 and ENSC 252)) and MACM 201. Recommended CMPT 275 or 276.

CMPT 383 - Comparative Programming Languages (3)

Various concepts and principles underlying the design and use of modern programming languages are considered in the context of procedural, object-oriented, functional and logic programming languages. Topics include data and control structuring constructs, facilities for modularity and data abstraction, polymorphism, syntax, and formal semantics. Prerequisite: CMPT 225, and (MACM 101 or (ENSC 251 and ENSC 252)).

Section Instructor Day/Time Location
D100 Toby Donaldson
Mo, We, Fr 12:30 PM – 1:20 PM
SUR 2750, Surrey
CMPT 384 - Symbolic Computing (3)

This course considers modelling and programming techniques appropriate for symbolic data domains such as mathematical expressions, logical formulas, grammars and programming languages. Topics include recursive and functional programming style, grammar-based data abstraction, simplification and reduction transformations, conversions to canonical form, environment data structures and interpreters, metaprogramming, pattern matching and theorem proving. Prerequisite: CMPT 225, and (MACM 101 or ENSC 251 and ENSC 252)).

CMPT 474 - Web Systems Architecture (3)

Web service based systems are fundamentally different from traditional software systems. The conceptual and methodological differences between a standard software development process and the development of a web service based information system. The technology involved during the construction of their own web service based application in an extensive project. Prerequisite: CMPT 371.

CMPT 477 - Introduction to Formal Verification (3)

Introduces, at an accessible level, a formal framework for symbolic model checking, one of the most important verification methods. The techniques are illustrated with examples of verification of reactive systems and communication protocols. Students learn to work with a model checking tool. Prerequisite: CMPT 275 or 276.

Depth Requirement

Students must complete at least nine CMPT or MACM units at the 400 division.

Writing, Quantitative, and Breadth Requirements

Students admitted to Simon Fraser University beginning in the fall 2006 term must meet writing, quantitative and breadth requirements as part of any degree program they may undertake. See Writing, Quantitative, and Breadth Requirements for university-wide information.

WQB Graduation Requirements

A grade of C- or better is required to earn W, Q or B credit

Requirement

Units

Notes
W - Writing

6

Must include at least one upper division course, taken at Simon Fraser University within the student’s major subject
Q - Quantitative

6

Q courses may be lower or upper division
B - Breadth

18

Designated Breadth Must be outside the student’s major subject, and may be lower or upper division
6 units Social Sciences: B-Soc
6 units Humanities: B-Hum
6 units Sciences: B-Sci

6

Additional Breadth 6 units outside the student’s major subject (may or may not be B-designated courses, and will likely help fulfil individual degree program requirements)

Students choosing to complete a joint major, joint honours, double major, two extended minors, an extended minor and a minor, or two minors may satisfy the breadth requirements (designated or not designated) with courses completed in either one or both program areas.

 

Residency Requirements and Transfer Credit

The University’s residency requirement stipulates that, in most cases, total transfer and course challenge credit may not exceed 60 units, and may not include more than 15 units as upper division work.

  • At least half of the program’s total units must be earned through Simon Fraser University study
  • At least two thirds of the program’s total upper division units must be earned through Simon Fraser University study
  • At least two thirds of the upper division units in the courses of a school offering (or jointly offering) a program must be earned through that school at Simon Fraser University

For information regarding transfer, consult an Applied Sciences advisor.

Co-operative Education and Work Experience

All software systems students are strongly encouraged to explore the opportunities that Work Integrated Learning (WIL) can offer. Please contact a Software Systems co-op advisor during your first year of studies to ensure that you have all of the necessary courses and information to help plan for a successful co-op experience. For more information, visit http://www.sfu.ca/coop/programs/cmpt/home.html.