W. M. Turski and T. S. E. Maibaum. The Specification of Computer Programs. International Computer Science Series. Addison Wesley, 1987. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Constructing Specifications and Modules in a KZ-Doctrine - Hill (1994) (Correct)
....a specific categorical workspace within which the specifications of complex systems can be configured from their component parts. The activity of specification is in our view that of building theories, that are presented in specifications, so we extend the ideas of Turski, Maibaum and Veloso in [14, 16]. Interpretation between theories has been formalized in a categorial framework by Maibaum and Fiadeiro in [10] and category theory was also used to define an abstract specification theory for refining specifications by Ury and Gergely in [15] Earlier work by Burstall, Goguen and Sannella in [1, ....
W. M. Turski and T. S. E. Maibaum. The Specification of Computer Programs. International Computer Science Series. Addison Wesley, 1987.
A Logical Approach to System Construction - Hill (1995) (Correct)
....by Takahashi and Takahara, 6] Our own logical approach contrasts with this model theoretic approach by focusing on a proof theoretic view of the logic underlying systems theory and avoids the complexity of building a logical model during system configuration. We agree with Turski and Maibaum, [7], that the activity of specification in software engineering is one of theory building. In this paper our logical view of systems theory underpins system configuration as a description of how system components, represented by theories, can be both structured and implemented to represent the ....
W. M. Turski and T. S. E. Maibaum. The Specification of Computer Programs. International Computer Science Series. Addison Wesley, 1987. This article was processed using the L A T E X macro package with LLNCS style
Constructing Specifications and Modules in a KZ-Doctrine - Hill (1994) (Correct)
....a specific categorical workspace within which the specifications of complex systems can be configured from their component parts. The activity of specification is in our view that of building theories, that are presented in specifications, so we extend the ideas of Turski, Maibaum and Veloso in [13, 15]. Interpretation between theories has been formalized in a categorial framework by Maibaum and Fiadeiro in [9] and category theory was also used to define an abstract specification theory for refining specifications by Ury and Gergely in [14] Earlier work by Burstall, Goguen and Sannella in [1, ....
W. M. Turski and T. S. E. Maibaum. The Specification of Computer Programs. International Computer Science Series. Addison Wesley, 1987.
The Configuration of Complex Systems - Hill (1994) (Correct)
....and Goguen, in [2, 8] by the provision of a categorical semantics for the specification language Clear with the meaning of a specification denoted by its underlying theory. The activity of specification in software engineering was viewed as theory building by Turski, Maibaum and Veloso in [16, 17]; and interpretation between theories was formalized in a categorial framework in [12] These ideas are now extended to provide a mathematical workspace within which system components can be both structured and implemented to configure the architecture of a final executable system. We have ....
....languages, each over a particular logic. Institutions have not provided the tools that are appropriate for software development, however. In our view the algebraic framework is not appropriate for programming intuitions. We suggest that a proof theoretic approach to specification, as in [16, 17], that is based on deduction rather than interpretation in a model is closer to the intuitions required for programming. By separating configuration from specification and specification from its underlying logic, our aim is to provide a framework which is technically more useful than institutions. ....
[Article contains additional citation context not shown here]
W. M. Turski and T. S. E. Maibaum. The Specification of Computer Programs. International Computer Science Series. Addison Wesley, 1987.
Category Theory for the Configuration of Complex Systems - Hill (Correct)
....In this paper a new module concept is defined to represent reusable system components, at any level of development. 1 Introduction A category theoretic semantics was given in [1] for putting theories together to make specifications. The activity of specification was viewed as theory building in [5, 7] and interpretation between theories was formalized in a categorial framework in [3] Category theory was used to define an abstract specification theory for refining specifications in [6] In this paper these ideas are extended to provide a precise semantics for both structuring and implementing ....
....property and is also simple and natural for software engineers to use. We have identified other logics that have the Craig interpolation property in [2] and explained why equational logic lacks the strong form of the interpolation property that is essential for specification building. In our view, [2, 5, 3], the lack of the strong interpolation property in equational logic has led to increasing complexity, such as the need for concepts like persistency, in the algebraic approach to specification, The strong form of the interpolation property, that does not hold in equational logic is called a ....
[Article contains additional citation context not shown here]
W. M. Turski and T. S. E. Maibaum. The Specification of Computer Programs. International Computer Science Series. Addison Wesley, 1987.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC