|
|
Course Criteria
Add courses to your favorites to save, share, and find your best transfer school.
-
4.00 Credits
Technical and nontechnical aspects of software development, including specification, planning, design, development, management and maintenance of software projects. Student teams complete projects. Pre- or coreq: CIS 315.
-
4.00 Credits
Application of concepts covered in CIS 422/522. Student teams complete a large system design and programming project. Final system specifications, test plan, user documentation, and system walk-throughs. Prereq: CIS 422.
-
4.00 Credits
Syntax and semantics. Scope rules, environments, stores, denoted and expressed values, procedures, and parameters. Definitional interpreters. Types, overloading, parametric polymorphism, and inheritance. Varieties of abstraction. Prereq: CIS 315.
-
4.00 Credits
Basic notions of logic: propositional logic, first-order logic, Hilbert systems, sequent calculus, natural deduction. Soundness, completeness, undecidability. Current research in logic frameworks, automated deduction, Curry-Howard isomorphism. Prereq: MATH 233.
-
4.00 Credits
RISC (reduced instruction-set computer) and CISC (complex instruction-set computer) design, storage hierarchies, high-performance processor design, pipelining, vector processing, networks, performance analysis. Prereq: CIS 313, 314, 323.
-
4.00 Credits
Principles of computer network design. Link technologies, packet switching, routing, internetworking, reliability. Internet protocols. Programming assignments focus on protocol design. Prereq: CIS 313, 314, 323. CIS 415 recommended.
-
4.00 Credits
Security for various aspects of computers and networks. Elementary cryptography, program security, trusted operating systems, network security, privacy, and legal and ethical issues. Prereq: CIS 432/532.
-
4.00 Credits
Introduction to the hardware, geometrical transforms, interaction techniques, and shape representation schemes that are important in interactive computer graphics. Programming assignments using contemporary graphics hardware and software systems. Prereq: CIS 313, 323; pre- or coreq: CIS 314.
-
4.00 Credits
Introduction to user interface software engineering. Emphasis on theory of interface design, understanding the behavior of the user, and implementing programs on advanced systems. Prereq: CIS 313, 314, 323.
-
4.00 Credits
Theoretical foundations and practical problems for the modeling and computer simulation of discrete and continuous systems. Simulation languages, empirical validation, applications in computer science. Prereq: CIS 314, 315.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|