Assistant Professor of Computer Science Dr. Anastasia Tircuit’s paper “Formal Automated Analysis of Object Oriented Software Models” has been accepted for presentation at the International Association of Science and Technology for Development’s Software Engineering and Applications 2007 Conference. The Conference will be held in Cambridge, Massachusetts from November 19 – 21, 2007.