6978 search results - page 329 / 1396 » Reframing Requirements Analysis |
188
click to vote
JSS
2010
15 years 5 months ago
2010
There is a general consensus on the importance of good Requirements Engineering (RE) for achieving high quality software. The modeling and analysis of requirements have been the m...
153
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
Procedures for Boolean satis ability most commonly work with Conjunctive Normal Form. Powerful SAT techniques based on implications and con icts can be retained when the usual CNF...
141
Voted
AIME
2003
Springer
15 years 12 months ago
2003
Springer
Health promotion is a complex activity that requires both explanation and persuasion skills. This paper proposes a three-layered model of dialogue coding, based on a rhetorical arg...
148
click to vote
CIVR
2006
Springer
15 years 10 months ago
2006
Springer
This paper deals with the problem of estimating the effort required to maintain a static pose by human beings. The problem is important in developing effective pose classification ...
172
click to vote
ZEUS
2010
15 years 8 months ago
2010
Control-flow analysis of business process models requires to check the absence of lack of synchronization. We use workflow graphs, which may contain inclusive OR gateways, to repre...