The Interchamber Monitoring and Control (IMC) system is semi-autonomous, intelligent software that controls life support systems designed for recycling air in remote space habitats. The IMC system was developed using the 3T autonomous control architecture. This architecture integrates traditional control with reactive task sequencing and deliberative planning technology. The IMC system was used...

Software systems are often designed without considering their social intentionality and the software process changes required to accommodate them. With the rise of artificial intelligence and cognitive services-based systems, software can no longer be considered a passive participant in a domain. Structured and methodological approaches are required to study the intentions and motives of such s...

Distributed software is very tricky to implement correctly as some errors only occur in peculiar situations. For such testing not effective. Mathematically proving correctness hard and time consuming, therefore, it rarely done. Fortunately, there a technique between, namely model checking, that, if applied with skill, both efficient able find rare errors. In this tutorial we show how create beh...

Understanding the need for a well-developed market information infrastructure, about twenty U.S. states have created an interactive, web-based software package (MarketMaker). By creating interrelationships between mapping software, customer demographics and business directories, MarketMaker provides an important link between producers, wholesalers, processors, food service providers, retailers ...

The goal of this paper is to present in context the key didactical principles behind the Program by Design curricula, motivate the need for the supporting software, and describe in detail the How to Design Classes component for teaching introductory object oriented program design using Java and Java-like languages. The key innovations are a systematic test-first program design, and the introduc...

Systems of computers and their application in the lives of modern human beings are vastly expanding. In any kind of computer application, failure in computer systems can lead to a range of financial and mortal losses. Indeed, the major origin of software failure can be located in designing or implementing software. With regard to these statistics, 30% of the software projects have been prospero...

Automation of spacecraft operations can provide a substantial reduction in ground support and program costs. Here, we develop an autonomous spacecraft telemetry processing system consisting of an off-line architecture for the generation and analysis of learned patterns in the telemetry stream and an on-line mechanism for automated event and alert notification. Our system draws on the embedded k...