Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
Gustafson, David
Kansas State University
Manhattan, Kansas
   Reviewer Selected
Follow this Reviewer
Date Reviewed  
- 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 ( 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  
Display per column
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2023 ThinkLoud®
Terms of Use
| Privacy Policy