320 search results - page 30 / 64 » End-User Software Engineering Position Paper |
ICECCS
2002
IEEE
14 years 17 days ago
2002
IEEE
This paper describes the application of the Test Automation Framework on the Mars Polar Lander (MPL) software. The premature shutdown of the descent engine on the MPL spacecraft i...
FOSSACS
2004
Springer
14 years 1 months ago
2004
Springer
We show that in perfect-information stochastic parity games with a finite state space both players have optimal pure positional strategies. Contrary to the recent proofs of this f...
AGILEDC
2007
IEEE
14 years 1 months ago
2007
IEEE
Agile methodologies represent a ‘people’ centered approach to delivering software. This paper investigates the social processes that contribute to their success. Qualitative g...
SIGSOFT
2009
ACM
14 years 8 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...
HICSS
2009
IEEE
14 years 2 months ago
2009
IEEE
The craft of software understanding and verification can benefit from technologies that enable evolution toward a true engineering discipline. In current practice, software develo...