Sciweavers

509 search results - page 3 / 102
» A formal representation of functional size measurement metho...
Sort
View
ER
2006
Springer
127views Database» more  ER 2006»
13 years 9 months ago
Evaluating the Productivity and Reproducibility of a Measurement Procedure
This paper reports an empirical study that used computer science major students as experimental subjects to evaluate the productivity and the reproducibility of RmFFP. This is a fu...
Nelly Condori-Fernández, Oscar Pastor
KCAP
2009
ACM
14 years 1 months ago
Formally measuring agreement and disagreement in ontologies
Ontologies are conceptual models of particular domains, and domains can be modeled differently, representing different opinions, beliefs or perspectives. In other terms, ontolog...
Mathieu d'Aquin
COLING
2000
13 years 8 months ago
A Method of Measuring Term Representativeness - Baseline Method Using Co-occurrence Distribution
This paper introduces a scheme, which we call the baseline method, to define a measure of term representativeness and measures defined by using the scheme. The representativeness ...
Toru Hisamitsu, Yoshiki Niwa, Jun-ichi Tsujii
PROMISE
2010
13 years 2 months ago
The role of the measure of functional complexity in effort estimation
Background. Currently there are several definitions of measures that should represent the size of software functional requirements. These measures have gained a quite relevant rol...
Luigi Lavazza, Gabriela Robiolo
CAV
2009
Springer
181views Hardware» more  CAV 2009»
14 years 8 months ago
Size-Change Termination, Monotonicity Constraints and Ranking Functions
Abstract. Size-change termination involves deducing program termination based on the impossibility of infinite descent. To this end we may use m abstraction in which transitions ar...
Amir M. Ben-Amram