CS 7140 Advanced Software Engineering

Fall 2020 Course Weekly Schedule
Prabhaker Mateti

Lectures NO Set Meeting Times • Office Hours TBD or by Appointment
Syllabus | Exams | Project | Links | UML-poster |

Wk Slides | Videos 2020 | Videos 2018   Item Weight Due
1 Overview, Prog in the Small, Metrics Project Intro   P- = Project-    
2 Assertions Specs Design, VHLL DNF Tools   P-Teams  
3 Condense Ranges + Grammars + Math + Logic   P-Requires 5% Sep 17
4 Assertions, OpenJML, Small Set of Int        
5 Literate Program Example: Knuth-CWP #1 #2 #3   Homework1 10% Sep 28
6 Published Example of Spec + Design: PPP   P-Specs 5% Oct 12
7 Design of an Editor, Specs of Undo, Redo  
8 Correctness Proofs of Tiny Programs  
8 Design Space Hierarchy  
8 Link to a Sample Exam • MidSem Exam: To Be Scheduled   Mid Term 20% Oct 19
9 Testing: Coverage, Unit, Integration Bug Discovery   P-Design 5% Oct 26
A Refactoring OOD   P-Impl 5% Nov 02
B Secure Programming: CERT rules, Static Analysis   P-Testing 5%
C Java- 6 to 14, C++ 11 to 20, DSL (Domain-Specifc-Langs)  
D Software Architecture  
E Software Comprehension   Homework2 10% Dec 07
F Concurrency, Distributed Computing, Cloud Computing   P-Final 5% Dec 07
F Trends: Agile-, eXtreme- Programming, ...   Participation 5%
F Last Class: Dec 05 (Sat)  
* Final Exam: To Be Scheduled   Final Exam 25%

Copyright 2020 • Prabhaker Mateti • 2020-09-11