The article presents information on the results of a contest in which teams of software programmers attempted to create a web-based system in 30 hours, using a computer program language platform such as Java, Perl or ...
详细信息
The article presents information on the results of a contest in which teams of software programmers attempted to create a web-based system in 30 hours, using a computer program language platform such as Java, Perl or PHP. Their results were then evaluated in terms such as functionality, source code size, security and robustness. Information on the relative performance of the teams and platforms is presented, and some of the strengths and weaknesses of each programming platform language are analyzed.
The article discusses the number of personnel needed to test the usability of software products. The authors discusses different methods of usability evaluation, including think aloud (TA), in which the reactions of t...
详细信息
The article discusses the number of personnel needed to test the usability of software products. The authors discusses different methods of usability evaluation, including think aloud (TA), in which the reactions of test users to products are recorded in a laboratory, heuristic evaluation (HE), in which test users evaluate user interfaces based on established usability principles, and cognitive walkthrough (CW), in which the steps for the performance of a task are examined for usability problems. The use of meta-analysis and regression analysis to determine sample sizes for usability studies is discussed.
Motivation: The challenges of successfully applying causal inference methods include: (i) satisfying underlying assumptions, (ii) limitations in data/models accommodated by the software and (iii) low power of common m...
详细信息
Motivation: The challenges of successfully applying causal inference methods include: (i) satisfying underlying assumptions, (ii) limitations in data/models accommodated by the software and (iii) low power of common multiple testing approaches. Results: The causal inference test (CIT) is based on hypothesis testing rather than estimation, allowing the testable assumptions to be evaluated in the determination of statistical significance. A user-friendly software package provides P-values and optionally permutation-based FDR estimates (q-values) for potential mediators. It can handle single and multiple binary and continuous instrumental variables, binary or continuous outcome variables and adjustment covariates. Also, the permutation-based FDR option provides a non-parametric implementation. Conclusion: Simulation studies demonstrate the validity of the cit package and show a substantial advantage of permutation-based FDR over other common multiple testing strategies. Availability and implementation: The cit open-source R package is freely available from the CRAN website (https://***/web/packages/cit/***) with embedded C__code that utilizes the GNU Scientific Library, also freely available (http://***/software/gsl/).
The author presents his views on the use of axioms for computer programming. He reflects on the ways in which the field has changed, on the occasion of the 40th anniversary of his first published paper on the subject....
详细信息
The author presents his views on the use of axioms for computer programming. He reflects on the ways in which the field has changed, on the occasion of the 40th anniversary of his first published paper on the subject. He notes some of the ways in which software verification using axioms can help to guard against malware, and observes that softwaretesting is typically more of a test of the programmer than a test of the code.
暂无评论