* Work supported by U.S. Department of Energy Abstract Front end computer software in the AGS and RHIC control systems makes extensive use of object oriented programming techniques. A conservative design approach to front end computer architecture has resulted in systems that are not performance limited; however, several interesting performance challenges have been identified. Performance metri...

Although the dreams of artificial intelligence have not been realized (despite the recent success of IBM in chess), it is apparent that software control of machines is quickly permeating our lives in many ways – some seen, some hidden. NASA is clearly dependent on computers to fly the space shuttle or to run the planned space station. Many commercial and military aircraft alike require computer...

Analyzing and verifying computer programs is an important and challenging task. Banks, hospitals, companies, organizations and individuals heavily depend on very complex computer systems, such as Internet, networking, online payment systems, and autonomous devices. These systems are integrated in an even more complicated environment, using various computer devices. Technically, software systems...

Conventional software development methodologies for today‘s software developments have not been proven good enough to cope with the unconventional demands and rapid application development. There is a serious need for computer aided methodology which can cope with the challenging need of the today‘s requirements. Computer aided software agents playing important role in new age of software devel...

Modeling is one of the most important factors in the process of computer systems development. It is the process of representing real-world concepts in the computer domains as a blueprint for the purpose of software development. Recent trends in software and system development have also revealed the value of developing systems at higher levels of abstraction. Abstract models streamline and speed...

The Architecture Analysis & Design Language, (AADL), Society of Automotive Engineers (SAE), AS5506, was developed to support quantitative analysis of the runtime architecture of the embedded software system in computer systems with multiple critical operational properties, such as responsiveness, safety-criticality, security, and reliability by allowing a model of the system to be annotated wit...

A desktop computer with System/370 capability was produced by enhancing the IBM Personal Computer XT with additional hardware and developing software that provides a compatible interface. The computer, the IBM Personal Computer XT/370, and this software allow users to run most System/370 Conversational Monitor System application programs unaltered in a desk-top environment. The evolution of the...