Sciweavers

789 search results - page 21 / 158
» Measurement Programs in Software Development: Determinants o...
Sort
View
SIGPLAN
2002
13 years 7 months ago
A rule-based language for programming software updates
We describe the design of a rule-based language for expressing changes to Haskell programs in a systematic and reliable way. The update language essentially offers update commands...
Martin Erwig, Deling Ren
JUCS
2006
109views more  JUCS 2006»
13 years 7 months ago
Verifying Real-Time Properties of tccp Programs
: The size and complexity of software systems are continuously increasing, which makes them difficult and labor-intensive to develop, test and evolve. Since concurrent systems are ...
María Alpuente, María-del-Mar Gallar...
PEPM
1993
ACM
13 years 11 months ago
Binding-Time Analysis and the Taming of C Pointers
The aim of binding-time analysis is to determine when variables, expressions, statements, etc. in a program can be evaluated by classifying these into static (compile-time) and dy...
Lars Ole Andersen
PROMISE
2010
13 years 2 months ago
Programmer-based fault prediction
Background: Previous research has provided evidence that a combination of static code metrics and software history metrics can be used to predict with surprising success which fil...
Thomas J. Ostrand, Elaine J. Weyuker, Robert M. Be...
HICSS
2005
IEEE
124views Biometrics» more  HICSS 2005»
14 years 1 months ago
Establishing and Structuring Criteria for Measuring Knowledge Management Efforts
Establishing criteria for knowledge management is an imperative aspect of management as it helps determine results. Our research indicated that widely-accepted criteria and perfor...
Vittal S. Anantatmula, Shivraj Kanungo