Sciweavers

10274 search results - page 88 / 2055
» Lean Software Development
Sort
View
123
Voted
CADE
2010
Springer
15 years 3 months ago
Bugs, Moles and Skeletons: Symbolic Reasoning for Software Development
Abstract. Symbolic reasoning is in the core of many software development tools such as: bug-finders, test-case generators, and verifiers. Of renewed interest is the use of symbolic...
Leonardo Mendonça de Moura, Nikolaj Bj&osla...
ICSE
2003
IEEE-ACM
16 years 2 months ago
Toward an Understanding of the Motivation of Open Source Software Developers
An Open Source Software (OSS) project is unlikely to be successful unless there is an accompanied community that provides the platform for developers and users to collaborate. Mem...
Yunwen Ye, Kouichi Kishida
109
Voted
WIKIS
2009
ACM
15 years 9 months ago
Incremental knowledge acquisition in software development using a weakly-typed Wiki
Software development is a knowledge-intensive activity and frequently implies a progressive crystallization of knowledge, towards programming language statements. Although wikis h...
Filipe Figueiredo Correia, Hugo Sereno Ferreira, N...
ECBS
2005
IEEE
103views Hardware» more  ECBS 2005»
15 years 8 months ago
Improving the System/Software Engineering Interface for Complex System Development
At the 2004 Engineering of Computer Based Systems (ECBS) Technical Committee meeting, the ECBS Executive Committee agreed that a guideline on Integrated System and Software Engine...
Stephanie M. White
COMPSAC
1999
IEEE
15 years 7 months ago
A Framework for Top-Down Cost Estimation of Software Development
The Function Point Method, estimation by analogy, and algorithmic modeling are three of the most commonly applied methods used to estimate the costs and worker hours neededfor a s...
Tsuneo Yamaura, Tohru Kikuno