Programming in pictures: a way toward reliable software

摘要

Programming in pictures is an approach where pictures and moving pictures are used as an algorithmic alphabet to represent algorithms. Super-characters of this alphabet are used to represent algorithmic steps (called Algorithmic Cy-berFrames) which are assembled into special series to represent algorithmic features. A number of the series is assembled into an Algorithmic CyberFilm. The filmi-fication of methods has been applied to a large variety of algorithms to test expressive features of the pictures for representing computation. In addition, cognitive aspects of programming in pictures and embedded clarity annotations supporting the approach and visual inspections by other people have also been analyzed. In this paper we focus on features of the algorithmic picture language and the filmification modeling environment which can be used for automatic and/or interactive checking of application model correctness. An overview of different sources of information about the same features of the application model is considered and concrete examples of automatic checking are provided.