i Please note:  

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

School of Computing Science Simon Fraser University Calendar | Spring 2015

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 www.sfu.ca/fas/current-student/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 18 units, including all of

CMPT 150 - Introduction to Computer Design (3)

Digital design concepts are presented in such a way that students will learn how basic logic blocks of a simple computer are designed. Topics covered include: basic Von Neumann computer architecture; an introduction to assembly language programming; combinational logic design; and sequential logic design. Prerequisite: Strongly recommended: MACM 101 and either CMPT 120 or equivalent programming. Students with credit for ENSC 150 or CMPT 290 may not take this course for further credit. Quantitative.

Section Instructor Day/Time Location
D100
Mo, We 10:30 AM – 11:20 AM
Fr 10:30 AM – 11:20 AM
AQ 3181, Burnaby
AQ 3182, Burnaby
D101
Th 9:30 AM – 10:20 AM
ASB 9838, Burnaby
D102
Th 10:30 AM – 11:20 AM
ASB 9838, Burnaby
D103
Th 11:30 AM – 12:20 PM
ASB 9838, Burnaby
D104
Th 12:30 PM – 1:20 PM
ASB 9838, Burnaby
D105
Th 1:30 PM – 2:20 PM
ASB 9838, Burnaby
D106
Th 2:30 PM – 3:20 PM
ASB 9838, Burnaby
D200
Mo, We, Fr 9:30 AM – 10:20 AM
SUR 3090, Surrey
D201
Fr 10:30 AM – 11:20 AM
SUR 4050, Surrey
D202
Fr 11:30 AM – 12:20 PM
SUR 4050, Surrey
D203
Fr 12:30 PM – 1:20 PM
SUR 4050, Surrey
D204
Fr 1:30 PM – 2:20 PM
SUR 4050, Surrey
CMPT 250 - Introduction to Computer Architecture (3)

This course deals with the main concepts embodied in computer hardware architecture. In particular, the organization, design and limitations of the major building blocks in modern computers is covered in detail. Topics will include: processor organization; control logic design; memory systems; and architectural support for operating systems and programming languages. A hardware description language will be used as a tool to express and work with design concepts. Prerequisite: CMPT/ENSC 150. Students with credit for ENSC 250 may not take this course for further credit. Quantitative.

Section Instructor Day/Time Location
D100 Anthony Dixon
Mo, We, Fr 1:30 PM – 2:20 PM
SSCC 9002, Burnaby
D101
Mo 9:30 AM – 10:20 AM
ASB 9838, Burnaby
D102
Mo 10:30 AM – 11:20 AM
ASB 9838, Burnaby
D103
Mo 11:30 AM – 12:20 PM
ASB 9838, Burnaby
D104
Mo 12:30 PM – 1:20 PM
ASB 9838, Burnaby
D105
Mo 2:30 PM – 3:20 PM
ASB 9838, Burnaby
D106
Mo 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.

Section Instructor Day/Time Location
D200
Mo, We, Fr 12:30 PM – 1:20 PM
SUR 5140, Surrey
E100
Th 5:30 PM – 8:20 PM
AQ 3149, Burnaby
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
Tu 12:30 PM – 2:20 PM
SUR 3310, Surrey
D101
Tu 2:30 PM – 4:20 PM
SUR 4270, Surrey
D200
Tu 12:30 PM – 2:20 PM
SUR 3310, Surrey
D201
Th 12:30 PM – 2:20 PM
SUR 4270, Surrey
D300
Tu 12:30 PM – 2:20 PM
SUR 3310, Surrey
D301
Th 2:30 PM – 4:20 PM
SUR 4270, Surrey
OPL1
Tu 4:30 PM – 6:20 PM
SUR 4270, Surrey
OPL2
Th 4:30 PM – 6:20 PM
SUR 4270, Surrey
OPL3
Tu 4:30 PM – 6:20 PM
SUR 4270, Surrey

and two 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: CMPT 120 or 126 or 128. Enrolling in CMPT 125 concurrently is highly recommended if CMPT 126 or 128 has not already been completed. 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, MACM 101.

