Distributed cooperative formal methods tools

被引：4
|
作者：
Goguen, J
Lin, K
Mori, A
Rosu, G
Sato, A
机构：
来源：
AUTOMATED SOFTWARE ENGINEERING, 12TH IEEE INTERNATIONAL CONFERENCE, PROCEEDINGS | 1997年
关键词：
D O I：
10.1109/ASE.1997.632824
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
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.
引用
收藏
页码：55 / 62
页数：4
相关论文
共 50 条
12345