2274 search results - page 178 / 455 » Qualitative Modeling for Requirements Engineering |
162
Voted
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...
166
Voted
SCAM
2006
IEEE
16 years 1 months 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...
200
Voted
DKE
2007
15 years 7 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/...
200
Voted
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 ...
201
Voted
RE
1999
Springer
15 years 11 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, ...