Sciweavers

413 search results - page 47 / 83
» It outsourcing maturity model
Sort
View
CORR
2011
Springer
200views Education» more  CORR 2011»
13 years 3 months ago
Validation Measures in CMMI
—Validation is one of the software engineering disciplines that help build quality into software. The major objective of software validation process is to determine that the soft...
Mahmoud Khraiwesh
SIAMFM
2011
72views more  SIAMFM 2011»
12 years 11 months ago
Robust Hedging of Double Touch Barrier Options
We consider model-free pricing of digital options, which pay out if the underlying asset has crossed both upper and lower barriers. We make only weak assumptions about the underly...
A. M. G. Cox, Jan Obloj
CAISE
2006
Springer
14 years 7 days ago
Describing Interoperability: the OoI Ontology
Abstract. Though ontologies are widely used to solve some specific interoperability problems, there is no specific ontology defining what interoperability actually is, independentl...
Yannick Naudet, Thibaud Latour, Kevin Hausmann, Sv...
WER
2001
Springer
14 years 28 days ago
Automatic Derivation of Workflow Specifications from Organizational Structures and Use Cases
Workflow technology has reached a reasonable degree of maturity, with a number of both research prototypes and commercial systems available. However, methodological issues have rec...
María del Carmen Penadés, José...
FM
2003
Springer
104views Formal Methods» more  FM 2003»
14 years 1 months ago
Proving the Shalls
Incomplete, inaccurate, ambiguous, and volatile requirements have plagued the software industry since its inception. The convergence of model-based development and formal methods o...
Steven P. Miller, Alan C. Tribble, Mats Per Erik H...