Showing papers on "Product design specification published in 1981"
04 May 1981
TL;DR: These principles result in eighteen implications for specification languages that strongly constrain the set of adequate specification languages and identify the need for several novel capabilities such as historical and future references, elimination of variables, and result specification.
Abstract: Careful consideration of the primary uses of software specifications leads directly to three criteria for judging specifications, which can then be used to develop eight design principles for "good" specifications. These principles, in turn, result in eighteen implications for specification languages that strongly constrain the set of adequate specification languages and identify the need for several novel capabilities such as historical and future references, elimination of variables, and result specification.
130 citations
09 Mar 1981
TL;DR: An approach to requirements specification for embedded systems, based on constructing an executable model of the proposed system interacting with its environment, is proposed, which is explained, motivated, and related to data-oriented specification techniques.
Abstract: An approach to requirements specification for embedded systems, based on constructing an executable model of the proposed system interacting with its environment, is proposed. The approach is explained, motivated, and related to data-oriented specification techniques. Portions of a specification language embodying it are introduced, and illustrated with an extended example in which the requirements for a process-control system are developed incrementally.
57 citations
Book•
25 Mar 1981
TL;DR: The authors provides a thorough and understandable examination of the procedures and principles of purchasing for the hospitality industry, working from the manager's viewpoint, details generally accepted practices for procuring supplies and provides invaluable guidance for calculating product costs, order sizes, the economics of bargain shopping and more.
Abstract: Provides a thorough and understandable examination of the procedures and principles of purchasing for the hospitality industry. Working from the manager's viewpoint, it details generally accepted practices for procuring supplies and provides invaluable guidance for calculating product costs, order sizes, the economics of bargain shopping and more. New features of this edition include expanded coverage of food cost calculation and updated product specification outlines with a discussion of entries for all product categories and examples.
32 citations
01 Jan 1981
3 citations
01 Feb 1981
1 citations
01 Dec 1981
TL;DR: This thesis presents a method for specifying, analysing and refining the designs of distributed systems in terms of the permissible activity across the interfaces between process components and demonstrates that a specification can evolve to a stage close to realisation using a stepwise refinement method which ensures that the important properties are maintained.
Abstract: This thesis presents a method for specifying , analysing and refining the designs of distributed systems in terms of the permissible activity across the interfaces between process components. Such a specification gives the rules for the behaviour of each process component and postpones decisions about its internal structure. This specification method will be shown to allow important questions about the behaviour of a distributed system to be posed early in the design process: in particular, designs will be analysed with respect to termination and absence of deadlocks. The specification method can be employed to describe systems in different degrees of detail, and it is demonstrated that a specification can evolve to a stage close to realisation using a stepwise refinement method which ensures that the important properties are maintained.
1 citations