CSCE Classes

101 — Introduction to Computer Concepts (3)

History, application, and social impact of computers; problem-solving, algorithm development, applications software, and programming in a procedural language. Open to all majors. Carolina Core ARP.

Offered: Fall, Spring, Summer
102 — General Applications Programming (3)

Introduction to systematic computer problem-solving and programming for a variety of applications. Open to all majors. Carolina Core ARP.

Offered: Fall, Spring, Summer
145 — Algorithmic Design I (4) Co-Req: Math 111 or MATH 115

Problem-solving, algorithmic design, and programming. Two lecture hours and four laboratory hours per week. Open to all majors. Carolina Core ARP.

See the online lectures of CSCE 145.

Offered: Fall, Spring, Summer
146 — Algorithmic Design II (4) Prereq: C or better in CSCE 145 Co-Req: MATH 122 or MATH 141

Continuation of CSCE 145. Rigorous development of algorithms and computer programs; elementary data structures. Three lecture hours and two laboratory hours per week. Open to all majors.

Offered: Fall, Spring, Summer
190 — Computing in the Modern World (1) Coreq: CSCE 145, 204, 205, 206 or equivalent

An introduction to the field of computing: trends in computing technology, the profession, and careers; subdisciplines in computing; the nature of research and development. Open to all majors. Not auditable.

Offered: Fall
201 — Introduction to Computer Security (3) Prereq or coreq: CSCE 101 or CSCE 102 or CSCE 145

Introduction to the theory and practice of computer security, including security policies, authentification, digital certificates, firewalls, malicious code, legal and ethical issues, and incident handling. Not auditable.

Offered: Fall, Spring
204 — Program Design and Development (=MGSC 298) (3) Prereq: CSCE 101 or MGSC 290 or ITEC 264

Fundamental algorithms and processes used in business information systems. Development and representation of programming logic. Introduction to implementation using a high-level programming language.

Offered: Fall, Spring, Summer
205 — Business Applications Programming (3) Prereq: MGSC 290 or CSCE 101 or above

Introduction to computer applications in business. Programming exercises in COBOL.

206 — Scientific Applications Programming (3) Prerequisites: MATH 122 or MATH 141.

Introduction to computer applications in science and engineering. Programming exercises in a high-level language. Open to all majors.

Offered: Fall, Spring, Summer
207 — UNIX System Administration (3) Prereq: MATH 122 or 141

The Unix programming environment: I/O programming, Unix processes, fork, exec, pipes and signals, and tools. Open to all majors.

209 — Special Topics in Computer Programming (3)

Programming and application development using selected programming languages. Course content varies and will be announced in the schedule of classes by suffix and title.

210 — Computer Hardware Foundations (3) Prereq: CSCE 145, 204, 205, 206, or 207

Number representation, data formats, CPU and memory organization, assembly language, I/O and peripherals, computer networks.

Offered: Fall
211 — Digital Logic Design (3) Prereq: MATH 141

Number systems, Boolean algebra, logic design, sequential machines.

Offered: Fall, Spring, Summer
212 — Introduction to Computer Architecture (3) Prereq: CSCE 211 and either 145 or 206

Computer architecture, components. and organization; memory addressing; Input/Output; instruction sets; interrupts; assembly-language programming.

Offered: Fall, Spring, Summer
215 — UNIX/Linux Fundamentals (1) Prereq: CSCE 145

UNIX operating system, user-level system commands, and programming tools. UNIX scripting languages.

Offered: Fall, Spring, Summer
240 — Advanced Programming Techniques (3) Prereq: Grade of D or better in CSCE 215, grade of C or better in CSCE 146

Pointers; memory management; advanced programming language structures: operator overloading, iterators, multiple inheritance, polymorphism, templates, virtual functions; Unix programming environment.

Offered: Fall, Spring, Summer
242 — Client-Server Computing (3) Prereq: CSCE 190, 146

Web technologies to support client-server computing. Implementation of client-server applications.

Offered: Fall
247 — Software Engineering (3) C or better in CSCE 146

