Learn More
An infrastructure is a set of interconnected structural elements , such as tools and schemas, that provide a framework for supporting an entire structure. The reverse engineering community has recognized the importance of in-teroperability, the cooporation of two or more systems to enable the exchange and utilization of data, and has noted that the current(More)
Software quality is an important external software attribute that is difficult to measure objectively. Several studies have identified a clear empirical relationship between static coupling metrics and software quality. However due to the nature of object-oriented programs, static metrics fail to quantify all the underlying dimensions of coupling, as(More)
The Unified Modeling Language (UML) is a standard notation that can be used to model object oriented software systems. With the growing adoption of UML by the software development industry and academia, researchers have begun to investigate how it can be used in the testing phase of the software development process. Several approaches to software testing(More)
In this paper we describe the encoding of linear logic in the Coq system, a proof assistant for higher-order logic. This process involved encoding a suitable consequence relation, the relevant operators, and some auxiliary theorems and tactics. The encoding allows us to state and prove theorems in linear logic, and we demonstrate its use through two(More)
The U.S. Department of Agriculture funded the Management Systems Evaluation Area (MSEA) research project in 1990 to evaluate effectiveness of present farming systems in controlling nitrate N in water resources and to develop improved technologies for farming systems. This paper summarizes published research results of a five-year effort. Most research is(More)
In this paper we present a platform independent analysis of the dynamic profiles of Java programs when executing on the Java Virtual Machine. The Java programs selected are taken from the Java Grande Forum benchmark suite, and five different Java-to-bytecode compilers are analysed. The results presented describe the dynamic instruction usage frequencies, as(More)