An object model has been developed as a paradigm to specify software objects in software environment databases. Among other things, it provides a unified way to specify the software configuration management processes....
详细信息
ISBN:
(纸本)081862065X
An object model has been developed as a paradigm to specify software objects in software environment databases. Among other things, it provides a unified way to specify the software configuration management processes. The author first briefly describes the object model for software environment databases. He then discusses a meta-object-based approach to the configuration management mechanism in software object databases.
It is shown that the requirements for computer-based autoregressive engineering can only be partly identified. The environmental factors responsible for this situation are discussed. Integration of engineering activit...
详细信息
ISBN:
(纸本)0818620412
It is shown that the requirements for computer-based autoregressive engineering can only be partly identified. The environmental factors responsible for this situation are discussed. Integration of engineering activities and data processing media is examined. The role of standard software tools is considered. A conceptual approach to automotive CAE is outlined.
Summary form only given. Current research efforts in automatic and semiautomatic program synthesis, including transformational approaches, deductive synthesis, very-high-level languages, and programming by example, ar...
详细信息
ISBN:
(纸本)0818689722
Summary form only given. Current research efforts in automatic and semiautomatic program synthesis, including transformational approaches, deductive synthesis, very-high-level languages, and programming by example, are surveyed. The assistant approach to the problem is covered. Whereas other approaches aim for full automation of the programming process and usually end up with a system which requires some manual guidance, the aim of this approach is to create an intelligent programming environment which should carry some of the burden of the software development process. The assistant takes care of the more mundane and tedious parts of the design, which should be the easiest to automate. This allows the designer to concentrate on the global design decisions. Ongoing research at the Massachusetts Institute of Technology and the Weizmann Institute of Science is examined.
A description is given of the MARUTI operating system, which is designed to support real-time applications on a variety of hardware systems. The kernel supports objects as primitive entities and provides a communicati...
详细信息
ISBN:
(纸本)0818689722
A description is given of the MARUTI operating system, which is designed to support real-time applications on a variety of hardware systems. The kernel supports objects as primitive entities and provides a communication mechanism that allows transparent distribution in networked systems. Fault tolerance is provided through replication and consistency-control mechanisms. MARUTI supports guaranteed-service scheduling, in which jobs that are accepted by the system are verified to satisfy general time constraints. Guaranteed-service scheduling means that, given a job with a set of service requirements and time constraints, the system automatically verifies the existence of a feasible schedule for each of the job components with respect to the job's constraints and those of other jobs in the system. These time constraints include those that govern interrupt processing, which allows the MARUTI approach to succeed where more rigorous approaches do not. The result is that MARUTI applications can be executed in a predictable, deterministic fashion.
The author presents a software re-engineering method based on the hierarchical-client-server (HCS) paradigm. The re-engineering method consists of extracting cross-reference relations and transforming the data into an...
详细信息
ISBN:
(纸本)081862065X
The author presents a software re-engineering method based on the hierarchical-client-server (HCS) paradigm. The re-engineering method consists of extracting cross-reference relations and transforming the data into an hierarchical set of diagrams that represent the software architecture. These diagrams provide a documentation skeleton, and may be analyzed with the BUBBLES computer-aided softwareengineering (CASE) tool to reveal valuable information that encourages software re-use and helps software maintenance. The HCS paradigm and BUBBLES were used for re-engineering of several softwaresystems of various sizes, and proved to be very useful for reducing the budget and schedule, and improving the quality. The analysis required only a few hours for systems that required several man-years of effort to develop. The author shows and example of a subsystem that was analyzed in that framework, and presents the properties and patterns that were revealed by this analysis.
A knowledge-based system (COMEX) is presented which replaces or augments the human operator of a communication station in a multilink, multidrop communication network. The system accepts some preliminary information f...
详细信息
ISBN:
(纸本)0818689722
A knowledge-based system (COMEX) is presented which replaces or augments the human operator of a communication station in a multilink, multidrop communication network. The system accepts some preliminary information from a human operator, from utility programs running on the same processor, and from external sensors. The system comprises an expert system that operates on three distinct knowledge bases in order to reach an optimal solution for the communication problem. COMEX is written in Turbo Pascal and runs on an IBM-compatible PC, which functions as the communication station controller. When used in a fully automatic mode, it performs efficiently all the functions of an experienced and expert operator, equipment parameters selection and setting, and complete message handling.
A method for subsystem design is described. The method extends the ADISSA methodology for system analysis and design (see P. Shoval, Information systems, vol. 13, pp. 81-95, 1988), and involves (a) declaration of the ...
详细信息
ISBN:
(纸本)0818620412
A method for subsystem design is described. The method extends the ADISSA methodology for system analysis and design (see P. Shoval, Information systems, vol. 13, pp. 81-95, 1988), and involves (a) declaration of the transactions belonging to the subsystem, (b) the design of a submenu-tree interface, and (c) design of a database subschema. The method is supported by software tools, part of ADISSA PC-based CASE tools.
Configuration management, a discipline that identifies and documents functional and physical characteristics of developed hardware and software items, is addressed. A description is given of the problems of managing t...
详细信息
ISBN:
(纸本)0818620412
Configuration management, a discipline that identifies and documents functional and physical characteristics of developed hardware and software items, is addressed. A description is given of the problems of managing the configuration of products that involve extensive use of software. An automated tool is presented for integrating the status accounting of such products for top-level management. The tool, named CMDS (Configuration Data Management System) operates on an IBM PC. Its database entities may be configuration information design documents, contracts, changes and action items.
In a previous paper, the defect detection and removal rates in a given project were mathematically modeled by the author (Proc. COMPSAC 87, pp. 340-346, Oct. 1987). Contrary to other models, the author's model was...
详细信息
ISBN:
(纸本)0818689722
In a previous paper, the defect detection and removal rates in a given project were mathematically modeled by the author (Proc. COMPSAC 87, pp. 340-346, Oct. 1987). Contrary to other models, the author's model was a comprehensive birth-death model that was triggered by faults introduced through code submission. The repair process removed the detected defects while reintroducing new defects at a certain rate. Homogeneous statistical distributions were used to produce the model. In the present study, two important improvements are introduced, namely, the concepts of time-varying test coverage and of time-varying defect repair intensity. The test coverage and the repair intensity are increasing functions of the software coverage by the test program and the resource availability for defect repairs, respectively. The modeling of these two concepts provides a better tie of the model to reality. Nonhomogeneous distributions provide the necessary mathematical tool.
A state-based approach to formal specification and verification of distributed systems, and an automated tool for analysis of their communication behavior founded on this approach and written in Prolog, are presented....
详细信息
ISBN:
(纸本)0818620412
A state-based approach to formal specification and verification of distributed systems, and an automated tool for analysis of their communication behavior founded on this approach and written in Prolog, are presented. The approach can typically be used for verification of safety properties of communication protocols and mutual exclusion algorithms.
暂无评论