Fundamentals of software design and development; software implementation strategies; object-oriented design techniques; functional design techniques; design patterns; design process; source control; testing.

Offered: Fall, Spring, Summer 2019
274 — Robotic Applications and Design (3) Prereq: CSCE 146

Design and control of robots. Interactions between robots, sensing, actuation, and computation.

Offered: Fall
304 — Applied Problem Solving and Programming (=MGSC 398) (3) Prereq: CSCE 204 or MGSC 298

Systematic problem definition, solution formulation, and computer implementation for business and related areas. Internet and database applications. Programming exercises in a high-level programming language.

311 — Operating Systems (3) Prereq: CSCE 240, CSCE 210 or 212

Operating system structure and function; process implementation, scheduling, and synchronization; memory management; security; naming protection; resource allocation; network file systems.

Offered: Fall, Spring, Summer
313 — Embedded Systems (3) Prereq: CSCE 211, 212

Fundamentals of embedded systems: hardware components, software components, hardware/software interface design, and hardware/software co-design.

Offered: Spring
317 — Computer Systems Engineering (3) Prereq: CSCE 212, MATH 242, STAT 509

System-level modeling and evaluation of computer systems: requirements elicitation and specification, architectural design, reliability and performance evaluation, Markov modeling, life-cycle cost analysis, project management.

Offered: Spring
330 — Programming Language Structures (3) Prerequisites: CSCE 240; MATH 174 or MATH 374 or MATH 574

Formal specification of syntax and semantics; structure of algorithms; list processing and string manipulation languages; statement types, control structures, and interfacing procedures.

Offered: Fall, Summer
350 — Data Structures and Algorithms (3) Prerequisites: CSCE 240; MATH 174 or MATH 374 or MATH 574

Techniques for representing and processing information, including the use of lists, trees, and graphs; analysis of algorithms; sorting, searching, and hashing techniques.

Offered: Fall, Spring, Summer
355 — Foundations of Computation (3) Prereq: CSCE 211, 212, 350

Basic theoretical principles of computing as modeled by formal languages, grammars, automata, and Turing machines; fundamental limits of computation.

Offered: Fall, Spring
390 — Professional Issues in Computer Science and Engineering (1)

Professional issues in the information technology professions; history and social context of computing; professional responsibilities; privacy; intellectual property; risks and liabilities of computer-based systems. Carolina Core VSR.

Offered: Fall, Spring, Summer
415 — Mainframe Systems (3) Prerequisite: ITEC 352 or CSCE 240. (effective Fall 2017)

Introduction to the large scale computer systems used by businesses to support thousands of simultaneous users and process millions of transactions.

Cross-listed Course: ITEC 475

416 — Introduction to Computer Networks (3) Prereq: CSCE 146

Concepts and components of computer networks and the Internet; network applications; network protocol stack.

Offered: Fall, Spring
490 — Capstone Computing Project I (3) Prereq or Coreq: CSCE 350. Prereq: CSCE 240, either ENGL 462 or 463

Major team-based software design project to be undertaken in a student's final year of study; project planning, software requirements analysis, design, and specification. Written reports and oral presentations in a technical setting.

Offered: Fall
491 — Capstone Computer System Project (3) D or better in CSCE 240, CSCE 313, CSCE 611.

Advanced computer systems engineering. Team projects. Written reports and oral presentations in a technical setting.

Offered: Starts in Fall 2022. Take CSCE 317 instead of this until then.
492 — Capstone Computing Project II (3) Prereq: CSCE 490

Continuation of CSCE 490. Computer system implementation, testing, verification and validation of results. Written reports and oral presentations in a technical setting.

Offered: Spring
498 — Independent Study (3) Prereq: Approval of project proposal by instructor and department advisor

Individual investigation or study of special topics. At most three credits may be applied toward a degree

500 — Computer Programming and Applications (3)

Concepts and properties of algorithms; programming exercises with emphasis on good programming habits. Credit may not be received for both CSCE 500 and CSCE 145. Open to all majors. May not be used for major credit by computer science and engineering majors.

