Course offerings in the Engineering Distance Education Program vary from
semester to semester.
To find out what courses will be offered for your semester of interest,
please use the Course
Offerings Web Page. Choose the semester you are interested in (i.e., Spring
2004) and then your program of interest (i.e., Software Engineering).
Remember that all distance education course codes end in the number "6" (i.e., AERO-7206).
| Courses Available through the Master of Computer
Science and Software Engineering Distance Education Program |
| Course Code \ Title |
Hrs. |
Description |
COMP 6126
DATABASE SYSTEMS I |
3 |
LEC. 3. Pr., COMP 3270. Theoretical and applied issues related
to the analysis, design, and implementation of relational database
systems. |
COMP 6206
THEORETICAL COMPUTER SCIENCE |
3 |
LEC. 3. Pr., COMP 4200 or departmental approval. The
nature of the recursive sets and recursively enumerable sets. Decidability.
Context-sensitive grammars and linear-bounded automata, including
closure properties; oracles; reduction; the arithmetic hierarchy;
the analytic hierarchy. |
COMP 6326
DESIGN AND ANALYSIS OF COMPUTER NETWORKS |
3 |
LEC. 3. Pr., COMP 4320 or departmental approval. Computer
networks design, including multiplexing, switching, routing, internetworking,
transport protocols, congestion control, and performance evaluation. |
COMP 6336
PARALLEL AND DISTRIBUTED COMPUTING |
3 |
LEC. 3. Pr., COMP 3500. Overview of hardware and software
issues in parallel systems: fundamental parallel architectures, programming
languages, tools and algorithms, parallel applications. |
COMP 6406
FUNDAMENTALS OF COMPUTER
GRAPHICS |
3 |
LEC. 3. Pr., COMP 2210, MATH 2660. Graphics hardware
and software components, coordinate systems, 2-D and 3-D transformations,
3-D viewing and projection, clipping and windowing, scan conversion
and algorithms, visibility determination and shadowing, and software
projects using a graphics software package. |
COMP 6606
ARTIFICIAL INTELLIGENCE |
3 |
LEC. 3. Pr., COMP 3270 and COMP 4640 or departmental
approval. Introduction to intelligent agents, search knowledge representation
and reasoning, machine learning. |
COMP 6616
ARTIFICIAL INTELLIGENCE
PROGRAMMING |
3 |
LEC. 3. Pr., COMP 6600 or departmental approval. Design
and implementation of advanced artificial intelligence techniques
including expert systems, planning, logic and constraint programming,
knowledge representation and heuristic search methods. |
COMP 6706
SOFTWARE PROCESS |
3 |
LEC. 3. Pr., COMP 3700 or departmental approval. Process
models of the software life cycle as well as methods and tools for
software development. |
COMP 6716
SOFTWARE QUALITY ASSURANCE |
3 |
LEC. 3. Pr., COMP 3700 or departmental approval. Processes,
methods, and tools associated with the production of robust, high-quality
software. |
COMP 7126
DATABASE SYSTEMS II |
3 |
LEC. 3. Pr., COMP 6120. Theoretical and applied issues
related to the analysis, design, and implementation of object-oriented
database systems. |
COMP 7226
PROGRAMMING LANGUAGE
DESIGN AND SPECIFICATIONS |
3 |
LEC. 3. Pr., COMP 6220 or departmental approval. Issues
related to programming language design. Lambda calculus as a formalism
for specification. Predicate logic. Higher-order logics. Completeness
and consistency. Data representations issues. Translation: interpretation
vs. compilation. Type theory. |
COMP 7326
ADVANCED COMPUTER NETWORKS |
3 |
LEC. 3. Pr., COMP 6320 or departmental approval. Advanced
network topics, including ISDN, ATM, active networks, security, Internet,
wireless and mobile networks, and network management. |
COMP 7346
HIGH SPEED NETWORKS |
3 |
LEC. 3. Pr., COMP 6320 or departmental approval. High-speed
networks design, including ATM and gigabit Ethernets, quality of service,
ATM traffic, congestion control, ATM switching, and signaling. |
COMP 7406
ADVANCED COMPUTER GRAPHICS |
3 |
LEC. 3. Pr., COMP 6400 or departmental approval. Advanced
3-D topics including visual realism issues, visible surface determination
algorithms, illumination and shading models, surface and solid modeling,
advanced modeling techniques, special purpose graphics architectures,
and animation. Software projects will be assigned. |
COMP 7506
ADVANCED TOPICS IN OPERATING
SYSTEMS |
3 |
LEC. 3. Pr., COMP 6500 or departmental approval. Advanced
topics in operating system concepts, design and implementation. |
COMP 7606
COMPUTATIONAL INTELLIGENCE |
3 |
LEC. 3. Pr., COMP 6600 or departmental approval. A
study of computational intelligence with emphasis on the design and
implementation of neural, genetic and fuzzy computing techniques. |
COMP 7616
COMPUTATIONAL COGNITION |
3 |
LEC. 3. Pr., COMP 6600 or departmental approval. Computational
models of cognition, including knowledge representations and process
mechanisms like means-ends analysis, semantic networks, frames. |
COMP 7706
SOFTWARE ARCHITECTURE |
3 |
LEC. 3. Pr., COMP 6700 and COMP 6710. Methods and tools
related to the analysis, specification and design of software architecture. |
COMP 7716
SOFTWARE ENVIRONMENTS |
3 |
LEC. 3. Pr., COMP 6700 and COMP 6710. Issues associated
with the design, implementation, and use of software engineering environments. |
COMP 7726
SOFTWARE RE-ENGINEERING |
3 |
LEC. 3. Pr., COMP 6700 and COMP 6710. Process, methods
and tools associated with reengineering software systems. |
COMP 7736
FORMAL METHODS FOR SOFTWARE |
3 |
LEC. 3. Pr., COMP 6700 and COMP 6710. Precise, abstract
models for characterizing and reasoning about properties of software
systems. |
COMP 7956
INTRODUCTION TO GRADUATE
STUDY IN COMPUTER SCIENCE AND SOFTWARE ENGINEERING |
1 |
LEC. 1. Introduction to graduate research and study
topics in computer science and software engineering. |
COMP 7976
SPECIAL TOPICS |
1-3 |
LEC. Course may be repeated with change in topic. |
COMP 7986
DESIGN PROJECT |
1-15 |
IND. Planning, implementation, and completion of a
design project. Project culminates in both a written report and an
oral presentation. Course may be repeated with change in topic. |
COMP 8326
RESEARCH TOPICS IN COMPUTER
NETWORKS |
3 |
LEC. 3. Pr., COMP 6320 or departmental approval. Current
research in wireless and mobile networks, high-speed networks, active
networks, WDM networks, and performance modeling. |