Sixth Asia-Pacific Software Engineering Conference (APSEC'99)
A System Dependence Net Generator for Ada Programs
Takamatsu, Japan
December 07-December 10
ISBN: 0-7695-0509-0
An explicit representation of various dependence relationship in a program has many application in software engineering. System Dependence Net is a model to represent program dependences in a concurrent program which consists of multiple procedures. This paper presents how to generate System Dependence Net for Ada 95 programs automatically.
Index Terms:
Ada, program dependences, concurrency
Citation:
Yusuke Nonaka, Katsuhiko Hatano, Yoshinari Nomura, Jingde Cheng, Kazuo Ushijima, "A System Dependence Net Generator for Ada Programs," apsec, pp.441, Sixth Asia-Pacific Software Engineering Conference (APSEC'99), 1999