349 search results - page 4 / 70 » An Integration Framework for Open Tool Environments |
122
click to vote
IUI
1993
ACM
15 years 8 months ago
1993
ACM
We describe MASTERMIND, a step toward our vision of a knowledge-based design-time and run-time environment where human-computer interfaces development is centered around an all-en...
126
click to vote
SDE
1991
15 years 7 months ago
1991
There is an urgent need to provide a sound generic framework for method and tool integration, where many differing notations are used, software development is distributed and mana...
135
click to vote
CADE
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-sc...
133
click to vote
GCC
2003
Springer
15 years 9 months ago
2003
Springer
Tool integration has been an important research area for many years after software engineering became a key player in information industry. With the Internet establishing ubiquitou...
163
click to vote
JUCS
2010
14 years 11 months ago
2010
: There is a need for more rigorous analysis techniques that developers can use for verifying the critical properties in UML models. The UML-based Specification Environment (USE) t...