Page 206 - Bowie State University Graduate Catalog 2018-2020.

programming language, such as Java or C++. Programming security, operating
systems security are examples of some of the topics that will be covered.

COSC 551 FORMAL METHODS IN PROGRAMMING LANGUAGES
Prerequisites: COSC 504
Credits: 3
Evolution of some imperative programming languages; formal methods of
describing syntax; semantics; data types and variables; assignment statements;
control structures; subprograms and their implementation; exception handling;
logic programming languages; data abstraction.
COSC 554 DESIGN OF EMBEDDED SYSTEMS
Prerequisites: COSC 502
Credits: 3
This course presents the basic material required to design and implement
embedded systems. Topics covered include single-purpose processors, general-
purpose processors, peripheral control, memory use, device interfacing, state
machine and concurrent process models, control systems, IC technology, and
design technology.
COSC 561 COMPILER DESIGN AND CONSTRUCTION I
Prerequisites: COSC 504
Credits: 3
Design and implementation of compilers. Semantics and pragmatics as they
affect the design of compilers. Topics include: lexical and syntax analysis,
parsers, semantics processing, code generation, and simple code optimization.

COSC 565 SOFTWARE ENGINEERING I
Prerequisites: COSC 504
Credits: 3
This course introduces the student to major topics in software engineering such
as: requirements specification, analysis and design, testing, project
management, and implementation. Additional topics such as software life cycle
models, the Unified Modeling Language (UML), agile software development
techniques, configuration management, change control, and project
documentation will be discussed.
COSC 573 ARTIFICIAL INTELLIGENCE I
Prerequisites: COSC 528
Credits: 3
This course is an introduction to artificial intelligence. Topics include
knowledge acquisition and representation, heuristic search methods, logical

205