789 search results - page 74 / 158 » Measurement Programs in Software Development: Determinants o... |
167
Voted
PLDI
2011
ACM
14 years 6 months ago
2011
ACM
Software modifications are often systematic—they consist of similar, but not identical, program changes to multiple contexts. Existing tools for systematic program transformati...
134
Voted
ECSA
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Knowledge management plays an important role in the software architecting process. Recently, this role has become more apparent by a paradigm shift that views a software ...
122
Voted
SIGADA
2005
Springer
15 years 9 months ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
172
click to vote
ECRTS
2005
IEEE
15 years 9 months ago
2005
IEEE
The number of embedded computers used in modern cars have increased dramatically during the last years, as they provide increased functionality to a reduced cost compared to previ...
143
Voted
APBC
2003
15 years 5 months ago
2003
The development of high-throughput genome sequencing and protein structure determination techniques have provided researchers with a wealth of biological data. Integrated analysis...