5252 search results - page 390 / 1051 » Requirements engineering: a roadmap |
216
click to vote
APSEC
1999
IEEE
15 years 12 months ago
1999
IEEE
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
156
click to vote
COMPSAC
1999
IEEE
15 years 12 months ago
1999
IEEE
The Function Point Method, estimation by analogy, and algorithmic modeling are three of the most commonly applied methods used to estimate the costs and worker hours neededfor a s...
170
click to vote
EUROMICRO
1999
IEEE
15 years 12 months ago
1999
IEEE
This paper describes the DELFT-JAVA processor and the mechanisms required to dynamically translate JVM instructions into DELFT-JAVA instructions. Using a form of hardware register...
209
click to vote
EUROMICRO
1999
IEEE
15 years 12 months ago
1999
IEEE
This paper addresses the problem of component selection, task assignment and task scheduling for distributed embedded computer systems. Such systems have a large number of constra...
189
click to vote
UIST
1999
ACM
15 years 12 months ago
1999
ACM
Diagram manipulation in conventional CAD systems requires frequent mode switching and explicit placement of the pivot for rotation and scaling. In order to simplify this process, ...