6171 search results - page 114 / 1235 » The FrameNet Data and Software |
SEMCO
2009
IEEE
14 years 2 months ago
2009
IEEE
— In this paper we present an automated support for software model evolution using a formal language constructs. For this, we extended Object Constraint Language (OCL) with actio...
IEEEICCI
2005
IEEE
14 years 1 months ago
2005
IEEE
We want to design a suitable computer for the efficient execution of the software now being developed that will display human-like cognitive abilities. Examples of these potential...
SEKE
2004
Springer
14 years 1 months ago
2004
Springer
One of the challenging research problems in validating a software engineering methodology (SEM), and a part of its validation process, is to answer “How to fairly collect, presen...
ISSRE
2003
IEEE
14 years 1 months ago
2003
IEEE
Partition testing is a well-known software testing technique. This paper shows that partition testing strategies are relatively ineffective in detecting faults related to small sh...
ICCSA
2003
Springer
14 years 1 months ago
2003
Springer
—Recently, Bayesian probabilistic models have been used for predicting software development effort. One of the reasons for the interest in the use of Bayesian probabilistic model...