Teaching
Object-Oriented Programming;
Software Engineering and Practice;
Fundamentals of Software Modeling;
Software Prototyping and Validation;
Software Engineering
Research
Software Design and Specification;
Pattern-Based Software Development;
Aspect-Oriented Design;
Component-Based Development;
Access Control Modeling
Selected Publications
-
A Feature-Based Approach for Modeling Role-Based Access Control Systems,
Journal of
Systems and Software 84(12), 2011
-
Verification of Structural Pattern Conformance Using Logic Programming, Journal of
Universal Computer Science 16(17), 2010
-
Quality-Driven Architecture Development Using Architectural Tactics,
Journal of Systems and Software 82(8), 2009
-
Evaluating Pattern Conformance of UML Models: A Divide-and-Conquer Approach
and Case Studies, Software Quality Journal 16(3), 2008.
-
"An Approach to Precisely Specifying the Problem Domain of Design Patterns",
Journal of Visual Languages andComputing 18(6), 2007.
-
"A UML-Based Pattern Specification Technique", IEEE Transactions on Software
Engineering 30(3), 2004.
|