Eugene Syriani * † Hans Vangheluwe * ‡ Amr Al Mallah * † * ‡ Tuscaloosa, AL Montreal, Canada Antwerp, Belgium.
Multi-Paradigm Modeling CSCI 599 Formal Specifications in Software Architectures Nenad Medvidovic Computer Science Department University of Southern California.