510 — System Programming (3) Prereq: CSCE 215, 240

System software such as command language interpreters, client-server applications, debuggers; mail systems, browsers, macroprocessors, and revision control systems; file systems, processes, threads, and interprocess communication.

512 — System Performance Evaluation (3) Prereq: CSCE 311, STAT 509 or STAT 515

Measuring, modeling, analyzing, and predicting performance of computer systems and networks; bottleneck analysis; Markovian queuing systems and networks; use of operational and probabilistic models.

513 — Computer Architecture (3) Prereq: CSCE 211, 212

Design methodology; processor design; computer arithmetic: algorithms for addition, multiplication, floating point arithmetic; microprogrammed control; memory organization; introduction to parallel architectures.

Offered: Fall
515 — Computer Network Programming (3) Prereq: CSCE 311

Computer networks and communication protocols; socket programming; interprocess communication; development of network software; case studies.

516 — Computer Networks (3) Prereq: STAT 509 or STAT 515

Structure, design, and analysis of computer networks; ISO/OSI network architecture.

517 — Computer Crime and Forensics (3) Prereq: CSCE 215

Methodical approaches for collecting and preserving evidence of computer crimes. Foundational concepts such as file system structures, MAC times, and network protocols; tools for extracting evidence; general legal issues.

518 — Ethical Hacking (3) Prerequisites: CSCE 215 or previous Linux/UNIX experience.

Fundamental principles and techniques of ethical hacking, including penetration testing life cycle, planning and scoping, identifying targets and goals, active and passive reconnaissance, enumeration and scanning, exploitation, post-exploitation, and results reporting.

520 — Database System Design (3) Prereq: CSCE 240 or GEOG 563

Database management systems; database design and implementation; security, integrity, and privacy.

Offered: Fall, Spring, Summer
522 — Information Security Principles (3) Prereq: CSCE 146; MATH 374 or MATH 174

Threats to information resources and appropriate countermeasures. Cryptography, identification and authentication, access control models and mechanisms, multilevel database security, steganography, Internet security, and intrusion detection and prevention

Offered: Fall
526 — Service Oriented Computing (3) Prereq: CSCE 311

Cooperative information systems and service-oriented computing. Techniques for achieving coordinated behavior among a decentralized group of information system components. Distributed databases, multiagent systems, conceptual modeling, Web services, and applications.

531 — Compiler Construction (3) Prereq: CSCE 240

Techniques for design and implementation of compilers, including lexical analysis, parsing, syntax-directed translation, and symbol table management.

Offered: Spring
546 — Mobile Application Development (3) Prerequisites: CSCE 240 or previous programming experience with one of the following programming languages (C/C++, Java, Swift, Python, Matlab, Javascript)

Development of mobile applications, including user interface design for mobile, local and cloud data storage techniques, and application architectures.

Offered: Spring
547 — Windows Programming (3) Prereq: CSCE 240

Object-oriented methods and tools for application programming with graphically interactive operating systems.

548 — Building Secure Software (3) Prerequisite: CSCE 240 (effective Fall 2017 Bulletin)

Construction of software systems resistant to vulnerabilities and attacks. Cryptographic tools. Language, operating system, and network security. Case studies. Development of best practices through programming assignments.

551 — Theory of Computation. {=MATH 562} (3) Prereq: C or better in CSCE 350 or MATH 344 or 544 or 574

Basic theoretical principles of computing as modeled by formal languages and automata; computability and computational complexity.

Offered: Spring
552 — Computer Game Development (3) Prereq: CSCE 240, 350

Design and development of computer games, with emphasis on the technologies used. Hands-on development of computer games.

555 — Algorithms in Bioinformatics (3) Prereq: CSCE 350

Concepts, algorithms and tools for important problems in Bioinformatics, including nucleotide and amino acid sequence alignment, DNA fragment assembly, phylogenetic reconstruction, and protein structure visualization and assessment.

