A Formal Framework for Secure Design and Constraint Checking in UML.

Thuong Doan Laurent Michel Steven A. Demurjian

Published in: ISSSE (2006)

Keyphrases

formal methods
conceptual framework
software architecture
case study
constraint checking
design patterns
unified modeling language