Taxonomic Search: mark OR jones, Oregon Graduate Institute, Katie Dey

Abstract

Current program development environments provide excellent support for many desirable aspects of modern software applications such as performance and interoperability, but almost no support for features that could directly enhance correctness and reliability. In this talk, I will describe the first steps that we are making in a project to develop a new kind of program development environment.