3040 search results - page 81 / 608 » Synergetic Tool Environments |
OHS
2000
Springer
14 years 16 days ago
2000
Springer
Abstract. The Construct development environment is targeted at the construction of different types of hypermedia services. The primary goal of the environment is to ease the constr...
ICALT
2010
IEEE
13 years 10 months ago
2010
IEEE
Abstract--jEditOQMath is an authoring tool for the intelligent learning environment ActiveMath. Its editing interface is a simple source editor. However the wealth and power of the...
ECLIPSE
2007
ACM
14 years 27 days ago
2007
ACM
In Eclipse, and in most other development environments, refactorings are activated by selecting code, then using a menu or hotkey, and finally engaging in a dialog with a "wi...
ICSE
2010
IEEE-ACM
14 years 29 days ago
2010
IEEE-ACM
We present a development environment for automatically building smart, security-aware GUIs following a model-based approach. Our environment consists of a number of plugins that h...
CAV
2010
Springer
13 years 11 months ago
2010
Springer
Gist is a tool that (a) solves the qualitative analysis problem of turn-based probabilistic games with -regular objectives; and (b) synthesizes reasonable environment assumptions f...