Sciweavers

10379 search results - page 142 / 2076
» The Chaos of Software Development
Sort
View
QSIC
2006
IEEE
14 years 3 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
MEMOCODE
2006
IEEE
14 years 3 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...
AGILEDC
2004
IEEE
14 years 1 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
EUROMICRO
2004
IEEE
14 years 1 months ago
A Service Model for Component-Based Development
The promise of component-based development
John Hutchinson, Gerald Kotonya, Ian Sommerville, ...
EWSA
2004
Springer
14 years 3 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