Software Development Methods, Spring 2023
This course introduces a selection of theories and practices that, we believe, will enhance the student's ability in developing correct and high-quality software. Its goal is to acquaint the students with some of the well-used methods and tools for practical software development as well as some fundamentals of software verification, so as to prepare them for a career in software development. The view taken here is that of an engineer (programmer, software engineer, or software architect) and hence the focus of the course is primarily on the technical aspects of software development process.
Announcements
-
-
05/24:
HW#5 due 23:59PM 06/06.
05/24: slides for Formal Logic, Hoare Logic, and Frama-C and ACSL available.
05/16: suggested solutions to
HW#3 and
HW#4 available.
05/10: slides for Software Testing available.
-
04/26:
HW#4 due 2:00PM 05/03.
04/12: slides for Web Application Security available.
-
03/29:
HW#3 due 2:20PM 04/06.
03/29: slides for Domain Modeling available (revised 04/02).
03/22: slides for Design Document and an example design document available.
-
03/15: slides for Advanced Web Programming available.
-
03/09:
HW#2 due 2:00PM 03/15.
03/08: slides for Chrome DevTools available.
03/08: slides for UML Diagrams available.
-
-
03/01: slides for An Overview of Software Modeling and UML available.
-
02/22: slides for Git available.
02/22: slides for Course Introduction available.
02/18: this website created to complement the NTU COOL site for this course.
Instructor
Yih-Kuen Tsay (蔡益坤), Room 1108, Management II, 3366-1189, Xtsay@ntu.edu.twX (between the enclosing pair of X's).
Guest Speakers
Jeffrey CH Liu (劉智雄, Appier), Clement CW Su (蘇志文, IBM), Scar Su (蘇瑞亨, 叡揚), Chih-Pin Tai (戴智斌, 創炎/Traiwan出來玩), Ming-Hsien Tsai (蔡明憲, 國家資通安全研究院), and Ching-Lin Yu (游景麟, Google).
Lectures
Wednesday 2:20-5:20PM, Room 302, College of Management, Building 2.
Office Hours
Tuesday 1:30-2:00PM, Wednesday 1:30-2:00PM, or by appointment, Room 1108, Management Building 2.
TA
Prerequisites
Object-Oriented Programming and Database Management.
Textbook
Class notes and selected readings.
Syllabus/Schedule (with links to slides/notes)
We will start with an overview of the typical software development process and relevant
issues and then study in greater details some fundamental elements of software modeling, design,
and verification, along with several software productivity tools and development
practices.
To practice applying these methods and tools, we will carry out a term project
that involves the development of a large Web application.
We will also study Web application programming techniques and security,
to better prepare for the project.
Introduction (2/3 week: 02/22a)
Overview of software requirements, development process, design methods, verification
[
slides]
Productivity Tools: Version Control with Git (1/3 week: 02/22b) [
slides]
Software Modeling: An Overview of UML (2/3 week: 03/01a)
Introduction, basics of modeling, overview of the UML
[
slides]
Term Project: Initial Discussions (1/3 week: 03/01b) [
Draft]
Software Modeling: UML Diagrams (2/3 week: 03/08a)
Structural modeling (
class diagrams, classifiers, interfaces, packages), behavioral modeling (
interactions, use case diagrams, interaction diagrams, activity diagrams), architectural modeling (
collaborations, deployment diagrams), advanced structural modeling (
object diagrams, components), advanced behavioral modeling (
events, state machines, processes and threads, timing constraints)
[
slides]
Productivity Tools: Chrome DevTools (1/3 week: 03/08b) [
slides]
-
Term Project: Proposal Presentations (1/3 week: 03/22a)
Software Development Practice: Design Document (2/3 week: 03/22b)
Design document introduction, high level design document, implementation level design document, design document for agile development
[
slides,
An Example Design Document]
Software Modeling: Domain Modeling (1 week: 03/29)
Introduction, mathematical preliminaries, and basic and higher abstractions [
slides]
Term Project: First Preliminary Demos (1/3 week: 04/12a)
Software Security: Web Application Security (2/3 week: 04/12b)
Dynamic Web pages, client-side scripts, security vulnerabilities, vulnerabilities detection and prevention
[
slides]
Productivity Tools: Debuggers (1/3 week: 04/19a) [
slides]
Software Design: Design Patterns (1 and 2/3 weeks: 04/19b, 04/26)
Why design patterns, introduction to creational, structural, and behavioral patterns, GoF patterns
[
slides,
code examples]
Software Development Practice: Agile Development in Practice (1 week: 05/03)
Principles for building an agile team, essentials of scrum, kanban, and scrumban, DevOps, and engineering culture
[
slides]
Term Project: Second Preliminary Demos (1/3 week: 05/10a)
Midterm Discussions (or Make-Up Lecture) (2/3 week: 05/10b)
Software Verification: Testing (1 week: 05/17)
[
slides]
Formal Specification: Formal Logic and Correctness Requirements (.5 week: 05/24a)
Motivation, program correctness, propositional and first-order logics (
propositions, proofs, theorems, predicates, models)
[
slides]
-
Term Project: Final Presentations (2023/05/31)
Final Exam (2023/06/07)
Grading
Homework 10%, Attendance/Participation 10%, Term Project 50%, Final 30%.
References
-
-
-
-
Eclipse, The Eclipse Foundation open source community website.
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
Old Exams and Solutions