CSEP504: Advanced topics in software systems Software architecture: design-based –Formal reasoning about properties –Static vs. dynamic architectures Software.
CSEP504: Advanced topics in software systems Catching up on some things – interspersed –Structured reports –State-of-the-research reports –Topic #3 Tonight:
CSEP504: Advanced topics in software systems Tonight: 2 nd of three lectures on software tools and environments – a few tools in some more depth February.
CSEP504: Advanced topics in software systems