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 CyberFrames) which are assembled into special series to represent algorithmic features. A number of the series is assembled into an Algorithmic CyberFilm. The filmification 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.
IOS Press, Inc.
6751 Tepper Drive
Clifton, VA 20124
Tel.: +1 703 830 6300
Fax: +1 703 830 2300 firstname.lastname@example.org
(Corporate matters and books only) IOS Press c/o Accucoms US, Inc.
For North America Sales and Customer Service
West Point Commons
Lansdale PA 19446
Tel.: +1 866 855 8967
Fax: +1 215 660 5042 email@example.com