Modelling Jackson's programming method (Q1261491)

A modeling scheme for programming methods is presented. The main idea is to represent the structure of sequential programs by structured diagrams which are Jackson's trees based on basic data. Thus program structures are modeled with triangular systems on rational expressions. Their properties are then studied. More precisely, it is shown how to support a formal development, how to automatize the entire thing, and how to build a formal specification within the scope of a concrete model. The model mainly concerns the building of a program satisfying a specification. Muchmore, it is shown how to adopt the development to the given problem, specifically in clash situations where particular transformations are given.