18898 search results - page 24 / 3780 » The Making of a Software Engineer |
AGILEDC
2003
IEEE
14 years 2 days ago
2003
IEEE
In this experience report, a programmer at a medium-sized software company explains his tactics for bottom-up organizational change. The tactics are accompanied by personal recoll...
ICSEA
2006
IEEE
14 years 24 days ago
2006
IEEE
— In today software industry defect tracking tools either help to improve an organization’s software development process or an individual’s software development process. No d...
POPL
2011
ACM
12 years 9 months ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...
AIM
1999
13 years 6 months ago
1999
The problem of learning is arguably at the very core of the problem of intelligence, both biological and artificial. In this paper we review our work over the last ten years in th...
CSMR
2003
IEEE
14 years 1 days ago
2003
IEEE
In this paper we present a proposal for a novel approach to facilitating transparent interoperability among reverse engineering tools. We characterize the architectural and operat...