IEEE - Institute of Electrical and Electronics Engineers, Inc. - Developing a translator from C programs to data flow graphs using RAISE

Proceedings of 11th Annual Conference on Computer Assurance. COMPASS '96

Author(s): Haxthausen, A.E.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1996
Conference Location: Gaithersburg, MD, USA, USA
Conference Date: 17 June 1996
Page(s): 89 - 102
ISBN (Paper): 0-7803-3390-X
DOI: 10.1109/CMPASS.1996.507878
Regular:

Describes how a translator from a subset of C to data flow graphs has been formally developed using the RAISE (Rigorous Approach to Industrial Software Engineering) method and tools. In contrast... View More

Advertisement