328 search results - page 23 / 66 » Requirements Inheritance in Continuous Requirements Engineer... |
113
Voted
ICCAD
1999
IEEE
15 years 3 months ago
1999
IEEE
In this paper we present new methods for fast justification and propagation in the implication graph (IG) which is the core data structure of our SAT based implication engine. As ...
COMPSAC
2010
IEEE
14 years 8 months ago
2010
IEEE
This paper proposes MISSA, a novel middleware to facilitate the development and provision of stream-based services in emerging pervasive environments. The streambased services util...
73
Voted
ICFEM
2007
Springer
15 years 5 months ago
2007
Springer
Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we sh...
ETELEMED
2009
IEEE
15 years 2 months ago
2009
IEEE
- As scientific achievements in the area of Healthcare have increased during the last decade, inevitably there has been an increase of treatment quality. One of the challenges to b...
ISORC
2009
IEEE
15 years 5 months ago
2009
IEEE
While the demand for high-integrity applications continues to rise, industrial developers seek cost effective development strategies that are capable of delivering the required gu...