2274 search results - page 178 / 455 » Qualitative Modeling for Requirements Engineering |
148
click to vote
SIGSOFT
2002
ACM
16 years 7 months ago
2002
ACM
Static checking can verify the absence of errors in a program, but often requires written annotations or specifications. As a result, static checking can be difficult to use effec...
149
click to vote
SCAM
2006
IEEE
16 years 13 days ago
2006
IEEE
Traditional program slicing requires two parameters: a program location and a variable, or perhaps a set of variables, of interest. Stop-list slicing adds a third parameter to the...
176
click to vote
DKE
2007
15 years 6 months ago
2007
A product model is a formal and structured definition of product information. The most common procedure for defining a product data model is to first describe the business and/...
175
click to vote
PERCOM
2005
ACM
16 years 6 months ago
2005
ACM
Pervasive computing applications must be engineered to provide unprecedented levels of flexibility in order to reconfigure and adapt in response to changes in computing resources ...
172
click to vote
RE
1999
Springer
15 years 10 months ago
1999
Springer
Requirements capture by scenarios and user interface prototyping have become popular techniques. Yet, the transition from scenarios to formal specifications is still ill-defined, ...