Semi-automatic transformation from formal specifications to programs

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

Volumn , Issue , 1996, Pages 506-513

  Liu, Shaoying ^a   Ho Stuart, Chris ^a  

^a HIROSHIMA CITY UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; AUTOMATION; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SYSTEMS PROGRAMMING; FORMAL LANGUAGES; KNOWLEDGE BASED SYSTEMS;

AUTOMATIC TRANSFORMATION; VIENNA DEVELOPMENT METHOD (VDM);

PROGRAM TRANSLATORS;

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

References (16)