1760 search results - page 195 / 352 » The Focus of Requirements Engineering in Workflow Applicatio... |
132
click to vote
COMPSAC
2009
IEEE
15 years 10 months ago
2009
IEEE
Non-terminating programs are programs that legally perform unbounded computations. Though they are ubiquitous in real-world applications, testing these programs requires new theor...
153
click to vote
SIGSOFT
2008
ACM
16 years 6 months ago
2008
ACM
Synthesis of system configurations from a given set of features is an important and very challenging problem. This paper makes a step towards this goal by describing an efficient ...
174
click to vote
ASE
2002
15 years 5 months ago
2002
The cost of maintaining a software system over a long period of time far exceeds its initial development cost. Much of the maintenance cost is attributed to the time required by ne...
157
click to vote
TOOLS
1999
IEEE
15 years 10 months ago
1999
IEEE
Object-oriented frameworks are an established tool for domain-specific reuse. Many framework design patterns and development processes have been documented, typically reverse engin...
196
click to vote
ICSE
2004
IEEE-ACM
16 years 6 months ago
2004
IEEE-ACM
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...