Although program faults are widely studied, there are many aspects of faults that we still do not understand, particularly about OO software. In addition to the simple fact that o...
Although a new class of languages has emerged to enable end users to create their own web applications, little is known about how end-user programmers actually use such languages ...
Christopher Bogart, Margaret M. Burnett, Allen Cyp...
The use of formal methods has been growing steadily and there have been a number of successful applications of formal methods in a range of application areas. It seems agreed that...
Protein domains are the building blocks of proteins, and their interactions are crucial in forming stable protein-protein interactions (PPI) and take part in many cellular processe...
The goal of breast cancer screening programs is to detect cancers at an early (preclinical) stage, by using periodic mammographic examinations in asymptomatic women. In evaluating ...
Marina Velikova, Peter J. F. Lucas, Nivea de Carva...