557 — Introduction to Cryptography {=MATH 587} (3) Prereq: C or better in CSCE 145 or in MATH 241 and in either CSCE 355 or MATH 574, or consent of the Undergraduate Director

Design of secret codes for secure communication, including encryption and integrity verification: ciphers, cryptographic hashing, and public key cryptosystems such as RSA. Mathematical principles underlying encryption. Code-breaking techniques. Cryptographic protocols.

561 — Numerical Analysis. {=MATH 527} (3) Prereq: MATH 242 or 520

Interpolation and approximation of functions; solution of algebraic equations; numerical differentiation and integration; numerical solutions of ordinary differential equations and boundary value problems; computer implementation of algorithms

563 — Systems Simulation (3) Prereq: CSCE 240, STAT 509 or STAT 515

Computer simulation of real systems; principles of system organization; random number generation; programming exercises in a simulation language.

564 — Computational Science (3) Prereq: MATH 526, CSCE 146 or 207 or 500

Parallel algorithms; scientific visualization; techniques for solving scientific problems.

565 — Introduction to Computer Graphics (3) Prereq: CSCE 240, MATH 526 or 544

Graphics hardware; graphics primitives; two-dimensional and three-dimensional viewing; basic modeling.

567 — Visualization Tools (3) Prereq: CSCE 145 or 206 or 207

Scientific visualization tools as applied to sampled and generated data; methods for data manipulation and representation; investigation of visualization techniques.

569 — Parallel Computing (3) Prereq: knowledge of programming in a high-level language; MATH 526 or 544

Architecture and interconnection of parallel computers; parallel programming models and applications; issues in high-performance computing; programming of parallel computers.

571 — Critical Interactives (3)

Foundational techniques for implementing procedural rhetoric, specifically as software designed to present sensitive, sometimes controversial, material in ways to engender empathic awareness of the interactant.

572 — Human-Computer Interaction (3) Undergraduate or graduate standing in CSE or permission of the instructor.

Interdisciplinary approach to interaction design, user-centered design, human abilities, survey development, experimental study methodology, heuristic evaluations, usability testing, universal design, and accessibility.

Offered: Fall
574 — Robotics (3) Prereq: CSCE 211, 212, and 240

Design and application of robotic systems; emphasis on mobile robots and intelligent machines.

Offered: Fall
578 — Text Processing (3) Prereq: CSCE 330, 355

Text and natural language processing; formal models and data structures appropriate for text processing; selected topics in computational linguistics, stylistics, and content analysis.

580 — Artificial Intelligence (3) Prereq: CSCE 350

Heuristic problem solving, theorem proving, and knowledge representation, including the use of appropriate programming languages and tools.

Offered: Fall, Spring
582 — Bayesian Networks and Decision Graphs. {=STAT 582} (3) Prereq: CSCE 350, STAT 509 or STAT 515

Normative approaches to uncertainty in artificial intelligence. Probabilistic and causal modeling with Bayesian networks and influence diagrams. Applications in decision analysis and support. Algorithms for probability update in graphical models.

585 — Machine Learning Systems (3) Prerequisites: C or better in CSCE 240 or CSCE 206

Design and implementation of machine learning systems, Deep learning systems stack, machine learning platforms, scalable and distributed machine learning.

587 — Big Data Analytics {=STAT 587} (3) Prereq: STAT 509, 513, or 515

Foundational techniques and tools required for data science and big data analytics. Concepts, principles, and techniques applicable to any technology or industry for establishing a baseline that can be enhanced by future study.

Offered: Fall, Spring
590 — Topics in Information Technology (3)

Reading and research on selected topics in information technology. Course content varies and will be announced in the schedule of courses by suffix and title. May be repeated for credit as topics vary.

Offered: Fall, Spring
594 — Strategic Management of Information Systems (3)

Strategic management and use of information systems in organizations.

Offered: Spring
611 — Advanced Digital Design (3) Prereq: CSCE 212

Design techniques for logic systems; emphasis on higher-level CAD tools such as hardware description languages and functional modeling.

