An account is given of the methodology used for the development of the LAVI avionic system. The approach to system description and the definitions of system, state, process, and message and their relations are introdu...
详细信息
ISBN:
(纸本)0818689722
An account is given of the methodology used for the development of the LAVI avionic system. The approach to system description and the definitions of system, state, process, and message and their relations are introduced. The recursive process of system description is explained, emphasizing the role of the control concept as part of the methodology.
In an organization operating a large computer center, information exists on different media, magnetic and manual, and consists of many different data items, files, and databases. In such an environment it is of utmost...
详细信息
ISBN:
(纸本)0818689722
In an organization operating a large computer center, information exists on different media, magnetic and manual, and consists of many different data items, files, and databases. In such an environment it is of utmost importance to build and maintain an organizational data dictionary containing business terminology definitions as well as data structures and systems cross references. Such a dictionary function as an auxiliary tool for both users and system analysts in defining new systems. The dictionary contains data needed by business functions in the organization and its representation in real life as well as in computer files. A description is presented of a dictionary which is currently being implemented.
software complexity measures are presented which are based on connections between components according to the hierarchical-client-server (HCS) model. The author outlines complexity criteria and some complexity reducti...
详细信息
ISBN:
(纸本)0818689722
software complexity measures are presented which are based on connections between components according to the hierarchical-client-server (HCS) model. The author outlines complexity criteria and some complexity reduction methods and discusses their applicability and significance for system architecture. The main contribution of this work is that complexity can be evaluated and controlled in all stages of the development phase, from early design stages to the ready product (reverse engineering), and all levels of the system decomposition, from top-level components to lower-level components, whereas most other complexity measures are based on attributes of the complete product. The complexity criteria and reduction methods described were applied to real softwaresystems and proved to be very useful for reducing the development and maintenance cost and time and promoting quality.
The author addresses the need for time management in real-time distributed systems. The underlying theme is that many of the techniques used to allocate shared resources in current real-time systems implement manageme...
详细信息
ISBN:
(纸本)0818689722
The author addresses the need for time management in real-time distributed systems. The underlying theme is that many of the techniques used to allocate shared resources in current real-time systems implement management policies that are inappropriate for real time and contribute to poor and unpredictable system timing behavior. The author exposes problems that need additional research. Analogies are used to provide insights into the real-time problem and how it has evolved. Finally, the authors' research approach is discussed, and the current state of the science, with respect to that approach, is explored.
The infusion of a modern computer-aided softwareengineering (CASE) tool, superCASE, into an existing project, using the PL/M language, is discussed. The requirements, problems, and benefits from using such a tool are...
详细信息
ISBN:
(纸本)0818689722
The infusion of a modern computer-aided softwareengineering (CASE) tool, superCASE, into an existing project, using the PL/M language, is discussed. The requirements, problems, and benefits from using such a tool are examined. Program understandability, maintainability, and reliability were improved far more than expected. Not a single interface problem was found during the integration. Because the code appeared in a uniform fashion due to enforcement of the coding standards, it was very easy to move code around among the programmers. It is concluded that it is worthwhile to use a strong tool even in its infancy, provided that there is an acceptable level of support and attention from the developer.
A model is proposed that is aimed at supporting the database designer at the latter stages of system design. Tools exist for helping the system effort at the analysis or logical design stage, but once the system has b...
详细信息
ISBN:
(纸本)0818689722
A model is proposed that is aimed at supporting the database designer at the latter stages of system design. Tools exist for helping the system effort at the analysis or logical design stage, but once the system has been defined the designer is left with many decisions which will affect system construction and the maintenance stage. Therefore, this effort is analogous to the CASE methodology which encompasses all system development stages of an information system that is based on a database.
The advantages of formal specifications are many: they avoid ambiguities, inconsistencies, and incompleteness, allow the introduction of automated or semiautomated tools (for verification, prototyping, and systematic ...
详细信息
ISBN:
(纸本)0818689722
The advantages of formal specifications are many: they avoid ambiguities, inconsistencies, and incompleteness, allow the introduction of automated or semiautomated tools (for verification, prototyping, and systematic development), etc. Among different approaches to formal specifications, algebraic specifications have had a particular success. The purpose of this study is to examine the state of the art for this approach, its main achievements, and the principal problems still to be solved and to outline future perspectives in the field.
A summary is presented of the experience gained from undertaking a complete software project using structured methods and computer-aided softwareengineering (CASE) tools. The classical structured methods (including H...
详细信息
ISBN:
(纸本)0818689722
A summary is presented of the experience gained from undertaking a complete software project using structured methods and computer-aided softwareengineering (CASE) tools. The classical structured methods (including Hatele and Pirbhai real-time extensions) were used in building the authors' version of the method, which was used as the basis of a software quality assurance plan. An explanation is presented detailing how the authors implemented the methods, how they worked, and which procedures and standards were used. The authors list the pros and cons of the method and the main problems encountered during usage. They suggest some changes to the method and some practical, managerial conclusions and improvements that they want to include in their next project. An assessment is also made of the contribution of the methods to the meeting of the quality and the schedule objectives for the software product.
A description is given of the software maintenance procedure developed by the authors' company. The main purposes of this procedure are: (1) to define the content and format of the software maintenance plan in ord...
详细信息
ISBN:
(纸本)0818689722
A description is given of the software maintenance procedure developed by the authors' company. The main purposes of this procedure are: (1) to define the content and format of the software maintenance plan in order to use it for writing specific maintenance plans for projects, groups of projects, or organizations;and (2) to describe the software maintenance tasks and processes, the maintenance environment, the relationship between software development life-cycle phases and the maintenance phase, etc., as a guide for writing a specific maintenance plan. The software maintenance procedure is written with the intention of serving a large group of people involved in embedded computer system field, such as project managers, software development team leaders, software maintenance team leaders, software engineers who are involved in the development and/or maintenance, software quality assurance engineers, and subcontractors and customers. It is based on a design-for-maintainability approach.
The authors outline a system that transforms the visual display into an interactive tableaux of the information structures under examination. Users interact with the tableaux to construct and confirm hypotheses about ...
详细信息
ISBN:
(纸本)0818689722
The authors outline a system that transforms the visual display into an interactive tableaux of the information structures under examination. Users interact with the tableaux to construct and confirm hypotheses about the model underlying the information structures. The authors formalize the display as an abstract graph and define a general algebra for its manipulation. Applications in neural networks and parallel computation are described.
暂无评论