The Trillium user interface design environment
CHI '86 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Transformations on a formal specification of user-computer interfaces
ACM SIGGRAPH Computer Graphics
MIKE: the menu interaction kontrol environment
ACM Transactions on Graphics (TOG) - Special issue on user interface software
History, state and future of user interface management systems
ACM SIGCHI Bulletin
Foundations for the Arcadia environment architecture
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Pgraphite: an experiment in persistent typed object management
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
LIZA: an extensible groupware toolkit
CHI '89 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Chisel: a system for creating highly interactive screen layouts
UIST '89 Proceedings of the 2nd annual ACM SIGGRAPH symposium on User interface software and technology
A presentation manager based on application semantics
UIST '89 Proceedings of the 2nd annual ACM SIGGRAPH symposium on User interface software and technology
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Language constructs for managing change in process-centered environments
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
XView programming manual: an open look toolkit for X11
XView programming manual: an open look toolkit for X11
Abstract data types and software validation
Communications of the ACM
User-Interface Tools: Introduction and Survey
IEEE Software
Software Environment Architectures and User Interface Facilities
IEEE Transactions on Software Engineering
INCENSE: A system for displaying data structures
SIGGRAPH '83 Proceedings of the 10th annual conference on Computer graphics and interactive techniques
Structural Testing of Concurrent Programs
IEEE Transactions on Software Engineering
Reconciling environment integration and software evolution
ACM Transactions on Software Engineering and Methodology (TOSEM)
Software evolution through iterative prototyping
ICSE '92 Proceedings of the 14th international conference on Software engineering
The Proteus presentation system
SDE 5 Proceedings of the fifth ACM SIGSOFT symposium on Software development environments
SDE 5 Proceedings of the fifth ACM SIGSOFT symposium on Software development environments
HyperRef: online support for research literature assessment and documentation
SIGDOC '93 Proceedings of the 11th annual international conference on Systems documentation
TAOS: Testing with Analysis and Oracle Support
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Workshop summary: user interface
SETA2 Proceedings of the second international symposium on Environments and tools for Ada
Exploiting style in architectural design environments
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
A concurrency analysis tool suite for Ada programs: rationale, design, and preliminary experience
ACM Transactions on Software Engineering and Methodology (TOSEM)
Graph models for reachability analysis of concurrent programs
ACM Transactions on Software Engineering and Methodology (TOSEM)
Multilanguage interoperability in distributed systems
Proceedings of the 18th international conference on Software engineering
A comprehensive process model for studying software process papers
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Using the observer design pattern for implementation of data flow analyses
Proceedings of the 2002 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Towards scalable compositional analysis by refactoring design models
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Flow analysis for verifying properties of concurrent software systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning
Proceedings of the 2006 international symposium on Software testing and analysis
Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning
ACM Transactions on Software Engineering and Methodology (TOSEM)
Learning to divide and conquer: applying the L* algorithm to automate assume-guarantee reasoning
Formal Methods in System Design
SPIN'05 Proceedings of the 12th international conference on Model Checking Software
Hi-index | 0.00 |