Offered: Fall
612 — VLSI System Design (3) Prereq: CSCE 211

VLSI design process models, introduction to EDA tools, HDL modeling and simulation, logic synthesis and simulation, benchmark design projects

613 — Fundamentals of VLSI Chip Design (3) Prereq: ELEC 371

Design of VLSI circuits, including standard processes, circuit design, layout, and CAD tools. Lecture and guided design projects.

711 — Advanced Operating Systems (3) Prerequisites: CSCE 311

Operating system organization and interactive processing systems, multiprogramming systems, process management, task scheduling, resource control, deadlocks.

713 — Advanced Computer Architecture (3) Prerequisites: CSCE 311 and 513

Architecture of high-performance computers, including array processors, multiprocessor systems, data flow computers, and distributed processing systems.

715 — Network Systems Security (3) Prerequisites: CSCE 515 or 516

Analysis of security threats in TCP/IP networks. Design of safeguards. Coverage of security threats at each of the OSI layers. Application of cryptographic protocols for secure communication across a network.

Offered: Spring
716 — Design for Reliability (3) Prerequisites: STAT 509 or 511, or MATH 511

Design of more reliable systems through the application of reliability theory and models; reliability modeling; design techniques; testing; and requirement specifications.

717 — Computer System Performance and Reliability Analysis (3) Prerequisites: STAT 509 or 511

Evaluation of computer system performance and reliability using reliability block diagrams, fault trees, reliability graphics, queuing networks, Markov models, and Markov reward models.

718 — Real-Time Computer Applications (3) Prerequisites: CSCE 245, 311

Problems of real-time computer applications in process control or similar areas; task scheduling; real-time operating systems; advanced interrupt structures; memory management techniques.

719 — Security and Privacy for Wireless Networks (3) Prerequisites: CSCE 416

This course focuses on the security and privacy issues associated with wireless networks. Various attacks against wireless networks and their defense strategies will be analyzed. Students are able to embark in research of wireless network security.

721 — Physical Database Design (3) Prerequisites: CSCE 520

Components of a database management system; implementation issues; query optimization; file organization; file organizations’ transaction management; fault recovery; security; system performance.

723 — Advanced Database Design (3) Prerequisites: CSCE 520

Database design methodologies and tools; data models; implementation languages; user interfaces.

725 — Information Retrieval: Algorithms and Models (3)

Structure, design, evaluation, and use of information retrieval systems; algorithms and mathematical models for information retrieval; storage and retrieval of textual data in information systems.

727 — Information Warfare (3) Prerequisites: CSCE 522

Current trends and challenges in information warfare. High-level analysis of information warfare threats, like cyber terrorism, espionage, Internet fraud, intelligence activities, cyber ethics, and law enforcement.

730 — Programming Language Semantics (3) Prereq: CSCE 531

Approaches for specifying programming language semantics, including operational, axiomatic, and denotational specification.

740 — Software Engineering (3) Prerequisites: CSCE 240

Current practices and research in software development, requirements definition, design, program testing and reliability, maintenance, and management.

Offered: Fall 2019, Fall 2021
741 — Software Process (3)

Personal, team, and organizational software processes; personal and organizational maturity; application of software process and management concepts during software development, primarily at the individual level.

742 — Software Architectures (3)

Structural organizations for software systems as collections of interconnected components: formal models and languages; design tools and guidelines.

Offered: Fall 2020, Fall 2022
743 — Software Requirements (3) Prereq: CSCE 740

Elicitation, analysis, and validation of software requirements, specification of software systems including formal specification methods; CASE tools.

Offered: Spring 2019, Spring 2021
744 — Object-Oriented Analysis and Design (3) Prerequisites: CSCE 350

Fundamentals of object-oriented technology; object modeling of structure, function, and time-dependent behavior; system analysis and design.

745 — Object-Oriented Programming Methods (3) Prereq: CSCE 245

Object-oriented programming paradigm, including encapsulation, inheritance, reusable classes, object classification, specialization, and message passing; case studies and applications.

