Modeling the ADA task system by Petri nets
Computer Languages
Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Metrics for Ada packages: an initial study
Communications of the ACM
A Petri net framework for automated analysis of Ada tasking behavior
Journal of Systems and Software
Detection of Ada Static Deadlocks Using Petri Net Invariants
IEEE Transactions on Software Engineering
TAME: tailoring an Ada Measurement Environment
WADAS '87 Proceedings of the Joint Ada conference fifth national conference on Ada technology and fourth Washington Ada Symposium
A graphical notation for describing executions of concurrent Ada programs
ACM SIGAda Ada Letters
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Elements of Software Science (Operating and programming systems series)
Elements of Software Science (Operating and programming systems series)
Program Complexity and Programming Style
Proceedings of the First International Conference on Data Engineering
Computer-aided analysis of concurrent systems
Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification V
Software unit profiles & Kiviat figures
ACM SIGMETRICS Performance Evaluation Review
Metric-driven reengineering for static concurrency analysis
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
Static analysis for VHDL model evaluation
EURO-DAC '94 Proceedings of the conference on European design automation
VHDL quality: synthesizability, complexity and efficiency evaluation
EURO-DAC '95/EURO-VHDL '95 Proceedings of the conference on European design automation
A framework for the efficient Petri net simulation of real-time systems
ANSS '92 Proceedings of the 25th annual symposium on Simulation
WADAS '90 Proceedings of the seventh Washington Ada symposium on Ada
The Journal of Supercomputing
Design and Implementation of a Petri Net Based Toolkit for Ada Tasking Analysis
IEEE Transactions on Parallel and Distributed Systems
Measuring the Maintainability of a Communication Protocol Based on Its Formal Specification
IEEE Transactions on Software Engineering
Concurrent Program Metrics Drawn by Quasar
Ada-Europe '08 Proceedings of the 13th Ada-Europe international conference on Reliable Software Technologies
Software Complexity Analysis for Multitasking Systems Implemented in the Programming Language C
Proceedings of the 2005 conference on Software Engineering: Evolution and Emerging Technologies
Automated Construction of Reasonable Environment for Java Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
Using Ada as a representative distributed programming language, the author discusses some ideas on complexity metrics that focus on Ada tasking and rendezvous. Concurrently active rendezvous are claimed to be an important aspect of communication complexity. A Petri net graph model of Ada rendezvous is used to introduce a rendezvous graph, an abstraction that can be useful in viewing and computing effective communication complexity.