5180 search results - page 233 / 1036 » Requirements Engineering |
115
click to vote
SIGADA
2005
Springer
15 years 11 months ago
2005
Springer
In this paper, we will consider two aspects of UML in order to assess how well suited it is for modeling SPARK systems. The first aspect is the ability to represent SPARK in UML f...
128
click to vote
SIGSOFT
2009
ACM
16 years 6 months ago
2009
ACM
Initial system specifications, such as use-case scenarios and properties, only partially specify the future system. We posit that synthesizing partial component-level behavior mod...
142
click to vote
CAISE
2010
Springer
15 years 4 months ago
2010
Springer
Search computing is a novel discipline whose goal is to answer complex, multi-domain queries. Such queries typically require combining in their results domain knowledge extracted ...
199
click to vote
SEAFOOD
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. As the volumes of software development increase and the cost reduction is required, most Japanese IT companies are interested in offshore software outsourcing. Although a...
156
click to vote
EEE
2005
IEEE
15 years 11 months ago
2005
IEEE
Generic web search is designed to serve all users, independent of the individual needs and without any adaptation to personal requirements. We propose a novel technique1 that perf...