Validating a Demonstration Tool for Graphics-Assisted Debugging of Ada Concurrent Programs
暂无分享,去创建一个
[1] Wayne C. Gramlich. Debugging methodology: session summary , 1983 .
[2] Steven M. German,et al. Monitoring for deadlocks in Ada tasking , 1982, AdaTEC '82.
[3] Claude Mauger,et al. An event-driven debugger for Ada , 1985 .
[4] Grady Booch,et al. Software engineering with Ada , 1983 .
[5] Boris Beizer,et al. Software System Testing and Quality Assurance , 1984 .
[6] Robert Sedgewick,et al. Techniques for Algorithm Animation , 1985, IEEE Software.
[7] Steven M. German. Monitoring for Deadlock and Blocking in Ada Tasking , 1984, IEEE Transactions on Software Engineering.
[8] Robert L. Sedlmeyer,et al. Knowledge-based fault localization in debugging: preliminary draft , 1983 .
[9] Melinda Lee Moran. A graphical debugger for concurrent ada programs , 1985 .
[10] Stefano Ceri,et al. Execution monitoring and debugging tool for Ada using relational algebra , 1985 .
[11] John D. Johnson,et al. Implementation issues for a source level symbolic debugger , 1983 .
[12] Edwin H. Satterthwaite,et al. Source Language Debugging Tools , 1975, Outstanding Dissertations in the Computer Sciences.
[13] C. M. Woodside,et al. An overview and example of application of CAEDE: a new, experimental design environment for Ada , 1985 .
[14] Robert L. Sedlmeyer,et al. Knowledge-based fault localization in debugging , 1983, J. Syst. Softw..
[15] Monika Müllerburg. The role of debugging within software engineering environments , 1983, ACM SIGPLAN Notices.
[16] Alan Burns. Concurrent programming in Ada , 1985 .
[17] A. BuhrR.J.,et al. An overview and example of application of CAEDE , 1985 .
[18] Nelson H. Weiderman,et al. An animated instructional model for Ada tasking , 1985, WADAS '85.
[19] Mark Sherman,et al. View-3 and Ada: tools for building systems with many tasks , 1984, WADAS '84.