1419 search results - page 125 / 284 » Notes on Formalizing Context |
134
click to vote
AGP
1995
IEEE
15 years 6 months ago
1995
IEEE
The main difficulty in the formalization of a static analysis framework for CC programs is probably related to the correct approximation of the entailment relation between constrai...
128
click to vote
FIW
2007
15 years 4 months ago
2007
Feature interaction detection in the context of systems that are highly integrated into their environment, such as embedded or software-intensive systems, is different from classi...
131
click to vote
WICSA
2008
15 years 4 months ago
2008
Software patterns are generic solutions to recurring problems. They are represented as a triplet (problem, context, solution). Several kinds of software patterns were identified, ...
155
click to vote
AAAI
1994
15 years 4 months ago
1994
Although creativity has largely been studied in problem solving contexts, creativity consists of both a generative component and a comprehension component. In particular, creativi...
123
click to vote
REFSQ
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. [Context and motivation] Ever-growing systems’ complexity and novel requirements engineering approaches such as reuse or globalization imply that requirements are produ...