This paper relates the experience during the planning and implementation of IBM's COPICS Manufacturing software. The importance of planning the system installation with user involvement, and participation is stres...
详细信息
This paper relates the experience during the planning and implementation of IBM's COPICS Manufacturing software. The importance of planning the system installation with user involvement, and participation is stressed. The use of the COPICS sample problem and data base, to validate the manual and computersystems is discussed
The proper specification of the functional requirements for a real-time system is now recognized as a major consideration in the system development cycle. The functional requirements document is used by the customer, ...
详细信息
The proper specification of the functional requirements for a real-time system is now recognized as a major consideration in the system development cycle. The functional requirements document is used by the customer, the requirements writer, management, the software designer, and the system test team. GTE Laboratories is developing a Requirements Language Processor (RLP) which checks functional requirements for real-time systems for the presence of ambiguity, redundancy, and inconsistency. This paper examines the needs of the users of functional requirements documents, describes the effects that these needs have on the design of the RLP, and describes the implementation of the RLP system.
The paper gives a broad review of the decision tables applications. A basic decision diagram is presented and the restricted, extended and mixed decision tables are addressed. The set relationships in decision tables ...
详细信息
The paper gives a broad review of the decision tables applications. A basic decision diagram is presented and the restricted, extended and mixed decision tables are addressed. The set relationships in decision tables are discussed. Finally, a specific decision table is analysed.
The intent of 'software science' is to derive properties of software using established records of program development and behaviour. A framework for collecting data and judging the likely quality of software i...
详细信息
The intent of 'software science' is to derive properties of software using established records of program development and behaviour. A framework for collecting data and judging the likely quality of software is proposed and six related axioms are stated. Associated metrics are described;these deal with complexity, size/annotation, change, problem-behaviour, test coverage and effort spent in various development activities.
This study presents a brief formal semantics of constructors for ordered sequences (cons) and for unordered multisets (frons) followed by a detailed operational semantics for both. A multiset is a generalization of a ...
详细信息
This study presents a brief formal semantics of constructors for ordered sequences (cons) and for unordered multisets (frons) followed by a detailed operational semantics for both. A multiset is a generalization of a list structure which lacks order a priori;its order is determined by the a posteriori migration of computationally convergent elements to the front. The introductory material includes an example which demonstrates that a multiset of yet-unconverged values and a timing primitive may be used to implement the scheduler for an operating system in an applicative style. The operational semantics, given in PASCAL-like code, is described in two detailed steps: first a uniprocessor implementation of the cons/frons constructors and the first/rest probes, followed by an extension to a multiprocessor implementation.
For an independent representation of the constraints on processes in distributed system parts the formalism of Loosely Coupled systems is introduced. The event structure is derived only from prespecified restrictions ...
详细信息
For an independent representation of the constraints on processes in distributed system parts the formalism of Loosely Coupled systems is introduced. The event structure is derived only from prespecified restrictions of behavior, concurrency of events is described in elementary and local terms. Formal construction methods (constraint module and slack phase techniques) are defined and used to model a solution for a control problem under various constraints (fairness). The correctness of the solution is proved using a general and new formal procedure: A restricted case graph is evaluated which is minimal with respect to the needed information. For the sake of evaluation the system is reduced to another one by a simple and efficient algorithm. It is proved that the wanted restricted case graph is an invariant under the algorithm. In the reduced system the restricted case graph is very simple to compute.
The Warnier-Orr diagram is introduced with its hierarchic notation and inherent tree structure which always produces a one-entry and one-exit program. Based upon the theory of program and systems design developed by J...
详细信息
The Warnier-Orr diagram is introduced with its hierarchic notation and inherent tree structure which always produces a one-entry and one-exit program. Based upon the theory of program and systems design developed by Jean-Dominique Warnier of France and furthered by Kenneth Orr of Kansas, this diagramming design tool possesses the mathematical properties of associativity and commutativity. These properties allow for the modification and optimization of loop structures, logic structures, and data structures of programs and systems.
The paper addresses the need for more efficient means of software development to keep pace with recent strides in hardware design and implementation. It is noted that a primary reason for the large differential betwee...
详细信息
The paper addresses the need for more efficient means of software development to keep pace with recent strides in hardware design and implementation. It is noted that a primary reason for the large differential between software and hardware costs is the electrical engineer's ability to use ″off the shelf″ components. Based on a survey of a number of existing software systems, the paper then proposes a set of analogous software components, or ″atoms.″ These atoms are then employed in the ″construction″ (on paper) of a sample software system, which is further modified to demonstrate the versatility of the proposed atom set. Based on this example, the usefulness of the atom concept is assessed.
The conference proceedings contains 19 papers examining current developments in software engineering, in particular, requirements and specification methods. Reliable system performance is enhanced during development b...
详细信息
The conference proceedings contains 19 papers examining current developments in software engineering, in particular, requirements and specification methods. Reliable system performance is enhanced during development by detailed specifications that define constraints and record decisions that can be maintained throughout the development process. All papers are indexed separately.
暂无评论