V. S. Alagar

• Formal Methods in Databases and Software Engineering
• Incompleteness and Uncertainty in Information Systems
• Specification of Software Systems
• Object-Oriented Technology for Database and Software Systems