A toolkit for automated support of Ada tasking analysis

Publisher Website

7 January 2003

conference paper
Published by Institute of Electrical and Electronics Engineers (IEEE)

https://doi.org/10.1109/icdcs.1989.37993

Abstract

No abstract available

Keywords

This publication has 10 references indexed in Scilit:

Toward automating analysis support for developers of distributed software
Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
Detection of Ada static deadlocks using Petri net invariants
IEEE Transactions on Software Engineering, 1989
A petri net framework for automated static analysis of Ada tasking behavior
Journal of Systems and Software, 1988
Towards complexity metrics for Ada tasking
IEEE Transactions on Software Engineering, 1988
Introduction to Distributed-Software Engineering
Computer, 1987
Interactive State-Space Analysis of Concurrent Systems
IEEE Transactions on Software Engineering, 1987
Describing and analyzing distributed software system designs
ACM Transactions on Programming Languages and Systems, 1985
Debugging Ada Tasking Programs
IEEE Software, 1985
A method of sharing industrial software complexity data
ACM SIGPLAN Notices, 1985
A general-purpose algorithm for analyzing concurrent programs
Communications of the ACM, 1983