5182 search results - page 98 / 1037 » COTS-Based Requirements Engineering |
120
Voted
CSMR
2006
IEEE
15 years 11 months ago
2006
IEEE
It is known that well over 50% of replacement projects fail. Requirements gathering go someway to contributing to this statistic; if the requirements we gather for the new system ...
142
Voted
SOSE
2006
IEEE
15 years 11 months ago
2006
IEEE
In this paper, we introduce a simple but formal service description language (ForSeL) for modelbased requirements engineering. The basic notion in ForSeL is a service representing...
155
click to vote
WCRE
2006
IEEE
15 years 11 months ago
2006
IEEE
Requirements views, such as coverage and status views, are an important asset for monitoring and managing software development. We have developed a method that automates the proce...
129
click to vote
CSMR
2005
IEEE
15 years 10 months ago
2005
IEEE
In complex systems, it is difficult to identify which system element is involved in which requirement. In this article, we present a new approach for expressing and validating a ...
153
Voted
ISSTA
1998
ACM
15 years 8 months ago
1998
ACM
We present various techniques for improving the time and space efficiency of symbolic model checking for system requirements specified as synchronous finite state machines. We use...