3282 search results - page 208 / 657 » Rapid Application Development Using Software Factories |
169
click to vote
DATE
2005
IEEE
16 years 5 days ago
2005
IEEE
Accurate timing analysis is key to efficient embedded system synthesis and integration. While industrial control software systems are developed using graphical models, such as Ma...
148
click to vote
IUI
2000
ACM
15 years 11 months ago
2000
ACM
Our central claim is that user interactions with everyday productivity applications (e.g., word processors, Web browsers, etc.) provide rich contextual information that can be lev...
160
click to vote
APSEC
1998
IEEE
15 years 10 months ago
1998
IEEE
When implementing an application system in a distributed computing environment, several architectural questions arise such as, how and where computing resources are distributed, a...
155
click to vote
SIGADA
1999
Springer
15 years 10 months ago
1999
Springer
The personal computer hardware marketplace has grown rapidly in recent years. Many software projects, as a cost-cutting measure, are buying “off-the-self” items to meet their ...
177
click to vote
SIGSOFT
1996
ACM
15 years 10 months ago
1996
ACM
In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...