This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
An overview of JSD
Feb. 1986 (vol. 12 no. 2)
pp. 222-240
John R. Cameron, Michael Jackson Systems, Limited, London WIN 5AF, England
The Jackson System Development (JSD) method addresses most of the software lifecycle. JSD specifications consist mainly of a distributed network of processes that communicate by message-passing and by read-only inspection of each other's data. A JSD specification is therefore directly executable, at least in principle. Specifications are developed middle-out from an initial set of “model” processes. The model processes define a set of events, which limit the scope of the system, define its semantics, and form the basis for defining data and outputs. Implementation often involves reconfiguring or transforming the network to run on a smaller number of real or virtual processors. The main phases of JSD are introduced and illustrated by a small example system. The rationale for the approach is also discussed.
Index Terms:
Libraries,Films,Data models,Databases,Synchronization,Contracts,Program processors,systems analysis,Design methodology,system design
Citation:
John R. Cameron, "An overview of JSD," IEEE Transactions on Software Engineering, vol. 12, no. 2, pp. 222-240, Feb. 1986, doi:10.1109/TSE.1986.6312938
Usage of this product signifies your acceptance of the Terms of Use.