1483 search results - page 246 / 297 » Integrated Modeling of Business Value and Software Processes |
173
click to vote
ICSEA
2007
IEEE
15 years 11 months ago
2007
IEEE
Test case generation is an expensive, tedious, and errorprone process in software testing. In this paper, test case generation is accomplished using an Extended Finite State Machi...
164
click to vote
FMCO
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
145
click to vote
ENTCS
2006
15 years 5 months ago
2006
With the growing importance of model-driven development, the ability of transforming models into well-defined semantic domains becomes a key to automated code generation or verifi...
147
click to vote
SIGMETRICS
1998
ACM
15 years 9 months ago
1998
ACM
This paper reports on a set of experiments that measure the amount of CPU processing needed to decode MPEGcompressed video in software. These experiments were designed to discover...
150
click to vote
QOSA
2007
Springer
15 years 11 months ago
2007
Springer
Component-based development helps to improve the modularity and reusability of embedded systems. Component models devised for embedded systems are typically restricted due to the l...