Sciweavers

10379 search results - page 142 / 2076
» The Chaos of Software Development
Sort
View
123
Voted
QSIC
2006
IEEE
15 years 9 months ago
Software Project Level Estimation Model Framework based on Bayesian Belief Networks
Software estimation models should support managerial decision making in software projects. We experience that most of current models do not achieve this goal to the extend manager...
Hao Wang, Fei Peng, Chao Zhang, Andrej Pietschker
132
Voted
MEMOCODE
2006
IEEE
15 years 9 months ago
Mixed symbolic representations for model checking software programs
We present an efficient symbolic search algorithm for software model checking. The algorithm combines multiple symbolic representations to efficiently represent the transition r...
Zijiang Yang, Chao Wang, Aarti Gupta, Franjo Ivanc...
145
Voted
AGILEDC
2004
IEEE
15 years 7 months ago
Agile Methods Applied to Embedded Firmware Development
This paper describes the experience of applying Agile approaches to the development of firmware for the Intel
Bill Greene
138
Voted
EUROMICRO
2004
IEEE
15 years 7 months ago
A Service Model for Component-Based Development
The promise of component-based development
John Hutchinson, Gerald Kotonya, Ian Sommerville, ...
EWSA
2004
Springer
15 years 9 months ago
Maintainability through Architecture Development
Abstract. This position paper investigates on the need to put software architecture evaluations for maintainability in a broader perspective than is done until now.
Bas Graaf