CSE503: Software Engineering

What is software engineering?

Key points for definitions

Highest level goal of 503

What is software engineering research?

People play a key role

Assessment is complicated

My view is different

CSE503: Technical focus

CSE503: Two primary objectives

What is your background?

What do you want from CSE503?

“Not a mere matter of programming”:
an example

But it leaves open key software engineering problems

Proving programs correct: redux

CSE503: basics

CSE503: assigned work

No midterm or final exam

Wednesday (1/9):
a Michael Jackson video

Friday (1/11) and Monday (1/14):
program correctness

Then: software specifications