Factors shaping the evolution of electronic documentation systems

The main goal is to prepare the space station technical and managerial structure for likely changes in the creation, capture, transfer, and utilization of knowledge. By anticipating advances, the design of Space Station Project (SSP) information systems can be tailored to facilitate a progression of increasingly sophisticated strategies as the space station evolves. Future generations of advanced information systems will use increases in power to deliver environmentally meaningful, contextually targeted, interconnected data (knowledge). The concept of a Knowledge Base Management System is emerging when the problem is focused on how information systems can perform such a conversion of raw data. Such a system would include traditional management functions for large space databases. Added artificial intelligence features might encompass co-existing knowledge representation schemes; effective control structures for deductive, plausible, and inductive reasoning; means for knowledge acquisition, refinement, and validation; explanation facilities; and dynamic human intervention. The major areas covered include: alternative knowledge representation approaches; advanced user interface capabilities; computer-supported cooperative work; the evolution of information system hardware; standardization, compatibility, and connectivity; and organizational impacts of information intensive environments

A methodology for producing reliable software, volume 1

An investigation into the areas having an impact on producing reliable software including automated verification tools, software modeling, testing techniques, structured programming, and management techniques is presented. This final report contains the results of this investigation, analysis of each technique, and the definition of a methodology for producing reliable software

The concept of "character" in Dirichlet's theorem on primes in an arithmetic progression

In 1837, Dirichlet proved that there are infinitely many primes in any arithmetic progression in which the terms do not all share a common factor. We survey implicit and explicit uses of Dirichlet characters in presentations of Dirichlet's proof in the nineteenth and early twentieth centuries, with an eye towards understanding some of the pragmatic pressures that shaped the evolution of modern mathematical method

Working Notes from the 1992 AAAI Workshop on Automating Software Design. Theme: Domain Specific Software Design

The goal of this workshop is to identify different architectural approaches to building domain-specific software design systems and to explore issues unique to domain-specific (vs. general-purpose) software design. Some general issues that cut across the particular software design domain include: (1) knowledge representation, acquisition, and maintenance; (2) specialized software design techniques; and (3) user interaction and user interface

A history of the histories of econometrics.

Understanding the history of econometrics as a modern science also asks for understanding of the development of the image of science, which includes the history of philosophy of science and the history of economic methodology. Beside that philosophers of science need to be historically informed, historians of science need to be philosophical informed, which mean more precisely here that they need to be informed about the developments of the philosophical ideas about science. Corry's distinction between the body and image of knowledge does not only provide a framework to write histories of econometrics, but also to write a history of these histories. From its beginnings, econometricians have considered historical knowledge as reflexive knowledge useful to delineate their discipline.econometrics; philosophy of science; discipline

Program Model Checking: A Practitioner's Guide

Program model checking is a verification technology that uses state-space exploration to evaluate large numbers of potential program executions. Program model checking provides improved coverage over testing by systematically evaluating all possible test inputs and all possible interleavings of threads in a multithreaded system. Model-checking algorithms use several classes of optimizations to reduce the time and memory requirements for analysis, as well as heuristics for meaningful analysis of partial areas of the state space Our goal in this guidebook is to assemble, distill, and demonstrate emerging best practices for applying program model checking. We offer it as a starting point and introduction for those who want to apply model checking to software verification and validation. The guidebook will not discuss any specific tool in great detail, but we provide references for specific tools

Open-Access publishing and scholarly communications in non-scientific disciplines

- Purpose : This article presents an overview of the current state of debates surrounding open access in non-STEM disciplines. - Design/methodology/approach: This article uses a selective literature review and discussion methodology to give a representative summary of the state of the art. - Findings: Non-STEM disciplines persistently lag behind scientific disciplines in their approach to open access, if the teleology towards open dissemination is accepted. This can be attributed to a variety of economic and cultural factors that centre on the problem of resource allocation with respect to quality. - Originality/value: This paper will be of value to policymakers, funders, academics and publishers. The original aspect of the paper pertains to the identification of an anxiety of irrelevance in the humanities disciplines and a focus on “quality” in open-access publishing debates