CSE P 504
Advanced Topics in Software Systems
Topics include software architecture, software tools, programming language analysis, type systems, formal reasoning, and other pertinent topics in software engineering and programming languages research.
Topics
- software architecture
- software tools
- programming language analysis
- type systems
- formal reasoning
- and other pertinent topics in software engineering and programming languages research
Topics explicitly listed in official catalogue description
Sources
- Course catalogue ↗Current public catalogue; retrieved 2026-11-05