615 search results - page 111 / 123 » The Amulet User Interface Development Environment |
COMPSAC
1995
IEEE
13 years 11 months ago
1995
IEEE
Software development environments are examples of complex computer applications characterized by heterogeneity; they are composed of diverse information repositories, user interfa...
CORR
2004
Springer
13 years 7 months ago
2004
Springer
Hybrid systems are characterized by the hybrid evolution of their state: A part of the state changes discretely, the other part changes continuously over time. Typically, modern c...
WECWIS
2007
IEEE
14 years 1 months ago
2007
IEEE
Market players that can respond to critical business events faster than their competitors will end up as winners in the fast moving economy. Event-based systems have been develope...
IPPS
1999
IEEE
13 years 12 months ago
1999
IEEE
Abstract. Conventional performance environments are based on pro ling and event instrumentation. It becomes problematic as parallel systems scale to hundreds of nodes and beyond. A...
ICSE
1999
IEEE-ACM
13 years 12 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...