ADA: Concurrent Programming
Software system testing and quality assurance
Software system testing and quality assurance
System design with Ada
Software engineering with Ada
Concurrent programming in Ada
Execution monitoring and debugging tool for Ada using relational algebra
SIGAda '85 Proceedings of the 1985 annual ACM SIGAda international conference on Ada
An event-driven debugger for Ada
SIGAda '85 Proceedings of the 1985 annual ACM SIGAda international conference on Ada
An overview and example of application of CAEDE: a new, experimental design environment for Ada
SIGAda '85 Proceedings of the 1985 annual ACM SIGAda international conference on Ada
An animated instructional model for Ada tasking
WADAS '85 Proceedings of the second annual Washington Ada symposium on Ada: Ada in the mainstream: applications and education
View-3 and Ada: tools for building systems with many tasks
WADAS '84 Proceedings of the 1st annual Washington Ada symposium on Ada acquisition management: both sides of the coin
The Psychology of Human-Computer Interaction
The Psychology of Human-Computer Interaction
Debugging methodology (Session Summary)
SIGSOFT '83 Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging
Knowledge-based fault localization in debugging (Preliminary Draft)
SIGSOFT '83 Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging
The role of debugging within software engineering environments
SIGSOFT '83 Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging
A graphical debugger for concurrent ada programs
A graphical debugger for concurrent ada programs
Implementation issues for a source level symbolic debugger
SIGSOFT '83 Proceedings of the symposium on High-level debugging
Vestal: a tool for teaching concurrency in Ada
TRI-Ada '91 Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations
A controlled experiment with software for teaching Ada tasking
TRI-Ada '93 Proceedings of the conference on TRI-Ada '93
An instructed tool for cache coherence protocols
ACM SIGCSE Bulletin
Task dependence and termination in Ada
ACM Transactions on Software Engineering and Methodology (TOSEM)
SMALL-Ada: personal computer courseware for studying concurrent programming
SIGCSE '90 Proceedings of the twenty-first SIGCSE technical symposium on Computer science education
GW-Ada/Ed: free Ada 83 development environments for IBM PC-compatible and Apple Macintosh computers
Proceedings of the conference on TRI-Ada '95: Ada's role in global markets: solutions for a changing complex world
Hi-index | 0.00 |
A demonstration-quality graphics-assisted debugger is developed for intertask communication in Ada. Based on the static task-specification diagrams of G. Booch, the debugger animates the activity of a collection of communicating tasks, and it runs on a DEC GIGI terminal connected to a VAX 11-780 under TeleSoft's partial Ada compiler. The model has been subjected to empirical validation, using undergraduate students as experimental subjects. Subjects were required to debug erroneous tasking programs using both the graphical debugger and a textual one. It is concluded that although the problems to be addressed in the development and evaluation of a graphical debugging tool for Ada tasks are nontrivial, the benefits could be worth the effort.