1782 search results - page 91 / 357 » Tool Support for Proof Engineering |
150
click to vote
AAAI
1996
15 years 7 months ago
1996
GTE Laboratories, in cooperation with GTE Mobilnet, has developed and deployed PERFFEX (PERFormance Expert), an intelligent system for performance and configuration management of ...
134
click to vote
UIST
1991
ACM
15 years 9 months ago
1991
ACM
User interface support software, such as UI toolkits, UIMSs, and interface builders, are currently too complex for undergraduates. Tools typically require a learning period of sev...
163
click to vote
ECLIPSE
2005
ACM
15 years 7 months ago
2005
ACM
In the Eclipse JDT, the Java reference resolution rules are applied as fully as possible, thereby either determining the unique target for a given reference or signalling that the...
225
click to vote
OOPSLA
2009
Springer
16 years 4 days ago
2009
Springer
Model evolution is often supported by writing model transformation rules in specialized languages. This presents challenges to those who are unfamiliar with model transformation l...
166
click to vote
ECLIPSE
2004
ACM
15 years 11 months ago
2004
ACM
This paper describes our effort on developing educational materials on model checking to help foster the adoption of software model checking. We describe the course materials tha...