Academic Affairs
Graduate Catalog 2008-09

BlackBoardIT Help DeskPirateIDIndexEmail and PhoneOneStopCalendarAccessibility

CSCI: Computer Science

5002. Logic for Mathematics and Computer Science (3) Same as MATH 5002
P: CSCI 3310 or CSCI 3510 or MATE 3223 or 2775 or MATH 2427 or 2775 or 3256 or PHIL 3580 or equivalent. Methods of mathematical logic important in mathematics and computer science applications.
5210. Operating Systems II (3)
P: CSCI 4630 or consent of instructor. Theory and practice of concurrent processes in computer operating systems. Process scheduling. Memory and auxiliary storage management.
5220. Program Translation (3)
P: CSCI 4627 or consent of instructor. Formal language specification for programming languages. Advanced parsing techniques. Code generation and optimization.
5501, 5502, 5503. Independent Study (1,2,3)
Minimum of 3-6 hours per week depending on nature of work assigned. P: CSCI 3601 or equivalent or consent of instructor. Advanced computer science students study topics that supplement regular curriculum.
5774. Programming for Research (3) Same as MATH 5774
For graduate student who wishes to use computer science to meet required research skills in his or her dept. May not count toward MATH major or minor. P: General statistics course or consent of instructor. Emphasis on minimum-level programming skill and use of statistical packages.
5800. Artificial Intelligence (3)
P: CSCI 3310 or CSCI 3510 or consent of instructor. Fundamental problems and techniques of artificial intelligence. Heuristic search. Concepts of expert systems.
6100. Cryptography and Information Security (3)
P: Consent of instructor. Cryptographic techniques to provide secrecy and authenticity of information communicated over an insecure channel; private-key cryptography, public-key cryptography and deployed cryptography.
6120. Computer Systems Architecture (3)
P: CSCI 4520 or consent of instructor. Sequential architectures, instruction sets, addressing modes, and control structures. Introduces parallel architectures.
6130. Networking and Telecommunication (3)
P: CSCI 6120 or consent of instructor. Theory and case studies of modern networking protocols and telecommunication methods. Local area and long-haul networks.
6140. Mobile Communications and Wireless Security (3)
P: CSCI 6130; or consent of instructor. Signals, access protocols, application requirements, and security issues with a focus on digital data transfer.
6220. Topics in Language Design (3)
P: CSCI 3675 or consent of instructor. Semantics and implementation characteristics of languages supporting modern computing paradigms such as functional programming, logic programming, constraint programming, and object-oriented programming.
6230. Software Engineering Foundations (3) Same as SENG 6230
P: Consent of instructor. Software project development using software engineering principles and current software development techniques.
6300. Cryptographic Protocols (3)
P: CSCI 6100; or consent of instructor. Design and analysis of cryptographic protocols for various tasks; emphasis on applications beyond providing secrecy and authenticity of messages.
6410. Design and Analysis of Algorithms (3)
P: CSCI 3650 or consent of instructor. Methods of designing efficient algorithms, case studies. Analysis of complexity of algorithm.
6420. Computability and Complexity (3)
P: CSCI 4602 or consent of instructor. Computability, Church’s thesis, formal models of computation. Introduces complexity theory.
6600. Data Base Management Systems (3)
P: CSCI 3700 or consent of instructor. Theory and techniques of data base management systems. Examines implementations of DBMS.
6710. Developing e-Commerce Systems (3)
P: CSCI 6230; or consent of instructor. Introduces use of concepts, technologies, and building blocks from computer science, practical software engineering, and business development in building e-Commerce systems. Systematic life-cycle approach to developing successful e-Commerce systems essential to wide range of organization and software developers.
6810. Topics in Artificial Intelligence (3)
P: CSCI 5800 or consent of instructor. Study of state of the art in selected topic on artificial intelligence.
6820. Computer Graphics (3)
P: CSCI 3800 or consent of instructor. Principles and techniques of image rendering. Use of image rendering software.
6905. Topics in Computer Science (3)
May be repeated once with change of topic. P: Consent of instructor. Current topic in computer science.
6995. Research Project (3)
P: Approval of director of graduate studies. Student selects, investigates, and reports to faculty on challenging research project.
7000. Thesis (3)
May be repeated. May count maximum of 3 s.h.
7001. Thesis: Summer Research (1)
May be repeated. No credit may count toward degree. Students conducting thesis research may only register for this course during the summer.
CSCI Banked Courses
5726. Scientific Programming (1)
6603. Microcomputer Programming (3)
6605. Data Structure and Algorithm Design (3)

SENG: Software Engineering

6230. Software Engineering Foundations (3) Same as CSCI 6230
P: CSCI 4200 or consent of instructor. Software project development using software engineering principles and current software development techniques.
6235. Software Project Management (3)
P/C: SENG 6230. Advanced methods and techniques to initiate, plan, and control large and complex software development projects.
6240. Software Architecture and Design (3)
P/C: SENG 6230. Software development issues related to software architecture and design. Examines software development and implementation.
6250. Software Systems Modeling and Analysis (3)
P/C: SENG 6230. Methods for the construction of software including formal notation language and its application to the analysis and specification of software system requirements.
6260. Software Metrics and Quality Management (3)
P/C: SENG 6230. Software quality metrics associated with process and product metrics. Examines development of software using various types of metrics and models employed in the field of software quality engineering.
6270. Software Verification and Validation (3)
P/C: SENG 6230. Verification and validation strategies and techniques throughout the software life-cycle, including processes that assure the desired software and documentation are developed and maintained.
6280. Process Management and Lifecycle Modeling (3)
P/C: SENG 6230. Foundations of software management and support over the complete life cycle including maturity models, change management, and optimization.
6290. Software Engineering Project (3)
P/C: SENG 6230 or consent of instructor. Practical process based and industry-oriented view of software engineering practices. Exposure to research, software development, and implementation of professional level software.
7000. Thesis (3)
P: SENG 6230 and consent of instructor. May be repeated. May count maximum of 6 s.h.