2832 search results - page 273 / 567 » Flexible Modelling for Requirements Engineering |
214
click to vote
MOBIQUITOUS
2008
IEEE
16 years 1 months ago
2008
IEEE
A fundamental requirement for autonomic computing is to be able to automatically infer how human users react in similar contextual conditions. This paper examines the problem of a...
179
click to vote
TASE
2007
IEEE
16 years 26 days ago
2007
IEEE
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (or...
130
click to vote
COMPSAC
2005
IEEE
16 years 7 days ago
2005
IEEE
Communication middleware such as MuniCluster provides highlevel communication mechanisms for networked applications through hiding the low-level communication details from the app...
156
Voted
IWPC
2002
IEEE
15 years 11 months ago
2002
IEEE
While code understanding is the primary program comprehension activity, it is quite challenging to recognize the application requirements from code, since they have usually been o...
136
Voted
ICSE
2001
IEEE-ACM
15 years 11 months ago
2001
IEEE-ACM
Despite the advantages that object technology can provide to the software development community and its customers, the fundamental problems associated with identifying objects, th...