| Double-Click and Drag-and-Drop in Visual Programming Environment for CafeOBJ | |||||||||||||||||
Abstract | |||||||||||||||||
| : This paper describes a visual programming environment for an algebraic specification language where program editing and execution are shown visually. By expressing a program visually, programming becomes more intuitive and easier. We have developed the visual programming system CafePie for the algebraic specification language CafeOBJ. In CafePie, program editing and execution are all performed in one window. All operations of the program editing are handled in a uniform manner. Programming examples of CafeOBJ on our system CafePie are also given in the paper. Keywords: Visual Programming System, Specification Languages, Human Interface Introduction Algebraic Specification Languages (ASL) are specification languages which express the models of the real world using elements such as sorts, operators and equations. We assume specifications written in ASL as programs. They are executable. The execution of the languages are performed by term rewriting. There are many researches which car... | |||||||||||||||||
Publication details | |||||||||||||||||
| |||||||||||||||||