Cordell Green

Learn More
Mammalian nutritional status affects the homeostatic balance of multiple physiological processes and their associated gene expression. Although DNA array analysis can monitor large numbers of genes, there are no reports of expression profiling of a micronutrient deficiency in an intact animal system. In this report, we have tested the feasibility of using(More)
Over the last few years, technologies for the formal description, construction, analysis, and validation of software - based mostly on logics and formal reasoning - have matured. We can expect them to complement and partly replace traditional software engineering methods in the future. Formal methods in software engineering are an increasingly important(More)
NASA is using model-based languages and risk analysis methodologies to raise software development to the level of hardware development. Ultimately, it hopes to achieve a fusion of systems and software engineering by replacing conventional software development techniques with capability engineering, which focuses on a system's full set of functionalities.
We present a constructive approach to correctness and exemplify it by describing a generator for certified Java Card applets that we are building. A proof of full functional correctness is generated, along with the code, from the specification; the proof can be independently checked by a simple proof checker, so that the larger and more complex generator(More)
Workshop Participants: Professor Victor R. Basili, University of Maryland (Chairman) Mr. Laszlo Belady, Belady Enterprises Professor Barry Boehm, University of Southern California Professor Frederick Brooks, University of North Carolina Professor James Browne, University of Texas Dr. Richard DeMillo, Bellcore Dr. Stuart I. Feldman, IBM Dr. Cordell Green,(More)
This article provides an overview of automated reasoning and of the various fields for which it is relevant. It takes the form of a collection of articles, each covering some field and each written by an expert in that field. A field is introduced, its elements reviewed, the current state of the art given, the basic problems discussed, and the various goals(More)
A minimum data set consisting of 15 data elements originating from laboratory submissions and results was formulated by a national committee of epidemiologists in Canada for the purposes of disease reporting, disease detection and analysis. The data set consists of both data that are filled out on the submission form as well as the results of the laboratory(More)
This session focuses on the continuing effort to develop automatic techniques for transforming a specification of “what” is to be done into a specification of “how” the “what” is to be done. One presentation deals with programming tasks, where the results of the transformation are executable computer programs. The other(More)
In the effort to construct intelligent computer systems, a primary consideration is how to represent large amounts of knowledge in a fashion that permits their effective use and interaction. Indeed, many researchers in the field of artificial intelligence have come to believe that knowledge representation is the fundamental issue in the attempt to(More)