Area of research
Artificial Intelligence · Software
Research interest
Research interests include Advanced Software Engineering Methodologies, Model-Driven Software Engineering Techniques, Service-Oriented Architecture and Web Services, and Software Engineering Research.
Collaborative Research:CI-ADDO-NEW: Research Repository for Model-Driven Software Development (REMODD)
CRI: Collaborative Project - Repository for Model Driven Development
Planning Visits: Collaborative Research on Model-Driven Development of Complex Software Systems
Testing Unified Modeling Language (UML) Designs
A Formal Basis for Object-Oriented Modeling Techniques
1995 Workshop on Industrial-Strength Formal Specification Techniques WIFT'95, April 5-8, l995, Boca Raton, Florida
Research Initiation Award: Incorporating Formal Specification Techniques into Structure and Object-Oriented Analysis and Design Processes