747 — Software Testing and Quality Assurance (3) Prereq: CSCE 740

Structural and functional techniques for testing software; code inspection, peer review, test verification and validation; statistical testing methods; preventing and detecting errors; testing metrics; test plans; formal methods of testing. Not auditable.

Offered: Spring 2020, Spring 2022
750 — Analysis of Algorithms (3) Prereq: CSCE 350

Algorithm design techniques; algorithms and data structures for sets and graphs; time and space complexity; sorting and searching; NP-complete problems.

Offered: Fall
755 — Computability, Automata, and Formal Languages (3) Prereq: CSCE 355 or 551)

Formal models of computation, including finite state automata, Turing machines, recursive functions, formal grammars, and abstract complexity theory.

758 — Probabilistic System Analysis (3) Prereq: STAT 509 or 511

Application of probability theory and stochastic processes to analyze the dynamic behavior of engineering systems.

760 — Numerical Analysis I (3) Prereq: MATH 526 or 544

Numerical solution of equations and systems of linear equations, polynomial approximation, difference calculus, solution of ordinary and partial differential equations, least squares and sets of orthogonal polynomials, Gaussian quadrature.

761 — Numerical Analysis II. {=MATH 727} (3) Prereq: CSCE 760

Continuation of CSCE 760.

763 — Digital Image Processing (3)

Concepts and techniques for digital image processing; emphasis on low-level processes that analyze discrete images at the pixel level.

765 — Computer Graphics System Design (3) Prereq: CSCE 565

Graphics data structures, graphics languages, modeling, raster displays, 3-D shading, hidden surface algorithms.

766 — Scientific Visualization (3) Prereq: CSCE 565

Visualization techniques for scientific computing; interactive steering of calculations; animation and rendering techniques for multivariate data analysis.

767 — Interactive Computer Systems (3)

Principles for the design of systems supporting effective human-computer interaction; interaction styles; displays and interactive devices; user assistance; system design and evaluation.

768 — Pattern Recognition and Classification (3) Prereq: STAT 509 or 510 or 511

Bayesian classifiers; optimal risk schemes; error rates; numerical methods; implementation; architectures.

Offered: Spring
769 — Computational Structural Biology (3) Prereq: consent of instructor

Theoretical concepts and algorithmic tools currently utilized in the field of protein folding such as Xplor-NIH and ROSETTA are presented. Participants are enabled to embark in research of protein folding.

771 — Computer Processing of Natural Language. (3) Prereq: CSCE 580

Computational models for the analysis and synthesis of natural language; representations for syntax and semantics; applications to text-to-speech conversion, speech recognition, and language understanding.

772 — Computer Speech Processing (3) Prereq: CSCE 580

A/D conversion, digital filters, discrete Fourier transform and FFT, acoustics of speech, and synthesis and recognition of speech.

774 — Robotics Systems (3) Prereq: CSCE 574

Design and operation of robot systems; dynamics, control, and motion trajectories of manipulators; visual, auditory, and tactile sensing systems; planning and learning.

780 — Knowledge Representation (3) Prereq: CSCE 580

Representation techniques and languages for symbolic knowledge, including predicate calculus, frame-based systems, and terminological systems; computer reasoning using these systems.

781 — Knowledge Systems (3) Prereq: CSCE 580

Expert system domains, knowledge representation techniques, inference engines, and knowledge acquisition methods.

782 — Multiagent systems (3)

Coordinated problem solving by multiple knowledge systems.

784 — Neural Information Processing (3) Prereq: MATH 526 or 544

Mathematical foundations of biological and artificial neural networks, supervised and unsupervised systems, applications.

787 — Introduction to Fuzzy Logic (3) Prereq: MATH 174

Principles of fuzzy set theory, fuzzy relations, and fuzzy logic; fuzzy "if-then" rules.

790 — Topics in Information Technology (3)

Reading and research on selected topics in information technology. Course content varies and will be announced in the schedule of courses by suffix and title. May be repeated for credit as topics vary.

