Overview of CAFE specification environment - an algebraic approach for creating, verifying, and maintaining formal specifications over networks

Proceedings of the International Conference on Formal Engineering Methods, ICFEM

Volumn , Issue , 1997, Pages 170-181

  Futatsugi, Kokichi ^a   Nakagawa, Ataru ^a  

^a JAPAN ADVANCED INSTITUTE OF SCIENCE AND TECHNOLOGY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER NETWORKS; FORMAL LOGIC; OBJECT ORIENTED PROGRAMMING;

FORMAL SPECIFICATION DOCUMENT ON NETWORK (FORSDONNET) LANGUAGE;

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

EID: 0031384225     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (0)