2748 search results - page 421 / 550 » Generating Object-Z Specifications from Use Cases |
138
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Software development is rarely an individual effort and generally involves teams of developers collaborating to generate good reliable code. Among the software code there exist te...
120
click to vote
ENTCS
2007
15 years 3 months ago
2007
d Abstract) Brian Aydemir Aaron Bohannon Stephanie Weirich Department of Computer and Information Science University of Pennsylvania Philadelphia, PA, USA We explore an axiomatize...
117
click to vote
IEE
2002
15 years 3 months ago
2002
This paper discusses a potential methodological problem with empirical studies assessing project effort prediction systems. Frequently a hold-out strategy is deployed so that the ...
116
click to vote
APJOR
2010
15 years 2 months ago
2010
This paper provides a fast and accurate randomization algorithm for valuing American puts and calls on dividend-paying stocks and their early exercise boundaries. The primal focus...
169
click to vote
NIPS
2004
15 years 5 months ago
2004
It has been demonstrated that basic aspects of human visual motion perception are qualitatively consistent with a Bayesian estimation framework, where the prior probability distri...