The work described in this paper is an investigation of COTS-based software development within a particular NASA environment, with an emphasis on the processes used. Fifteen proje...
Maurizio Morisio, Carolyn B. Seaman, Amy T. Parra,...
We describe and explore a new perspective on the sample complexity of active learning. In many situations where it was generally believed that active learning does not help, we sh...
Maria-Florina Balcan, Steve Hanneke, Jennifer Wort...
This paper describes an approach to the formalization of existing criteria used in computer systems software testing and proposes a new Reinforced Condition/Decision Coverage (RC/D...
This paper describes the extension and evaluation of Hussey's pattern language for safety-critical user interface development [Hussey and Mahemoff, 1999]. The patterns were u...
Simon Connelly, Jay Burmeister, Anthony MacDonald,...
We develop a new formulation for including invariance in a general form of the Hough transform. We first develop a formal definition of the Hough transform mapping for arbitrary s...