791 — Seminar in Advances in Computing (1)

Technical writing and presentations in major computing research areas; ethics in research and writing.

Offered: Fall, Spring
793 — Internship in Software Engineering (1)

Work. Written report required. Not auditable. Pass-Fail Grading.

797 — Individual Study and Research (12)

Individual research to be arranged with the instructor. Pass/Fail grading.

798 — Directed Study and Research (12)

Individual research to be arranged with the instructor.

799 — Thesis Preparation (12)

Thesis preparation.

813 — Internet Security (3) Prereq: CSCE 522 and CSCE 715

Study security threats and prevention/detection/response techniques on the Internet, including hackers, masqueraders, information spoofing, sniffing, and distribution of damaging software. Security analysis of Web applications.

814 — Distributed Systems Security (3) Prereq: CSCE 522

Security mechanisms of distributed software systems, including cryptographic applications. Secure multiparty computation, group-based cryptography, and security mechanisms for emerging distributed architectures.

815 — Computer Communications (3) Prereq: CSCE 515 or 516

Contemporary computer communication protocols and network architectures.

818 — Top-Down VLSI Design (3) Prereq: CSCE 611 or CSCE 612

VLSI system design automation, hardware description language-based design, multi-methodology design, and introduction to HDL support tools.

819 — Custom VLSI Design (3) Prereq: CSCE 611 or 612

Custom design methodology design rules, stick notation, logic synthesis, and circuit layout; symbolic layout languages; introduction to CAD tools.

821 — Distributed Database Design (3) Prereq: CSCE 520

Architecture, design, and implementation of distributed database managements systems; data fragmentation, replication, and allocation; query processing and transaction management; distributed object database management systems.

822 — Data Mining and Warehousing (3) Prereq: CSCE 520

Information processing techniques and mathematical tools to assemble, access, and analyze data for decision support and knowledge discovery.

824 — Secure Database Systems (3) Prereq: CSCE 522

Security threats to database systems. Access control models, multilevel security, integrity, Web-based databases, and data inference problem. Formal models of multilevel security, confidentiality versus availability and integrity.

826 — Cooperative Information Systems (3) Prereq: CSCE 520, 580

Strategies for achieving coordinated behavior among a heterogeneous group of information system components; world-wide information networks and applications in health care, logistics, telecommunications, and manufacturing automation.

846 — Software Reliability and Safety (3) Prereq: STAT 509 or 510 or 511

Reliability and safety of computer-intensive systems; software reliability models and analysis; operational profiles; hazard analysis using fault trees and event trees; formal verification of safety-critical systems. Not auditable.

850 — Advanced Analysis of Algorithms (3) Prereq: CSCE 750

Definitions of algorithms and formal models of computation; concepts of space and time; synthesis and analysis of algorithms for sorting, search graphs, set manipulation and pattern matching; NP-complete, and intractable problem.

853 — Formal Methods in Computer Security (3) Prereq: CSCE 522 and 715

Formal techniques applied to computer security, including formal specification language for security properties, security analysis utilities, domain-specific security concerns, and case studies of formally verified secure systems.

865 — Advanced Computer Graphics (3) Prereq: CSCE 765

Input and display devices, data structures, architectures, primitives, and geometrical transformations appropriate to computer graphics, parametric surfaces.

867 — Computer Vision (3) Prereq: CSCE 763

Scene segmentation using texture, color, motion; representation of 2-D or 3-D structures; knowledge-based vision systems.

868 — Advanced Pattern Recognition (3) Prereq: CSCE 768

Feature nomination, selection, extraction, and evaluation; deterministic, stochastic, and fuzzy models for classifier design; parameter estimation; error rate estimation; clustering and sequential learning.

883 — Machine Learning (3) Prereq: CSCE 580

Fundamentals of machine learning including rote learning, learning from examples, learning from observations, and learning by analogy; knowledge acquisition for expert systems.

895 — Ph.D. Seminar (3)

Ph.D Seminar.

899 — Dissertation Preparation (12)

Dissertation Preparation