349 search results - page 4 / 70 » An Integration Framework for Open Tool Environments |
IUI
1993
ACM
13 years 11 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...
SDE
1991
13 years 11 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...
CADE
2000
Springer
14 years 2 days 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...
GCC
2003
Springer
14 years 28 days 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...
JUCS
2010
13 years 2 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...