Five separate documents are needed in order to adequately explain an engineering program to all of those who will come in contact with it. The five documents are a user's manual, theoretical manual, maintenance ma...
详细信息
Five separate documents are needed in order to adequately explain an engineering program to all of those who will come in contact with it. The five documents are a user's manual, theoretical manual, maintenance manual (also known as the programmer's manual), verification report, and error report. A common format is given for all documents. Specific items for individual documents are described.
The disclosed method for sharing common data sets among different programs sharing the same hard disk allows program products to differ, even as to operating systems, while minimizing the total space needed to store t...
详细信息
The disclosed method for sharing common data sets among different programs sharing the same hard disk allows program products to differ, even as to operating systems, while minimizing the total space needed to store the total set of required data sets. The method also allows suitably-programmed applications to access a different hard file partition for the purpose of accessing and converting data for use by the current program product.
Sorting is one of the most basic procedures in computer processing. Although various kinds of hardware sorters have been proposed, a practical sorter which can sort a huge file in a disc has not been found. The sorter...
详细信息
Sorting is one of the most basic procedures in computer processing. Although various kinds of hardware sorters have been proposed, a practical sorter which can sort a huge file in a disc has not been found. The sorter proposed consists of a one-dimensional array of log N special-purpose processors for the systolic system, which is being developed at Carnegie-Mellon University. Essentially, the three-selection sort is used, in which the N-way sort-merge is performed in pipeline. By the pipelined input, a sorter can efficiently be used for the array in a huge-capacity file. Using the result of comparison as the history, the hardware structure can be simplified. Using 17 processors and an RAM of 16 MByte, sort of 1000 GByte file can be performed in 3. 8 times the reading time.
Within the framework of the architecture of terminal installation (TI), the authors distinguish the software structure of TI on the systems level. To simplify and to enhance the efficiency of the solution of the set o...
详细信息
Within the framework of the architecture of terminal installation (TI), the authors distinguish the software structure of TI on the systems level. To simplify and to enhance the efficiency of the solution of the set of problems of system design of TI software, the authors propose and analyze a systems model of TI software that combines the object and process models, and consider decomposition methods for it and the conditions of changeover to logical models in the logical design stage. The TI software is represented as a set of sequential processes that interact via exchange of messages.
Sorting data is an important and time-consuming activity in many computer applications. The paper describes how a highly parallel processor, the ICL DAP, can be used effectively for both internal and external sorts.
Sorting data is an important and time-consuming activity in many computer applications. The paper describes how a highly parallel processor, the ICL DAP, can be used effectively for both internal and external sorts.
A verification method for a requirements description is proposed. For successful software development, correct, consistent and clear descriptions of requirements are indispensable. To provide all knowledge about a tar...
详细信息
A verification method for a requirements description is proposed. For successful software development, correct, consistent and clear descriptions of requirements are indispensable. To provide all knowledge about a target system required for semantic analysis may not be feasible, since diversified applications of a computer system brings many kinds of terms and concepts into a requirements description. Our approach is to imply users to express their experiences and intentions about a target system as assertions. In this paper, we first give a formal model of a requirements description, and show how to verify requirements descriptions. Next, we present several types of verification procedures. They are feasibility check, consistency check and traceability check.
'Dual-View Integration Simulator (Duvis)' was developed based on the 'Dual-View Designing (DVD)' methodology for a demand-oriented software system such as an online software system or a database inquir...
详细信息
'Dual-View Integration Simulator (Duvis)' was developed based on the 'Dual-View Designing (DVD)' methodology for a demand-oriented software system such as an online software system or a database inquiry system. DVD enables designers to construct an executable and evaluatable prototype of a software system. DVD advances the design process by controlling the transformation of design from the users' view to the programmers' view. In DVD, a prototype is constructed in top-down fashion from the flow-oriented viewpoint (appropriate for users' view) at its early design stage. A prototype from the process-oriented viewpoint is obtained at the final stage.
Operand pre-fetching for faster instruction executions is described. Trace analysis has shown that many of the instructions that require an operand compute the same operand address each time that the instruction is ex...
详细信息
Operand pre-fetching for faster instruction executions is described. Trace analysis has shown that many of the instructions that require an operand compute the same operand address each time that the instruction is executed. The operand address is computed by adding the contents of the base register to the contents of the index register to the value of the displacement field supplied by the instruction. This mechanism also applies to sequential machine organizations.
The readers of computer documentation are changing, and that change requires a redirection in many areas of computer documentation. This article looks at several of those changes: making information more appealing to ...
详细信息
The readers of computer documentation are changing, and that change requires a redirection in many areas of computer documentation. This article looks at several of those changes: making information more appealing to the eye, so that the reader is motivated to start reading the book;Making information easier to retrieve, so that the reader does not need to wade through unneeded information;Helping the reader learn faster, by providing tutorials, quick-path manuals, and books of models.
Documentation must be packaged today as carefully as a box of cereal or a sports figure, says the author. Here are some ways to convince management that the packaging cost is a good investment and a multitude of pract...
详细信息
Documentation must be packaged today as carefully as a box of cereal or a sports figure, says the author. Here are some ways to convince management that the packaging cost is a good investment and a multitude of practical tips on how to dress a document for reader appeal. The author discusses the packaging aspects as follows: individual book size;cover;binding;inside;box;and distribution. It is his experience that any decision made for one of these aspects of packaging probably affects most of the others. In practice, one may have to change a plan a number of times, revisiting all earlier decisions as soon as one changes any one component of the plan. Refs.
暂无评论