Title: An explicit formulation for an algortihm and for procedure lenght for the JSP method for structured procedure design
Authors: Bertrand, B ×
Dedene, Guido
Snoeck, Monique
Verhelst, Maurice
Issue Date: 2000
Publisher: K.U.Leuven - Departement toegepaste economische wetenschappen
Series Title: DTEW Research Report 0008 pages:1-88
Abstract: The JSP technique was introduced in 1975 by Michael Jackson[6], primarily as a structured design technique for input-process-output type of problems. Although this design technique was developed in the context of structured programming, it has still a value for contemporary software technology, such as to design structured methods in object-oriented class descriptions. This paper presents an explicit formalised description of the basic JSP design technique. In particular, the notion of sound correspondences between input and output structure elements is precisely defined. Next the paper proposes an explicit algorithm for designing JSP structures from sound correspondences, and discusses under what conditions the proposed algorithm is applicable. The final section demonstrates a fundamental result on the relation between the length of the procedure and the correspondences between input and output structure elements, which motives why the basic JSP technique leads to optimised procedures.
Publication status: published
KU Leuven publication type: IR
Appears in Collections:Research Center for Management Informatics (LIRIS), Leuven
× corresponding author

Files in This Item:
File Status SizeFormat
OR_0008.pdf Published 1502KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.