Title :
Distributed cooperative formal methods tools
Author :
Goguen, Joseph ; Lin, Kai ; Mori, Akira ; Rosu, Grigore ; Sato, Akiyoshi
Author_Institution :
Dept. of Comput. Sci. & Eng., California Univ., San Diego, La Jolla, CA, USA
Abstract :
This paper describes some tools to support formal methods, and conversely some formal methods for developing such tools. We focus on distributed cooperative proving over the web. Our tools include a proof editor/assistant, servers for remote proof execution, a distributed truth protocol, an editor generator; and a new method for interface design called algebraic semiotics, which combines semiotics with algebraic specification. Some examples are given
Keywords :
algebraic specification; explanation; algebraic semiotics; algebraic specification; distributed cooperative formal methods tools; distributed cooperative proving; distributed truth protocol; editor generator; interface design; proof editor; remote proof execution; Computer industry; Computer science; Data structures; Design methodology; Drives; Internet; Java; Maintenance engineering; Protocols; Software tools;
Conference_Titel :
Automated Software Engineering, 1997. Proceedings., 12th IEEE International Conference
Conference_Location :
Incline Village, NV
Print_ISBN :
0-8186-7961-1
DOI :
10.1109/ASE.1997.632824
