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)
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)
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)