Research

Our research focused on methods, techniques, notations, and tools for building better software and building it better, based on several guiding ideas: components and reuse; object technology; Design by Contract; systematic approaches to concurrency and distribution; practically applicable formal methods.

Research Projects

Verification and formal methods

Concurrency

Empirical software engineering

Distributed development

Language transformation and object-oriented reengineering