Software Development Methods, Fall 2016
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
02/01: grade report revised (again on 02/02).
-
01/10: final will be held in B01 of Management Building 1.
12/28: slides for Automata-Based Model Checking and for Hoare Logic available.
12/21: slides for Logic, OCL, and Alloy available.
12/07: One-slide summary of term project:
all groups.
12/07: slides for Web Application Security available.
11/29: slides for Software Testing available.
11/23: slides for Design Document and an example design document available.
11/14: slides for Design Patterns and some code examples available.
11/02:
HW#4 due 2PM 11/16.
10/27:
Term Project finalized; it is identical to the draft of 10/20.
10/27: slides for Bluemix and for Team Collaboration available.
-
10/19:
HW#3 due 2PM 10/26.
10/12: data modeling group exercise due 5:30PM 10/17; email completed solutions to the instructors.
10/12: contact email addresses of domain modeling instructors: Xscar_su@gss.com.twX, Xlynn_lin@gss.com.twX, Xpauline_peng@gss.com.twX (between the enclosing pair of X's).
10/12: slides for Domain Modeling available.
10/12: slides for UML Diagrams available.
10/12: slides for Web Application Development available.
-
09/28: the deadline of HW#2 is extended by 24 hours to 2PM 09/29.
09/22: it is OK to use different languages for HW#2.
09/21: slides for Git, Eclipse, and EGit available.
09/21:
HW#2 due 2PM 09/28.
09/21: slides for An Overview of UML available.
09/14:
HW#1 due 10AM 09/23.
09/14: slides for Course Introduction available.
09/12: website announced. This website is the primary source of all up to date course information and syllabus of Software Development Methods 2016; there is no separate PDF version for the syllabus.
Instructor
Yih-Kuen Tsay (蔡益坤), Room 1108, Management II, 3366-1189, Xtsay@ntu.edu.twX (between the enclosing pair of X's).
Guest Speakers
Lynn Lin (林婉齡, 叡揚), Jeffrey CH Liu (劉智雄, IBM), Wen-Chun Ni (倪文君, 叡揚), Pauline Peng (彭寶嶙, 叡揚), Clement CW Su (蘇志文, IBM), Scar Su (蘇瑞亨, 叡揚), Chih-Pin Tai (戴智斌, 創炎/Traiwan出來玩), Ming-Hsien Tsai (蔡明憲, Academia Sinica), and Ching-Lin Yu (游景麟, Mozilla).
Lectures
Wednesday 2:20-5:20PM, Room 204, 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
張子建, 3366-1205, Xr03725007@ntu.edu.twX (between the enclosing pair of X's).
Prerequisites
Object-Oriented Programming and Database Management.
Textbook
Class notes and selected readings.
Syllabus/Schedule (with links to slides/notes)
After an overview of the typical software development process and relevant
issues, we will study 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: 09/14a)
Overview of software requirements, development process, design methods, and verification
[
slides]
Productivity Tools: Version Control with Git (1/3 week: 09/14b) [
slides]
Software Modeling: An Overview of UML (2/3 week: 09/21a)
Introduction, basics of modeling, overview of the UML
[
slides]
-
Web Application Development (1 week: 09/28) [
slides]
Software Modeling: UML Diagrams (1 week: 10/05)
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]
Software Modeling: Domain Modeling (2 weeks: 10/12, 10/19)
What and how (abstract models, notations and constructs, basic business logics, crossing domains, layers of abstraction), common patterns, with group exercises and discussions
[
slides]
Software Development Practice: Next-Generation Cloud and Cognitive Applications (2/3 week: 10/26a)
Overview of open source projects CloudFoundry and IBM Bluemix, rapid cloud application development with composable cloud services, Watson Cognitive
API for building next generation applications
[
slides; websites:
Bluemix,
JazzHub; inspiring article:
A Cambrian moment]
Software Development Practice: Team Collaboration (1/3 week: 10/26b)
Agile development process, Git-Flow best practices, continuous integration, and IBM experience
[
slides]
Term Project: Proposal Presentations (1/3 week: 11/02a)
Invited Talk (2/3 week: 11/02b)
[
slides]
Design Patterns (2 weeks: 11/09, 11/16)
Why design patterns, introduction to creational, structural, and behavioral patterns, GoF patterns
[
slides;
code examples]
Term Project: First Preliminary Demos (1/3 week: 11/23a)
Software Development Practice: Design Document (2/3 week: 11/23b)
High level design document, implementation level design document, user story (for Agile)
[
slides, notes:
An Example Design Document]
Software Security: Web Application Security (1 week: 11/30)
Dynamic Web pages, client-side scripts, security vulnerabilities, vulnerabilities detection and prevention
[
slides]
Software Verification: Testing (1 week: 12/07)
[
slides]
Term Project: Second Preliminary Demos (1/3 week: 12/14a)
Invited Talk (2/3 week: 12/14b)
[
slides]
Software Modeling: Formal Logic and Correctness Requirements (1/2 week: 12/21a)
Propositions, proofs, theorems, predicates, models
[
slides]
Software Modeling: OCL or Alloy (1/2 week: 12/21b)
Object Constraint Language (
relation with UML models, values, types, expressions, objects, properties, collection operations)
[
slides]
Software modeling, simulation, and checking
[
slides]
-
Term Project: Final Presentations (2017/01/04)
Final Exam (2017/01/11)
Grading
Homework 10%, Term Project 50%, Final 30%, Attendance/Participation 10%.
References
-
Eclipse, The Eclipse Foundation open source community website.
-
-
-
-
-
The Unified Modeling Language User Guide, 2nd Edition, G. Booch, I. Jacobson, and J. Rumbaugh, Addison-Wesley, 2005.
Design Patterns: Elements of Reusable Object-Oriented Software, E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Addison-Wesley, 1995.
-
-
-
Logic in Computer Science: Modelling and Reasoning about Systems, M. Huth and M. Ryan, Cambridge University Press, 2004.
-
Object Constraint Language, OMG Available Specification, Version 2.0,
OMG.
Software Abstractions: Logic, Language, and Analysis, D. Jackson, MIT Press, 2006.
Temporal Verification of Reactive Systems: Safety, Z. Manna and A. Pnueli, Springer-Verlag, 1995.
The SPIN Model Checker: Primer and Reference Manual, G.J. Holzman, Addison-Wesley, 2003.
-
-
Verification of Sequential and Concurrent Programs, 3rd Edition, K.R. Apt, F.S. de Boer, and E.-R. Olderog, Springer, 2009.
-
-
Old Exams and Solutions