A framework for dynamic program analyzers
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Ada/X Window system bindings: conversion strategies
TRI-Ada '93 Proceedings of the conference on TRI-Ada '93
A display and analysis tool for process-resource graphs
ACM SIGOPS Operating Systems Review
Towards a hierarchical design and integration of programming projects
SIGCSE '98 Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education
Helping the automated validation process of user interfaces systems
Proceedings of the 20th international conference on Software engineering
Instrumental interaction: an interaction model for designing post-WIMP user interfaces
Proceedings of the SIGCHI conference on Human Factors in Computing Systems
A debugger and assertion checker for the Awk programming language
SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
Socrates: an environment for high performance computing
WET-ICE '95 Proceedings of the 4th Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET-ICE'95)
Navigating large networks with hierarchies
VIS '93 Proceedings of the 4th conference on Visualization '93
Aristotle: a system for development of program analysis based tools
ACM-SE 33 Proceedings of the 33rd annual on Southeast regional conference
Better widget design: a practitioner's approach
UNIX'94 Proceedings of the USENIX Applications Development Symposium Proceedings on USENIX Applications Development Symposium Proceedings
A generic library for GUI reasoning and testing
Proceedings of the 2009 ACM symposium on Applied Computing
The user interface as document: SGML and distributed applications
Computer Standards & Interfaces
DSVIS'06 Proceedings of the 13th international conference on Interactive systems: Design, specification, and verification
Hi-index | 0.00 |