The Task Dependence Net in Ada software development
Jingde Cheng · ACM SIGAda Ada Letters · 1992
Recently, the author proposed two new types of basic program dependences in concurrent programs, named the synchronization dependence and the communication dependence, and a new program representation for concurrent Ada programs, named the Task Dependence Net (TDN), which extends the usual program dependence graph for sequential programs to the case of concurrent Ada programs. This article discusses some potential applications of the task dependence net in Ada software development activities including program understanding, testing, debugging, maintenance, and complexity measure/metrics.