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 · Loyola University Chicago · Lewis Towers, Suite 416
Water Tower Campus · 820 N. Michigan Avenue · Chicago, Illinois 60611, USA
Phone: 312.915.7999 · Fax: 312.915.7998 · E-mail: info@cs.luc.edu