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...
详细信息
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 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 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.< >
The authors discuss the methods used for problem identification, marking, and their documentation during the integration and maintenance phases of a project. They show the actual forms used to report the problems and ...
详细信息
The authors discuss the methods used for problem identification, marking, and their documentation during the integration and maintenance phases of a project. They show the actual forms used to report the problems and their solutions and examples of the management reports used for follow-up and analysis. Interactive screen-oriented tools used to support the methodology are outlined.< >
Conclusions based on the use of the Ada programming language in an air-force unit developing operational software are summarized. The conclusions are grouped according to the aspect of the system's life cycle to w...
详细信息
Conclusions based on the use of the Ada programming language in an air-force unit developing operational software are summarized. The conclusions are grouped according to the aspect of the system's life cycle to which they refer, namely, design, coding, integration, and maintenance. These are followed by some general conclusions. The satisfactory results obtained with Ada have led to the decision to use it as the language for every new system developed.< >
Looks at the debate over software life-cycle models and the adequacy (or inadequacy) of the waterfall model. The following issues are addressed: whether a generic paradigm for software life cycle is possible or needed...
详细信息
Looks at the debate over software life-cycle models and the adequacy (or inadequacy) of the waterfall model. The following issues are addressed: whether a generic paradigm for software life cycle is possible or needed; what aspects of the softwareengineering should be addressed by such models and what issues should be left open; and what role such a model should play in industrial practices and what limits should be set for its applicability.< >
The author discusses the hypertext concept, which is of interest as an electronic writing, reading, thinking, and communication tool that uses the power of computers for more than display and editing. The hypertext fe...
详细信息
The author discusses the hypertext concept, which is of interest as an electronic writing, reading, thinking, and communication tool that uses the power of computers for more than display and editing. The hypertext features fit a wide range of applications, the most challenging of which is analysis and design activities, including CASE tools. The design of a practical, specific-domain, hypertextlike system for a group of collaborating information analysts that is based on successful past experience with building and using such a tool is discussed.< >
A description is given of a software package that defines the operational modes of a command and control console using an interactively editable simulation of this operation. The package runs on a TI-Explorer Lisp mac...
详细信息
A description is given of a software package that defines the operational modes of a command and control console using an interactively editable simulation of this operation. The package runs on a TI-Explorer Lisp machine and uses rapid-prototyping techniques and AI tools and methodology. The future prospects of similar programs as lifetime support for small command and control systems are predicted, showing possible support in the areas of sales, definition, coding, integration, and maintenance.< >
The authors define their approach to meeting the requirements for EISs (engineering information systems). They describe the notion of a framework of specifications and support services that make interoperable heteroge...
详细信息
ISBN:
(纸本)0818619090
The authors define their approach to meeting the requirements for EISs (engineering information systems). They describe the notion of a framework of specifications and support services that make interoperable heterogeneous software tools and servers and data repositories to produce EISs. The framework is, essentially a 'glue' for making incompatible components interoperate. It is independent of the actual components it glues together. The authors contend that a generic glue system is preferable to specific services to glue together an organization's particular software and data for two reasons: First, it is reusable for any number of organizations, as long as it includes mechanisms for tailoring the results to the requirements of each organization. Second, it automatically provides for extensibility of the resulting systems.
The infusion of a modern computer-aided softwareengineering tool, superCASE, into an existing project, using the PL/M language, is discussed. The requirements, problems, and benefits from using such a tool are examin...
详细信息
The infusion of a modern computer-aided softwareengineering 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.< >
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 ...
详细信息
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.< >
暂无评论