3176 search results - page 158 / 636 » Strategic product development |
172
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Software development is rarely an individual effort and generally involves teams of developers collaborating to generate good reliable code. Among the software code there exist te...
197
click to vote
COMPSAC
2010
IEEE
15 years 3 months ago
2010
IEEE
Researchers in the field of software engineering economics have associated team factors, such as team size and team experience, with productivity and quality. Since distributed and...
202
click to vote
ICFP
2006
ACM
16 years 6 months ago
2006
ACM
I report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checkable proof of full correctness. The verifier is able to prove me...
165
Voted
APSEC
2006
IEEE
16 years 10 days ago
2006
IEEE
Essential activities for the achievement of trouble-free software development are monitoring a software product and management of a software project. Monitoring changes that have ...
160
click to vote
EUROMICRO
2005
IEEE
15 years 12 months ago
2005
IEEE
In multi-disciplinary development, where various domain specific tools are used by developers to specify and analyse a system, efficient system development requires that the model...