Michael Jackson, "Software Development Method", in A Classical Mind: Essays in Honour of C.A.R Hoare, ed. A.W. Roscoe, Prentice Hall International, 1994. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Domain Analysis - a Prerequisite for Requirements Capture - Bjørner, George.. (1995) (3 citations) (Correct)
....Railway Domain understanding: 27, 16, 17, 39, 7, 42, 2, 26] We will now review some of these contributions in the light of our work. To be written 8. 3 Domain Analysis Many technologists and researchers have contributed to the establishment of the field of Domain Analysis and its techniques: [60, 61, 62, 36, 34] We will now review some of these contributions in the light of our work. To be written 8.4 Software Architectures The fields of Domain Analysis and Requirements Capture (for the latter see for example [37] imply the discipline of Software Architectures: 24, 1] We will briefly review the ....
Michael A. Jackson. Software Development Method, chapter 13, pages 215--234. Prentice Hall Intl., 1994. Festschrift for C. A. R. Hoare: A Classical Mind, Ed. W. Roscoe.
Structuring Z Specifications with Views - Daniel Jackson June Self-citation (Jackson) (Correct)
No context found.
Michael Jackson, "Software Development Method", in A Classical Mind: Essays in Honour of C.A.R Hoare, ed. A.W. Roscoe, Prentice Hall International, 1994.
Structuring Z Specifications with Views - Jackson (1994) (6 citations) Self-citation (Jackson) (Correct)
....respects their work is more ambitious than mine. First, descriptions can separate more fundamental concerns than aspects of functionality, distinguishing the specification of the machine, 24 the specification of its domain, and the specification of the environment in which the machine operates [Jac94]. In contrast, the views of this paper are all descriptions of machines. Second, descriptions can be cast in different paradigms. A telephone specification might use Z to describe data aspects and JSP to describe the ordering of events [ZJ93] To interpret these diverse descriptions as a single, ....
Michael Jackson, "Software Development Method", in A Classical Mind: Essays in Honour of C.A.R Hoare, ed. A.W. Roscoe, Prentice Hall International, 1994. 27
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