2419 search results - page 264 / 484 » A Formal Approach to Software Testing |
150
click to vote
PROMISE
2010
14 years 11 months ago
2010
Background: The relation between software effort and size has been modeled in literature as exponential, in the sense that the natural logarithm of effort is expressed as a linear...
206
click to vote
BMCBI
2004
15 years 4 months ago
2004
Background: Intrinsic fluctuations due to the stochastic nature of biochemical reactions can have large effects on the response of biochemical networks. This is particularly true ...
137
click to vote
AO
2007
15 years 4 months ago
2007
This work introduces a formal framework for the social acquisition of ontologies which are constructed dynamically from overhearing the possibly conflicting symbolic interaction o...
170
click to vote
SCSC
2007
15 years 5 months ago
2007
Abstract— Graphical variant modeling refers to a novel approach to object-oriented modeling whereby a class overrides behavior inherited from a parent class by specifying variati...
189
click to vote
ECMDAFA
2008
Springer
15 years 6 months ago
2008
Springer
Model driven development suggests to make models the main artifact in software development. To get executable models in most cases code generation to a "traditional" prog...