ANALYSIS OF SOFTWARE ARTIFACTS

COMPSCI 706

Course Description

Advanced course covering various analysis techniques used in software engineering. Covers techniques for analyzing various software artifacts. Some of the topics that will be covered are: model checking, testing, program analysis, requirements analysis, and safety analysis. Students are strongly encouraged to have knowledge of programming languages and compiler design, such asCOMP SCI 536, and a basic knowledge of mathematical logic.

Prerequisties

Graduate/professional standing

Satisfies

This course does not satisfy any prerequisites.

Credits

Not Reported

Offered

Not Reported

Grade Point Average

3.79

4.85% from Historical

Completion Rate

100%

1.78% from Historical

A Rate

57.14%

-8.14% from Historical

Class Size

-55.23% from Historical

Instructors (2025 Fall)

Sorted by ratings from Rate My Professors

Similar Courses

SOFTWARE ENGINEERING

COMPSCI/ECE 506

Ideas and techniques for designing, developing, and modifying large software systems. Topics include software engineering processes; requirements and specifications; project team organization and management; software architectures; design patterns; testing and debugging; and cost and quality metrics and estimation. Students will work in large teams on a substantial programming project.

PROGRAM VERIFICATION AND SYNTHESIS

COMPSCI 703

Formal methods for program verification. Model-checking techniques; linear temporal logic; computational tree logic; logic/automata connection; bisimulations; probabilistic model-checking. Special topics include: program synthesis, verification and synthesis of privacy properties. Knowledge of programming languages and compiler design strongly encouraged, such asCOMP SCI 536.

INTRODUCTION TO SOFTWARE SECURITY

COMPSCI 542

Teaches the security considerations that occur during all steps of the software development life cycle: methodologies for designing secure software, programming using secure programming techniques, in-depth vulnerability assessment methodologies, static and dynamic analysis tools for evaluating software security, and system defenses reducing security threats.

CONSTRUCTION OF COMPILERS

COMPSCI 701

Principles of the design and implementation of programming languages. Topics include: Principles of compilation, static program analysis, compilation methods to support profiling, and code-generation methods. Knowledge of programming languages and compiler design strongly encouraged, such asCOMP SCI 536.

INTRODUCTION TO PROGRAMMING LANGUAGES AND COMPILERS

COMPSCI 536

Introduction to the theory and practice of compiler design. Comparison of features of several programming languages and their implications for implementation techniques. Several programming projects required.