726 search results - page 95 / 146 » Formal Requirements Engineering: Learning from the Students |
ICML
1999
IEEE
15 years 4 months ago
1999
IEEE
Developing automated agents that intelligently perform complex real world tasks is time consuming and expensive. The most expensive part of developing these intelligent task perfo...
106
click to vote
JMLR
2006
14 years 11 months ago
2006
The task of learning models for many real-world problems requires incorporating domain knowledge into learning algorithms, to enable accurate learning from a realistic volume of t...
113
click to vote
RE
1999
Springer
15 years 4 months ago
1999
Springer
Requirements Engineering (RE) investigates the impact of a future-oriented change vision, but the move towards this vision must consider a context heavily shaped by the past. As R...
113
click to vote
FMCAD
2004
Springer
15 years 3 months ago
2004
Springer
This work presents a memory-efficient All-SAT engine which, given a propositional formula over sets of important and non-important variables, returns the set of all the assignments...
SEKE
1993
Springer
15 years 3 months ago
1993
Springer
1 To handle the complexity of modern software systems, a software comprehension strategy pointing out the al abstraction level is necessary. In this context, the role of technology...