| |
|
|
| |
| |
|
Date Reviewed |
|
| |
1 - 10 of 30
reviews
|
|
|
 |
|
|
|
|
Human-centered AI
Shneiderman B., Oxford University Press, Oxford, UK, 2022. 400 pp. Type: Book (978-1-928452-92-8)
Human-centered AI is a must-read for anyone in charge of designing a software system involving a significant artificial intelligence (AI) component. However, this book is not about how to implement an AI technique to solve a problem. It is ...
|
Jan 9 2023 |
|
|
|
|
|
|
 Artificial intelligence for a better future: an ecosystem perspective on the ethics of ai and emerging digital technologies
Stahl B., Springer, Switzerland, 2021. 124 pp. Type: Book (978-3-030699-77-2)
Ethics may save us from the possibly negative effects of artificial intelligence (AI). The author, Stahl, leads the SHERPA consortium, whose work is the basis of this book. Project Sherpa (https://www.project-sherpa.eu) stands for ”shaping t...
|
Dec 21 2021 |
|
|
|
|
|
|
Regulating artificial intelligence
Wischmeyer T., Rademacher T., Springer, New York, NY, 2020. 391 pp. Type: Book (978-3-030323-60-8)
As an emeritus professor of computer science, I found this book to be a very interesting introduction to a very relevant topic: the regulation of artificial intelligence (AI). In the preface, the authors note: “the belief tha...
|
Feb 18 2021 |
|
|
|
|
|
|
The future of music: towards a computational musical theory of everything
Mazzola G., Noer J., Pang Y., Yao S., Afrisando J., Rochester C., Neace W., Springer International Publishing, New York, NY, 2020. 257 pp. Type: Book (978-3-030397-08-1)
When I picked this book to review, I had expected a book about formal theories of music: notations, definitions, functions, relations, theorems, and so on. However, when I opened it, I found professional, academic musicians’ ...
|
Nov 23 2020 |
|
|
|
|
|
|
DeFlaker: automatically detecting flaky tests
Bell J., Legunsen O., Hilton M., Eloussi L., Yung T., Marinov D. ICSE 2018 (Proceedings of the 40th International Conference on Software Engineering, Gothenburg, Sweden, May 27-Jun 3, 2018) 433-444, 2018. Type: Proceedings
One of the final steps in producing a new version of a software tool is to make sure the old functionality was not lost when the new functionality was added. A common approach to this problem is regression testing, that is, running the...
|
May 20 2020 |
|
|
|
|
|
|
Estimating semantic relatedness in source code
Mahmoud A., Bradshaw G. ACM Transactions on Software Engineering and Methodology 25(1): 1-35, 2015. Type: Article
Analyzing existing source code to identify relationships between classes might be more accurate using the authors’ new method, normalized software distance, which is introduced, derived, and analyzed in this paper. Correctly ...
|
Mar 9 2016 |
|
|
|
|
|
|
QVM: an efficient runtime for detecting defects in deployed systems
Arnold M., Vechev M., Yahav E. ACM Transactions on Software Engineering and Methodology 21(1): 1-35, 2011. Type: Article
Identification of errors during runtime is an important complement to existing static and dynamic testing. Errors such as memory leaks, assertion violations, and object ownership issues in the heap can only be detected well during norm...
|
Apr 26 2012 |
|
|
|
|
|
|
On the role of the user in monitoring the environment in self-adaptive systems: a position paper
Whittle J., Simm W., Ferrario M. SEAMS 2010 (Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, Cape Town, South Africa, May 3-4, 2010) 69-74, 2010. Type: Proceedings
Adaptability in a self-adaptive system (SAS) is an important research topic. This paper considers three scenarios: a smart house with a mobile vacuum system that needs to plan coverage based on various types of obstacles, a Web site th...
|
Aug 16 2010 |
|
|
|
|
|
|
Verification of sequential and concurrent programs
Apt K., de Boer F., Olderog E., Springer Publishing Company, Incorporated, New York, NY, 2009. 502 pp. Type: Book (978-1-848827-44-8)
This is the third edition of a well-known text on formal verification of software programs. The major change from the second edition is the addition of proofs of object-oriented programs. The authors added three brand-new chapters and ...
|
Jun 10 2010 |
|
|
|
|
|
|
Verdict functions in testing with a fault domain or test hypotheses
Hierons R. ACM Transactions on Software Engineering and Methodology 18(4): 1-19, 2009. Type: Article
State-based testing is used when both the state of the system and the external outputs from the system are important to the notion of correctness. For example, if the system to be tested is a finite stack, it might be important to know...
|
Jan 4 2010 |
|
|
|
|
|
| |
|
|
| |
|
|