Section Instructor Day/Time Location
D100
Mo, We, Fr 10:30 AM – 11:20 AM
AQ 3003, 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/ENSC 150 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
D200
Mo 2:30 PM – 4:20 PM
We 2:30 PM – 3:20 PM
SUR 5100, Surrey
SUR 5100, Surrey
E200
Tu 5:30 PM – 8:20 PM
HCC 1700, Vancouver
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, 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
AQ 3150, Burnaby
AQ 3150, Burnaby
D200
Mo, Fr 9:30 AM – 10:20 AM
We 9:30 AM – 10:20 AM
SUR 5140, Surrey
SUR 5240, Surrey
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.

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
AQ 3003, 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
SSCC 9000, Burnaby
AQ 3005, 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
Mo, We, Fr 11:30 AM – 12:20 PM
SUR 3090, 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 Binay Bhattacharya
Mo, We, Fr 10:30 AM – 11:20 AM
SSCK 9500, Burnaby
D101
Tu 1:30 PM – 2:20 PM
TASC2 8201, Burnaby
D102
Tu 2:30 PM – 3:20 PM
RCB 7102, Burnaby
D103
Tu 3:30 PM – 4:20 PM
RCB 7102, Burnaby
D104
We 9:30 AM – 10:20 AM
RCB 6101, Burnaby
D105
We 11:30 AM – 12:20 PM
AQ 5006, Burnaby
D106
We 12:30 PM – 1:20 PM
AQ 5030, Burnaby
D200 Binay Bhattacharya
Mo, We, Fr 3:30 PM – 4:20 PM
BLU 9660, Burnaby
D201
We 1:30 PM – 2:20 PM
AQ 5006, Burnaby
D202
We 2:30 PM – 3:20 PM
AQ 5006, Burnaby
D203
We 4:30 PM – 5:20 PM
AQ 5008, Burnaby
D204
Th 9:30 AM – 10:20 AM
RCB 6101, Burnaby
D205
Th 10:30 AM – 11:20 AM
RCB 6101, Burnaby
D206
Th 11:30 AM – 12:20 PM
AQ 5006, Burnaby
D300
Mo, We, Fr 1:30 PM – 2:20 PM
SUR 5140, Surrey
D301
We 2:30 PM – 3:20 PM
SUR 3010, Surrey
D302
We 3:30 PM – 4:20 PM
SUR 3010, Surrey
D303
We 4:30 PM – 5:20 PM
SUR 3010, Surrey
D304
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. Quantitative.

Section Instructor Day/Time Location
D100 Luis Goddyn
Mo, We, Fr 12:30 PM – 1:20 PM
SWH 10081, Burnaby
D200 Abraham Punnen
Mo, We, Fr 8:30 AM – 9:20 AM
SUR 3310, Surrey
OP01
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, related rates, Newton's method. Antiderivatives and applications. Conic sections, 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
RCB IMAGTH, Burnaby
D200 Abraham Punnen
Mo, We, Fr 2:30 PM – 3:20 PM
SUR 5240, 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
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
Distance Education
D100 Tim Swartz
Mo, We, Fr 9:30 AM – 10:20 AM
AQ 3181, Burnaby
D900 Richard Lockhart
Tu 8:30 AM – 10:20 AM
Th 8:30 AM – 9:20 AM
SUR 5080, Surrey
SUR 5080, 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
Mo, We, Fr 8:30 AM – 9:20 AM
SUR 5140, Surrey
D101
We 9:30 AM – 10:20 AM
SUR 4080, Surrey
D102
We 10:30 AM – 11:20 AM
SUR 4080, Surrey
D103
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, 126, or 128 may not take this course for further credit. Quantitative.

Section Instructor Day/Time Location
D100
Mo, We, Fr 10:30 AM – 11:20 AM
SUR 3090, Surrey
D101
Mo 11:30 AM – 12:20 PM
SUR 4080, Surrey
D102
Mo 12:30 PM – 1:20 PM
SUR 4080, Surrey
D103
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
Mo 3:30 PM – 4:20 PM
We, Fr 3:30 PM – 4:20 PM
SUR 3310, Surrey
SUR 3170, 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 one of CMPT 125, 126 or 128; or CMPT 128 and approval as a Biomedical Engineering Major. Students with credit for CMPT 201 may not take this course for further credit. Quantitative.

Section Instructor Day/Time Location
D100 David Mitchell
Mo, We, Fr 10:30 AM – 11:20 AM
SSCC 9002, Burnaby
D101
Th 9:30 AM – 10:20 AM
ASB 9838, Burnaby
D102
Th 10:30 AM – 11:20 AM
ASB 9838, Burnaby
D103
Th 11:30 AM – 12:20 PM
ASB 9838, Burnaby
D104
Th 12:30 PM – 1:20 PM
ASB 9838, Burnaby
D105
Th 1:30 PM – 2:20 PM
ASB 9838, Burnaby
D106
Th 2:30 PM – 3:20 PM
ASB 9838, Burnaby
D107
Th 3:30 PM – 4: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, installation, support, and maintenance. Project management issues are also introduced. Prerequisite: One W course, CMPT 225, MACM 101, MATH 151 (or MATH 150). MATH 154/157 with at least B+ may substitute 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
Mo, We, Fr 1:30 PM – 2:20 PM
SUR 3170, 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. Students with credit for CMPT 475 may not complete this course for further credit.

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 or ENSC 215) and CMPT 225.

Section Instructor Day/Time Location
D100
Mo, We, Fr 4:30 PM – 5:20 PM
SUR 3340, 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.

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, 201. Recommended: CMPT 275.

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, MACM 101.

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; MACM 101.

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.

Section Instructor Day/Time Location
D100
Mo, We, Fr 10:30 AM – 11:20 AM
SUR 2600, Surrey
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.

Specialization Requirements

Students are required to take a "specialization" consisting of nine additional CMPT or MACM credits at the 300- or 400-level. This specialization must be approved by the School. See a Faculty of Applied Sciences advisor for more information.

Elective Courses

In addition to the courses listed above, students should consult a Faculty of Applied Sciences advisor to plan the remaining required elective courses.

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.

Back to Top

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 www.sfu.ca/computing/undergraduate/co-op.html.