Sciweavers

1559 search results - page 67 / 312
» Software needs engineering: a position paper
Sort
View
ICECCS
2002
IEEE
91views Hardware» more  ICECCS 2002»
14 years 1 months ago
Mars Polar Lander Fault Identification Using Model-based Testing
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...
Mark R. Blackburn, Robert Busser, Aaron Nauman, Ro...
IUI
2010
ACM
14 years 5 months ago
Towards intelligent motion inferencing in mathematical sketching
We present a new approach for creating dynamic illustrations to assist in the understanding of concepts in physics and mathematics using pen-based interaction. Our approach builds...
Salman Cheema, Joseph J. LaViola Jr.
FOSSACS
2004
Springer
14 years 2 months ago
Perfect-Information Stochastic Parity Games
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...
Wieslaw Zielonka
SEAFOOD
2007
Springer
14 years 2 months ago
The Value of Outsourced Software
Outsourcing of work to support software development and services is seen primarily as a transfer of labor to another shore. But intellectual property, as software, is transferred a...
Gio Wiederhold, Amar Gupta, Rajat Mittal, Erich J....
EUROMICRO
2003
IEEE
14 years 2 months ago
Drivers and inhibitors to the development of a software component industry
The idea of component based software systems has a long tradition in the field of software engineering. Component markets have been an integral part of this idea. However, such ma...
Heiko Hahn, Klaus Turowski