COMP 505
Theory of Computation (3) Topics in discrete mathematics, discrete probability, first order logic and models of computation.
Effective: Spring 2013
Prerequisite:
CMPSC 463
COMP 511
Design and Analysis of Algorithms (3) Amortized analysis, graph algorithms, NP-complete problems, approximation algorithms, parallel algorithms.
Effective: Spring 2013
Prerequisite:
CMPSC 463
COMP 512
Advanced Operating Systems (3) A study of the principles and practice of distributed system design, including communication, synchronization, processes, file systems, and memory management.
Effective: Spring 2008
Prerequisite:
CMPSC 472
COMP 513
Formal Methods for Software Engineering (3) Object-oriented software development, formal specification techniques and related CASE tools, software re-use, verification and validation, transformational development.
Effective: Spring 2008
Prerequisite:
CMPSC 487W, COMP 511 or permission of the program
COMP 516
Advanced Programming Languages (3) Programming paradigms and styles, object-oriented programming, formal semantics, programming language design.
Effective: Spring 2008
Prerequisite:
CMPSC 460
COMP 517
Computer Security (3) Introduction to the area of computer security and current issues associated with computer security.
Effective: Spring 2007
Prerequisite:
MATH 315
COMP 519
Advanced Topics in Database Management Systems (3) Concurrency control, crash recovery, query processing, semantic data models, advanced file access, distributed database systems, performance, case studies, advanced applications.
Effective: Spring 2008
Prerequisite:
CMPSC 430, MATH 315
COMP 520
Artificial Intelligence (3) Problem solving, knowledge representation, language understanding, perception, learning, artificial neural networks.
Effective: Spring 2013
Prerequisite:
CMPSC 463
COMP 524
Evolutionary Computation (3) Topics in evolutionary algorithms and genetic algorithms.
Effective: Spring 1998
Prerequisite:
COMP 511 or permission of the program
COMP 545
Computer Architecture (3) Cache, pipelining, memory design, interconnection networks, multiprocessor systems.
Effective: Spring 2008
Prerequisite:
CMPSC 312
COMP 580
Master's Project (3 per semester/maximum of 6) Research into a specific computer science problem, development of a scholarly written paper, and oral defense of the work.
Effective: Spring 1998
Prerequisite:
permission of the program
COMP 594
Master's Studies (3) Presentation of various research techniques, in-depth study of a specific computer science problem, development of a written paper or project, and an oral defense.
Effective: Fall 2003
Prerequisite:
A minimum of 2 of the 500-level computer science required courses or permission of the program.
COMP 596
Individual Studies (1-9) Creative projects, including nonthesis research, that are supervised on an individual basis and which fall outside the scope of formal courses.
Effective: Summer 1997
COMP 597
Special Topics (1-9) Formal courses given on a topical or special interest subject which may be offered infrequently; several different topics may be taught in one year or semester.
Effective: Summer 1997
COMP 597A
Natural Language Processing (3) English language processing, information extraction, word sense disambiguation, spelling correction, grammar checking, pattern matching, speech recognition.
Effective: Fall 2013 Ending: Fall 2013 Future: Fall 2013
Prerequisite:
CMPSC 462
COMP 597A
Software Testing (3) Software testing priciples/practices, functional testing, structural testing, unit testing, mutation testing, system testing, test Automation.
Effective: Spring 2014 Ending: Spring 2014 Future: Spring 2014
Prerequisite:
CMPSC 462
COMP 600
Thesis Research (1-6) Research into a specific computer science problem, development of a scholarly written paper, and an oral defense.
Effective: Fall 2003
Prerequisite:
A minimum of 2 of the 500-level computer science required courses or permission of the program.
Last Import from UCM: June 15, 2013 3:00 AM