FM for System Architecture and Design
Formal Methods for
object-oriented design
Specification of
Design Patterns
“LePUS” – visual
formalism for Object-
Oriented Architecture
“Two-tier”
programming