Jean-Michel Bruel
Java Middleware OCL Pike Unified Modeling Language (UML) aspect-oriented modeling formal methods generic programming model-based software architecture modeling object object-oriented modeling reflection security systems modeling