10 citations found. Retrieving documents...
Jackson, M. A. System Development. Prentice-Hall International Series in Computer Science. Prentice-Hall International, Inc., 1983.

 Home/Search   Document Not in Database   Summary   Related Articles   Check  

This paper is cited in the following contexts:
An Examination of Requirements Specification Languages - Tse, Pong (1991)   (2 citations)  (Correct)

....one standardized PSL for all applications, the formal description of a tailor made PSL may be defined for a given development methodology and input to the META system. Systems descriptions can then be formulated in that particular PSL. This approach has been tested on structured methodologies [11, 16, 40] , and the results are encouraging. The main user interface, however, is still formal. 3.2 STRUCTURED ANALYSIS AND DESIGN TECHNIQUE (SADT) SADT [12, 30] has been developed by SofTech Inc. A specification is made up of a hierarchy of SADT diagrams, each of which is a network of boxes representing ....

M.A. Jackson, System Development, Prentice Hall International Series in Computer Science, Prentice Hall, London (1983). 12


Evaluation of Structure Charts: a Logic Programming Approach - Chen, Kwok, Tang, Tse (1991)   (Correct)

....by logical variables in Prolog than variables in a conventional assignment based programming language. Because of the strong formal relationship [15] between structure charts and other structured tools such as DeMarco data flow diagrams [2] Jackson structure diagrams and Jackson structure text [5, 6] , it is hoped that our attempt to use Prolog in analysing structure charts can also be applied in alternative structured notations. Our recent experience [16] confirms that this may indeed be the case. Thus the application of logic programming techniques to structured methodologies is a promising ....

M.A. Jackson, System Development, Prentice Hall International Series in Computer Science, Prentice Hall, London (1983).


Specifying Verifying Concurrent Systems Using Z - Evans (1994)   (Correct)

....stopped or moving and the lift door is either open or closed . A request is either a request for a lift to go up or down or a passenger request. Lift position : FLOOR NUMBER direction : DIRECTION state : STATE door : DOOR 3 This is a simplified version of Jackson s hi rider elevator system [10]. The lift has a floor number, a direction, a state and a door status. Request type : REQUEST TYPE floor : FLOOR NUMBER A request identifies a type of request and the floor number requested. Lift System lift : Lift requests : PRequest The state of the lift system consists of a single lift ....

Jackson, M.A., System Development, Prentice Hall International Series in Computer Science, 1983.


Transitioning Temporal Support in TSQL2 to SQL3 - Snodgrass, Böhlen, Jensen..   (12 citations)  (Correct)

....approaches have been advocated. In the first approach, the system design is based on the function of the enterprise that the system is intended for (the Yourdon approach [19] in the second, the design is based on the structure of the reality that the system is about (the Jackson approach [5]) It has been argued that the latter approach is superior because structure may remain stable when the function changes while the opposite is generally not possible. Thus, a more stable system design, needing less maintenance, is achieved when adopting the second design principle. This suggests ....

Jackson, M. A. System Development. Prentice-Hall International Series in Computer Science. Prentice-Hall International, Inc., 1983.


Adding Valid Time to SQL/Temporal - Snodgrass, Böhlen, Jensen, Steiner (1996)   (3 citations)  (Correct)

....general approaches have been advocated. In the first approach, the system design is based on the function of the enterprise that the system is intended for (the Yourdon approach [16] in the second, the design isbasedonthestructure of the reality that the system is about (the Jackson approach [5]) It has been argued that the latter approach is superior because structure may remain stable when the function changes while the opposite is generally not possible. Thus, a more stable system design, needing less maintenance, is achieved when adopting the second design principle. This suggests ....

Jackson, M. A. System Development. Prentice-Hall International Series in Computer Science. Prentice-Hall International, Inc., 1983.


Notions of Upward Compatibility of Temporal Query Languages - Bair, Böhlen, Jensen.. (1997)   (2 citations)  (Correct)

....have been advocated. In the first approach, the system design is based on the function of the enterprise that the system is intended for (the Yourdon approach [You82] in the second, the design is based on the structure of the reality that the system is about (the Jackson approach [Jac83] It has been argued that the latter approach is superior because structure may remain stable when the function changes while the opposite is more often not possible. Thus, a more stable system design, needing less maintenance, is achieved when adopting the second design principle. This suggests ....

Michael A. Jackson. System Development. Prentice-Hall International Series in Computer Science. Prentice-Hall International, Inc., 1983.


Transitioning Temporal Support in TSQL2 to SQL3 - Snodgrass, Böhlen, Jensen.. (1997)   (12 citations)  (Correct)

....approaches have been advocated. In the first approach, the system design is based on the function of the enterprise that the system is intended for (the Yourdon approach [15] in the second, the design is based on the structure of the reality that the system is about (the Jackson approach [5]) It has been argued that the latter approach is superior because structure may remain stable when the function changes while the opposite is generally not possible. Thus, a more stable system design, needing less maintenance, is achieved when adopting the second design principle. This suggests ....

Jackson, M. A. System Development. Prentice-Hall International Series in Computer Science. Prentice-Hall International, Inc., 1983.


Transitioning Temporal Support in TSQL2 to SQL3 - Snodgrass, Böhlen, Jensen.. (1997)   (12 citations)  (Correct)

No context found.

Jackson, M. A. System Development. Prentice-Hall International Series in Computer Science. Prentice-Hall International, Inc., 1983.


Adding Valid Time to SQL/Temporal - Snodgrass, al. (1996)   (3 citations)  (Correct)

No context found.

Jackson, M. A. System Development. Prentice-Hall International Series in Computer Science. PrenticeHall International, Inc., 1983.


Adding Valid Time - Part A - Snodgrass, al. (1995)   (1 citation)  (Correct)

No context found.

Jackson, M. A. System Development. Prentice-Hall International Series in Computer Science. PrenticeHall International, Inc., 1983.

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