Modelling Jackson's programming method
作者： F. Vivarès
DOI: 10.1016/0167-6423(93)90013-F
关键词: Formal semantics (linguistics) 、 Programming method 、 Formal development 、 Program structure 、 Programming language 、 Artificial intelligence 、 Formal specification 、 Collision 、 Computer science
摘要: Abstract The aim of this paper is to present a modelling scheme for programming methods and illustrate it on Jackson's method. We first give formal semantics the objects method we model basic strategy matching trees in order build program structure. In next section study how support development, its automatization, building specification within scope our model. Then an example developed. last addresses alternative strategies suggested by solve clash problems, where fails. Boundary ordering situations are presented their modelled.
elsevier.com
sci-hub.se 参考文章(14)
Michael Jackson, Structure-Oriented Programming Program Transformation and Programming Environments. pp. 181- 198 ,(1984) , 10.1007/978-3-642-46490-4_17
Jacques Cazin, René Jacquart, Michel Lemoine, P. Michel, P. Maurice, Method Driven Programming. ifip congress. pp. 351- 356 ,(1989)
Dines Bjørner, Towards a Meaning of 'M' in VDM: Specification Methodology Aspects of the Vienna Development Method (Invited Tutorial) TAPSOFT '89 Proceedings of the International Joint Conference on Theory and Practice of Software Development, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Issues in Programming Languages. pp. 1- 35 ,(1989) , 10.1007/3-540-50940-2_25
M. Sintzoff, Understanding and Expressing Software Construction Program Transformation and Programming Environments. pp. 169- 180 ,(1984) , 10.1007/978-3-642-46490-4_16
Jayadev Misra, A Foundation of Parallel Programming Constructive Methods in Computing Science. pp. 397- 445 ,(1989) , 10.1007/978-3-642-74884-4_12
N. D. Birrell, M. A. Ould, A practical handbook for software development ,(1985)
John R. Cameron, Jsp and Jsd: The Jackson Approach to Software Development ,(1989)
Abraham Ginzburg, Algebraic theory of automata ,(1968)
J.A. Brzozowski, E. Leiss, On equations for regular languages, finite automata, and sequential networks☆ Theoretical Computer Science. ,vol. 10, pp. 19- 35 ,(1980) , 10.1016/0304-3975(80)90069-9
J. W. Hughes, A formalization and explication of the Michael Jackson method of program design Software - Practice and Experience. ,vol. 9, pp. 191- 202 ,(1979) , 10.1002/SPE.4380090304