The Department of the Air Force is taking the necessary steps to standardize application programming interfaces (APIs) across the service. Calibrating this software intermediary that specifies how ...

The industrialization age of programming by contract is opening a new era in software development. Just as development techniques went from assembly to structured languages and from structured ...

Our research area investigates the fundamental principles, processes and technologies for the design, verification, analysis, implementation and optimization of computational systems. Our interests ...