A formal specification constructing tool for SOFL

Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS

Volumn , Issue , 2005, Pages 12-13

  Xue, Xiang ^a  

^a SHANGHAI JIAO TONG UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; DATA PROCESSING; SPECIFICATIONS; USER INTERFACES;

DATA FLOW DIAGRAMS; FORMAL SPECIFICATION CONSTRUCTING TOOLS; SOFL; USER-FRIENDLY SOFTWARE TOOLS;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 27144482995     PISSN: 27708527     EISSN: 27708535     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (3)

1. S. Liu, Formal Engineering for Industrial Software Development, Springer, Berlin Germany, 2004.
2. S. Liu, "Formal Methods and Intelligent Software Engineering Environments", Information - An International Journal, Vol. 1, No.1, 1998, pp. 83-102.
3. M. Clarke, J.M. Wing et al, "Formal Methods: State of the Art and Future Directions", ACM Computing Surveys, 1996, 28(4), pp. 626-643.