CSEP504: Advanced Topics in Software Systems
Catalog Description: Topics include software architecture, software tools, programming language analysis, type systems, formal reasoning, and other pertinent topics in software engineering and programming languages research.
Prerequisities: (none listed) Credits: 4.0Portions of the CSEP504 web may be reprinted or adapted for academic nonprofit purposes, providing the source is accurately quoted and duly creditied. The CSEP504 Web: © 1993-2024, Department of Computer Science and Engineering, Univerity of Washington. Administrative information on CSEP504 (authentication required).