2274 search results - page 26 / 455 » Qualitative Modeling for Requirements Engineering |
149
click to vote
SLOGICA
2011
14 years 4 months ago
2011
The paper contains a survey of (mainly unpublished) adaptive logics of inductive generalization. These defeasible logics are precise formulations of certain methods. Some attentio...
112
click to vote
CVPR
2008
IEEE
15 years 11 months ago
2008
IEEE
Graphical models such as Bayesian Networks (BNs) are being increasingly applied to various computer vision problems. One bottleneck in using BN is that learning the BN model param...
RE
2008
Springer
14 years 8 months ago
2008
Springer
Requirements models are essential not just during system implementation, but also to manage system changes post-implementation. Such models should be supported by a requirements m...
ITRUST
2005
Springer
15 years 3 months ago
2005
Springer
ST-Tool is a graphical tool integrating an agent-oriented requirements engineering methodology with tools for the formal analysis of models. Essentially, the tool allows designers ...
ASM
2010
ASM
15 years 6 months ago
2010
ASM
Abstract. The aim of this paper is to gradually introduce formalism in the requirement engineering phase in order to facilitate its validation. We analyze and elicit our requiremen...