Repository navigation
Expand file tree
/
Copy pathcourses.html
More file actions
302 lines (290 loc) · 14.8 KB
/
Copy pathcourses.html
File metadata and controls
302 lines (290 loc) · 14.8 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
<!DOCTYPE html>
<!--[if IEMobile 7]>
<html class="iem7 oldie" lang="en"><![endif]-->
<!--[if (IE 7)&!(IEMobile)]>
<html class="ie7 oldie" lang="en"><![endif]-->
<!--[if (IE 8)&!(IEMobile)]>
<html class="ie8 oldie" lang="en"><![endif]-->
<!--[if (IE 9)&!(IEMobile)]>
<html class="ie9" lang="en"><![endif]-->
<!--[[if (gt IE 9)|(gt IEMobile 7)]><!-->
<html lang="en"><!--<![endif]-->
<!--
* UBC CLF (Common Look and Feel) v7.0.4
* Copyright 2012-2013 The University of British Columbia
* UBC Communications and Marketing
* http://brand.ubc.ca/clf
*/
-->
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta charset="utf-8">
<title>Software Practices Lab - Department of Computer Science - UBC</title>
<meta name="viewport" content="width=device-width">
<meta name="description"
content="Software Practices Lab - University of British Columbia Department of Computer Science">
<meta name="author" content="Reid Holmes">
<!-- Stylesheets -->
<link href="//cdn.ubc.ca/clf/7.0.4/css/ubc-clf-full.min.css" rel="stylesheet">
<link href="css/unit.css" rel="stylesheet">
<link href="css/style.css" rel="stylesheet">
<!--[if lte IE 7]>
<link href="//cdn.ubc.ca/clf/7.0.4/css/font-awesome-ie7.css" rel="stylesheet">
<![endif]-->
<!-- Le HTML5 shim, for IE6-8 support of HTML5 elements -->
<!--[if lt IE 9]>
<script src="//cdn.ubc.ca/clf/html5shiv.min.js"></script>
<![endif]-->
<!-- Fav and touch icons -->
<link rel="shortcut icon" href="//cdn.ubc.ca/clf/7.0.4/img/favicon.ico">
<link rel="apple-touch-icon-precomposed" sizes="144x144"
href="//cdn.ubc.ca/clf/7.0.4/img/apple-touch-icon-144-precomposed.png">
<link rel="apple-touch-icon-precomposed" sizes="114x114"
href="//cdn.ubc.ca/clf/7.0.4/img/apple-touch-icon-114-precomposed.png">
<link rel="apple-touch-icon-precomposed" sizes="72x72"
href="//cdn.ubc.ca/clf/7.0.4/img/apple-touch-icon-72-precomposed.png">
<link rel="apple-touch-icon-precomposed" href="//cdn.ubc.ca/clf/7.0.4/img/apple-touch-icon-57-precomposed.png">
</head>
<body>
<div class="container">
<!-- UBC Global Utility Menu -->
<!--
<div class="collapse expand" id="ubc7-global-menu">
<div id="ubc7-search" class="expand">
<div id="ubc7-search-box">
<form class="form-search" method="get" action="http://www.ubc.ca/search/refine/" role="search">
<input type="text" name="q" placeholder="Search this website" class="input-xlarge search-query">
<input type="hidden" name="label" value="Search UBC" />
<input type="hidden" name="site" value="*.ubc.ca" />
<button type="submit" class="btn">Search</button>
</form>
</div>
</div>
<div id="ubc7-global-header" class="expand">
</div>
</div>
-->
<!-- End of UBC Global Utility Menu -->
<!-- UBC Header -->
<header id="ubc7-header" class="row-fluid expand" role="banner">
<div class="span1">
<div id="ubc7-logo">
<a href="https://www.ubc.ca">The University of British Columbia</a>
</div>
</div>
<div class="span2">
<div id="ubc7-apom">
<a href="//cdn.ubc.ca/clf/ref/aplaceofmind">UBC - A Place of Mind</a>
</div>
</div>
<div class="span9" id="ubc7-wordmark-block">
<div id="ubc7-wordmark">
<a href="https://www.ubc.ca">The University of British Columbia</a>
<!-- <span class="ubc7-campus" id="ubc7-vancouver-campus">Vancouver campus</span>-->
</div>
<!--
<div id="ubc7-global-utility">
<button type="button" data-toggle="collapse" data-target="#ubc7-global-menu"><span>UBC Search</span></button>
<noscript><a id="ubc7-global-utility-no-script" href="http://www.ubc.ca/">UBC Search</a></noscript>
</div>
-->
</div>
</header>
<!-- End of UBC Header -->
<!-- UBC Unit Identifier -->
<div id="ubc7-unit" class="row-fluid expand">
<div class="span12">
<!-- Mobile Menu Icon -->
<div class="navbar">
<a class="btn btn-navbar" data-toggle="collapse" data-target="#ubc7-unit-navigation">
<span class="icon-bar"></span>
<span class="icon-bar"></span>
<span class="icon-bar"></span>
</a>
</div>
<!-- Read more about Unit Name Treatment on http://brand.ubc.ca/clf -->
<!-- No Faculty Treatment --><!--<div id="ubc7-unit-name" class="ubc7-single-element"> -->
<div id="ubc7-unit-name">
<a href="/"><span id="ubc7-unit-faculty">Computer Science</span><span
id="ubc7-unit-identifier">Software Practices Lab</span></a>
</div>
</div>
</div>
<!-- End of UBC Unit Identifier -->
<!-- UBC Unit Navigation -->
<div id="ubc7-unit-menu" class="navbar expand" role="navigation">
<div class="navbar-inner expand">
<div class="container">
<div class="nav-collapse collapse" id="ubc7-unit-navigation">
<ul class="nav">
<li><a href="index.html">Home</a></li>
<li><a href="people.html">People</a></li>
<li><a href="research.html">Research</a></li>
<li><a href="publications.html">Publications</a></li>
<li class="active"><a href="courses.html">Courses</a></li>
<li><a href="culture.html">Culture</a></li>
<li><a href="reading-group.html">Reading Group</a></li>
</ul>
</div><!-- /.nav-collapse -->
</div>
</div><!-- /navbar-inner -->
</div><!-- /navbar -->
<!-- End of UBC Unit Navigation -->
<!-- UBC Unit Breadcrumbs -->
<ul class="breadcrumb expand">
<li>
<a href="https://cs.ubc.ca/">Computer Science</a> <span class="divider">/</span>
</li>
<li>
<a href="index.html">Software Practices Lab</a> <span class="divider">/</span>
</li>
<li class="active">Courses</li>
</ul>
<!-- End of UBC Unit Breadcrumbs -->
<!-- Content Area -->
<div class="content expand" role="main">
<!-- CONTENT -->
<!-- CONTENT -->
<!-- CONTENT -->
<!-- CONTENT -->
<!-- CONTENT -->
<!-- CONTENT -->
<h1>Graduate Courses</h1>
<p>
SPL faculty teach a variety of graduate-level courses relevant to Software Engineering and Programming Languages. While these vary from year-to-year, the most common offerings over recent years have included:
<ul>
<li><b>CPSC 507: Human Aspects of Software Engineering</b>
<p>
Developers are intrinsic to software development; as systems scale in size and complexity, the challenges that developers must overcome rapidly increase.
The theme of this Advanced Software Engineering is the 'Human Aspects of Software Engineering'.
We will examine why creating software is a hard problem and how these problems have been addressed and evaluated both in research and practice.
The increased importance of AI-based development tools cannot be ignored as they are increasingly impacting how we build software systems.
The course will be seminar-based and will involve weekly reading and discussion.
A large-scale course project will involve building a software development tool to address a problem you have faced writing software yourself; this will likely involve a relatively heavy amount of programming.
</p>
</li>
<li><b>CPSC 509: Programming Language Principles</b>
<p>
</p>
</li>
<li><b>CPSC 511: Implementation of Programming Languages</b>
<p>
</p>
</li>
<li><b>CPSC 539B: Dependent Types</b>
<p>
This course covers a variety of research topics related to type theory, program verification, and compiler verification.
</p>
</li>
<li><b>CPSC 539L: Automated Testing, Bug Detection, and Program Analysis</b>
<p>
While human-written tests are a prevailing method for assuring the quality of software in practice, they are still subject to human error, and allowing bugs to slip through the cracks that the human tester did not consider.
This class explores topics in the field of automated testing, which aims, at a high-level, to reduce the developer burden in discovering bugs and writing test cases.
Recent advances in this field leverage static and dynamic information from the program under test in order to effectively explore the space of behaviors of the program under test, enabling the quick discovery of potentially severe security bugs.
</p>
</li>
<li><b>CPSC 539S: Program Verifiers and Program Verification</b>
<p>
</p>
</li>
</ul>
</p>
<h1>Undergraduate Courses</h1>
<p>
The <a href="https://vancouver.calendar.ubc.ca/course-descriptions/subject/cpscv">UBC Calendar</a> contains descriptions of all of the department's undergraduate courses, the main courses taught by faculty in the SPL are:
<ul>
<li>CPSC 310: Introduction to Software Engineering</li>
<li>CPSC 311: Definition of Programming Languages</li>
<li>CPSC 410: Advanced Software Engineering</li>
<li>CPSC 411: Introduction to Compiler Construction</li>
</ul>
</p>
</div>
<!-- End of Content Area -->
<!-- Footer Area Unit Menu - Mobile Only -->
<div id="ubc7-unit-alternate-navigation" class="navbar expand visible-phone" role="navigation">
<div class="navbar-inner expand">
<div class="container">
<div class="nav-collapse collapse">
<ul class="nav">
<li><a href="index.html">Home</a></li>
<li><a href="people.html">People</a></li>
<li><a href="research.html">Research</a></li>
<li><a href="publications.html">Publications</a></li>
<li class="active"><a href="courses.html">Courses</a></li>
<li><a href="culture.html">Culture</a></li>
<li><a href="reading-group.html">Reading Group</a></li>
<!--
<li class="dropdown">
<div class="btn-group">
<a class="btn" href="http://www.ubc.ca/">Dropdown</a>
<button class="btn dropdown-toggle" data-toggle="dropdown"><span class="ubc7-arrow blue down-arrow"></span></button>
<ul class="dropdown-menu">
<li><a href="#">Action</a></li>
<li><a href="#">Another action</a></li>
<li><a href="#">Something else</a></li>
<li class="nav-header">Navigation header</li>
<li><a href="#">Separated link</a></li>
<li><a href="#">One more separated link</a></li>
</ul>
</div>
</li>
-->
</ul>
</div><!-- /.nav-collapse -->
</div>
</div><!-- /navbar-inner -->
</div><!-- /navbar -->
<!-- End of Footer Area Unit Menu -->
<footer id="ubc7-footer" class="expand" role="contentinfo">
<div class="row-fluid expand" id="ubc7-unit-footer">
<div class="span10" id="ubc7-unit-address">
<div id="ubc7-address-name">Software Practices Lab</div>
<div id="ubc7-address-unit-name">Department of Computer Science</div>
<div id="ubc7-address-campus">Vancouver Campus</div>
<div id="ubc7-address-street">201 - 2366 Main Mall</div>
<div id="ubc7-address-location">
<span id="ubc7-address-city">Vancouver</span>, <span id="ubc7-address-province">BC</span> <span
id="ubc7-address-country">Canada</span> <span id="ubc7-address-postal">V6T 1Z4</span>
</div>
</div>
<!--
<div class="span2">
<strong>Find me on</strong>
<div id="ubc7-unit-social-icons">
<a href="https://twitter.com/reid_holmes/"><i class="icon-twitter-sign"></i></a>
</div>
</div>
-->
</div>
<div class="row-fluid expand ubc7-back-to-top">
<div class="span2">
<a href="#">Back to top
<div class="ubc7-arrow up-arrow grey"></div>
</a>
</div>
</div>
<div class="row-fluid expand" id="ubc7-global-footer">
<div class="span5" id="ubc7-signature"><a href="https://www.ubc.ca">The University of British Columbia</a>
</div>
<div class="span7" id="ubc7-footer-menu">
</div>
</div>
<div class="row-fluid expand" id="ubc7-minimal-footer">
<div class="span12">
<ul>
<li><a href="//cdn.ubc.ca/clf/ref/emergency">Emergency Procedures</a> <span class="divider">|</span>
</li>
<li><a href="//cdn.ubc.ca/clf/ref/terms">Terms of Use</a> <span class="divider">|</span></li>
<li><a href="//cdn.ubc.ca/clf/ref/copyright">Copyright</a> <span class="divider">|</span></li>
<li><a href="//cdn.ubc.ca/clf/ref/accessibility">Accessibility</a></li>
</ul>
</div>
</div>
</footer>
</div> <!-- /container -->
<!-- Placed javascript at the end for faster loading -->
<script src="//ajax.googleapis.com/ajax/libs/jquery/1.9.1/jquery.min.js"></script>
<script src="//cdn.ubc.ca/clf/7.0.4/js/ubc-clf.min.js"></script>
</body>
</html>