Home About Courses Programs People Facilities Research Events

Projects By Catagory

Databases & Intelligent Systems Networking & Security Software Engineering & Distributed Systems Visualization & Graphics

Research Centers

Center for Visual Information Sensing and Computing Signature Center for Biocomputing Trusted Electronics and Grid Obfuscation

Computer Science Research

Formal Specification of Design Patterns

Bruhaspati is a framework for formal specification, cataloging and analysis of object-oriented software design patterns. Design patterns capture efficient solutions to common re-occurring problems. They have been useful in reusing well-practiced solutions during the software design phase, especially for large distributed systems. The current specification approaches for design patterns are mainly informal and text-based. Thus, they constrain a formal comprehensive analysis of design patterns and tool support. Also, informal specifications are often ambiguous and hinder the precise usage of design patterns. Bruhaspati aims at solving these problems by providing a formal specification scheme, for design patterns, that also can facilitate a tool support. A specification language, called eLePUS, has been developed and validated against popular sequential and concurrent design patterns.

Associated link for further details:
http://www.cs.iupui.edu/~rraje/html/patterns.html

Project Presented By

Olson, Andrew

Position:	Professor Emeritus
Mail:
Phone:	317-274-9733
Url:	http://www.cs.iupui.edu/~aolson

Education Details

BS:	Mathematics University of Wyoming Laramie

MS:	Mathematics University of Wisconsin Madison

PhD:	Applied Mathematics and Computer Science Washington University St. Louis

Raje, Rajeev

Position:	Professor
Mail:
Phone:	317-274-5174
Url:	http://www.cs.iupui.edu/~rraje

Education Details

BE:	Electrical Engineering University of Bombay 1984

MS:	Computer Engineering Syracuse University 1994

PhD:	Computer Science Syracuse University 1994

Research Interests

Currently serving as Associate Chair and head of the Graduate Committee, Associate Professor Dr. Rajeev Raje is active in the areas of Distributed Computing, Component-Based Programming, and Software Engineering. Dr. Raje earned his BE (Electrical Engineering) from the University of Bombay in 1984 and his MS and PhD degrees in Computer Engineering from Syracuse University in 1994. His current and past research has been supported by the US Office of Naval Research, the National Science Foundation, the Microsoft Corporation, the Eli Lilly and Company, and the Indigo Foundation. He has authored or co-authored more than 90 research publications in various forums, has been a speaker on many different occasions, and also has acted as an organizer for conferences and workshops. He has received numerous awards, including the School of Science Teaching Award, the IUPUI Trustee's Teaching Award, the J. N. Tata Scholarship, and the Anandrao Pandit Scholarship. Dr. Raje is a member of the ACM and IEEE.