Loyola University Chicago

- Navigation -

Loyola University Chicago

Department of Computer Science

COMP 333: Formal Methods in Software Engineering

Credit hours



COMP 271


This course covers formal methods used in the development of software. It studies languages for object-oriented modeling, such as the Unified Modeling Language (UML) along with its Object Constraint Language (OCL) and Action Semantics extensions; the specification of abstract data types, such as Z; and concurrency, such as process algebras and temporal logic.


Computer Science Department · Lewis Towers, Suite 520
Water Tower Campus · 820 N. Michigan Avenue · Chicago, Illinois 60611, U.S.A.
Phone: 312.915.7999 · Fax: 312.915.7998 · E-mail: info@cs.luc.edu

Notice of Non-discriminatory Policy