2384 search results - page 388 / 477 » Analyzing Requirements Engineering Processes: A Case Study |
139
click to vote
BIRTHDAY
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
130
Voted
SOQUA
2004
15 years 5 months ago
2004
: As more third-party software components are available in the commercial market, more people begin to use the component-based software engineering approach to developing component...
127
click to vote
ISCAPDCS
2003
15 years 5 months ago
2003
This paper discusses the use of “relative debugging” as a technique for locating errors in a program that has been ported or developed using evolutionary software engineering ...
111
click to vote
KER
2008
15 years 3 months ago
2008
We study the case of integrating situational reasoning into a mobile service recommendation system. Since mobile Internet services are rapidly proliferating, finding and using appr...
173
Voted
ISOLA
2010
Springer
15 years 2 months ago
2010
Springer
Latest results of statistical learning theory have provided techniques such us pattern analysis and relational learning, which help in modeling system behavior, e.g. the semantics ...