Programming languages and software engineering
Project
AutoAdmin
Database management systems provide functionality that is central to developing business applications. Therefore, database management systems are increasingly being used as an important component in applications. Yet, the problem of tuning database management systems for…
Project
AsmL: Abstract State Machine Language
AsmL is an industrial-strength executable specification language. It can be used at any stage of the programming process: design, coding, or testing. It is fully integrated into the Microsoft .NET environment: AsmL models can interoperate…
Publication
Data Abstraction and Information Hiding
Publication