3176 search results - page 263 / 636 » Strategic product development |
196
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper develops a local reasoning method to check lineartime temporal properties of concurrent programs. In practice, it is often infeasible to model check over the p...
143
click to vote
AAAI
2004
15 years 8 months ago
2004
Since 1994 GE Plastics has employed a case-based reasoning tool that determines color formulas which match requested colors. This tool, called FormTool, has saved GE millions of d...
147
click to vote
DAIS
1997
15 years 8 months ago
1997
Tool environments supporting the development of complex products need to be open and flexible. These requirements cannot be fulfilled in an adequate way by predefined coordinat...
141
click to vote
SSR
1997
15 years 8 months ago
1997
Frameworks are an object-oriented reuse technique that are widely used in industry but not discussed much by the software engineering research community. They are a way of reusing...
152
click to vote
IEPOL
2006
15 years 6 months ago
2006
This paper develops a simple model of software piracy to analyze the short-run effects of piracy on software usage and the long-run effects on development incentives. We consider ...