research-article

Free access

Human-centered approach to static-analysis-driven developer tools

Author:

Ayman NadeemAuthors Info & Claims

Communications of the ACM, Volume 65, Issue 3

Pages 38 - 45

https://doi.org/10.1145/3486597

Published: 23 February 2022 Publication History

All formats PDF

Abstract

The future depends on good HCI.

References

[1]

Altmann, E.M. Near-term memory in programming: A simulation-based analysis. Intern. J. Human-Computer Studies 54, 2 (2002), 189--210; https://www.sciencedirect.com/science/article/abs/pii/S1071581900904075.

Google Scholar

[2]

Asay, M. Open source is not to blame for a lack of industry standards. TechRepublic, 2016; https://www.techrepublic.com/article/open-source-is-not-to-blame-for-a-lack-of-industry-standards/.

Google Scholar

[3]

Automatic Proof Search (Auto). Agda, 2017; https://agda.readthedocs.io/en/v2.5.3/tools/auto.html.

Google Scholar

[4]

Brandt, J., Guo, P.J., Lewenstein, J., Klemmer, S.R. Opportunistic programming: How rapid ideation and prototyping occur in practice. In Proceedings of the 4^th Intern. Workshop on End-user Softw. Engineering, 2008, 1--5

Digital Library

Google Scholar

[5]

Claburn, T. Accused murderer wins right to check source code of DNA testing kit used by police. The Register (Feb. 4, 2021); https://bit.ly/3GMEvMh/.

Google Scholar

[6]

Codd, E.F. A relational model of data for large shared data banks. Commun. ACM 13, 6 (June 1970), 377--387

Digital Library

Google Scholar

[7]

Czaplicki, E. Compiler errors for humans. Elm, 2015; https://elm-lang.org/news/compiler-errors-for-humans.

Google Scholar

[8]

Gardner, M. The fantastic combinations of John Conway's new solitaire game "life." Scientific American 223 (1970), 120--123; https://stanford.io/3fHRpzn.

Crossref

Google Scholar

[9]

Grove, A.S. High-Output Management, 2^nd edition. Vintage, 1995.

Google Scholar

[10]

Guo, P. Philip Guo---UC San Diego, 2020; https://pg.ucsd.edu/.

Google Scholar

[11]

Harel, D. Algorithmics: The Spirit of Computing. Addison-Wesley, 1987.

Crossref

Google Scholar

[12]

Henley, A.Z. Why is it so hard to see code from 5 minutes ago? Hacker News, 2021; https://web.eecs.utk.edu/~azh/blog/yestercode.html.

Google Scholar

[13]

International Organization for Standardization. ISO 9241-11:2018: Ergonomics of human-system interaction---Part 11: Usability: definitions and concepts; https://www.iso.org/standard/63500.html.

Google Scholar

[14]

Jacko, J.A., ed. Human--Computer Interaction Handbook, 3^rd edition. CRC Press, 2012.

Digital Library

Google Scholar

[15]

Karimi, H., Masoudi Alavi, N. Florence Nightingale: The mother of nursing. Nursing and Midwifery Studies 4, 2 (2015), e29475; https://bit.ly/3GLBHz8/.

Crossref

Google Scholar

[16]

Knuth, D.E. Literate programming. The Computer J. 27, 2 (1984), 97--111; https://academic.oup.com/comjnl/article/27/2/97/343244.

Digital Library

Google Scholar

[17]

Lamb, G. 2001. Improve your UI design process with object-oriented techniques. Microsoft Developer Network, Visual Basic Developer, 2001; https://bit.ly/3mZf2YL

Google Scholar

[18]

Lambdabot. Haskell, 2021; https://wiki.haskell.org/Lambdabot.

Google Scholar

[19]

Mark, G., Gonzalez, V. M., Harris, J. No task left behind? Examining the nature of fragmented work. In Proceedings of the SIGCHI Conf. Human Factors in Computing Systems, 2005, 321--330

Digital Library

Google Scholar

[20]

Mou, B. The structure of the Chinese language and ontological insights: a collective-noun hypothesis. Philosophy East and West 49, 1 (1999), 45--62; https://www.jstor.org/stable/1400116.

Crossref

Google Scholar

[21]

Naveh-Benjamin, M., Guez, J. Effects of divided attention on encoding and retrieval processes: assessment of attentional costs and a componential analysis. J. Experimental Psychology: Learning, Memory, and Cognition 26, 6 (2000), 1461--82; https://psycnet.apa.org/record/2000-12254-009.

Google Scholar

[22]

Nielsen, J. 10 usability heuristics for user interface design. Nielsen Norman Group, 1994; https://www.nngroup.com/articles/ten-usability-heuristics/.

Google Scholar

[23]

Norman, D. The Design of Everyday Things. Basic Books, New York, NY, 2013

Google Scholar

[24]

O'Conaill, B., Frohlich, D. Timespace in the workplace: Dealing with Interruptions. In Proceedings of Con. Companion on Human Factors in Computing Systems, 1995, 262--263

Digital Library

Google Scholar

[25]

Python Tutor. Visualize Code Execution; http://pythontutor.com/.

Google Scholar

[26]

Rust-analyzer; https://rust-analyzer.github.io/.

Google Scholar

[27]

Safety Research & Strategies Inc. Toyota unintended acceleration and the big bowl of "spaghetti" code (Nov. 7, 2013); https://bit.ly/31MDBQo.

Google Scholar

[28]

Sierra, K. Your app makes me fat. Serious Pony (July 24, 2013); https://bit.ly/33RZnTW.

Google Scholar

[29]

Weinschenk, S. The true cost of multi-tasking. Psychology Today (Sept. 18, 2012); https://www.psychologytoday.com/us/blog/brain-wise/201209/the-true-cost-multi-tasking.

Google Scholar

Cited By

View all

Yoo JMurphy G(2023)Breaking the Bento Box: Accelerating Visual Momentum in Data-flow Analysis2023 IEEE International Conference on Software Maintenance and Evolution (ICSME)10.1109/ICSME58846.2023.00038(306-316)Online publication date: 1-Oct-2023
https://doi.org/10.1109/ICSME58846.2023.00038
Адамович ИКлимов Ю(2022)Efficiency Investigation of BT-Object Based Partial Evaluation of Interpreters Written in the Java Object-Oriented LanguageProgram Systems: Theory and ApplicationsПрограммные системы: теория и приложения10.25209/2079-3316-2022-13-4-111-13713:4(111-137)Online publication date: 2022
https://doi.org/10.25209/2079-3316-2022-13-4-111-137
Calderón-Reyes JMuñoz-Bautista HAlvarez-Rodriguez FBarba-Gonzalez MCardona-Reyes H(2022)Data Science Based Methodology: Design Process of a Correlation Model Between EEG Signals and Brain Regions Mapping in AnxietyNew Perspectives in Software Engineering10.1007/978-3-031-20322-0_10(141-151)Online publication date: 30-Oct-2022
https://doi.org/10.1007/978-3-031-20322-0_10

Index Terms

Human-centered approach to static-analysis-driven developer tools
1. Human-centered computing
  1. Human computer interaction (HCI)
    1. HCI design and evaluation methods
      1. User models

Recommendations

Desirability of Imagined Futures: Human-Centered Design and Analysis
Design, User Experience, and Usability
Abstract
The future is known to be uncertain. Uncertainty is an inherent aspect of the future and impacts future predictions. Designers often require analyzing current situations to identify complexities, deficiencies, pain points etc., to gain empathy and ...
Optimizing agile user-centred design
CHI EA '08: CHI '08 Extended Abstracts on Human Factors in Computing Systems
The goal of this workshop is to improve future Agile user centred design (UCD) experiences for User Experience (UX) practitioners (such as interaction designers, usability professionals, UI designers, etc.) by investigating best practices for Agile UCD. ...
Integrating a SCRUM-based process with human centred design: an experience from an action research study
CESI '17: Proceedings of the 5th International Workshop on Conducting Empirical Studies in Industry

Context: Agile software processes are more frequently being integrated with aspects of human centered design given the commonalities that the two approaches share, such as user involvement, importance attributed to testing and prototyping practices, ...

Comments

Information & Contributors

Information

Published In

Communications of the ACM Volume 65, Issue 3

March 2022

102 pages

ISSN:0001-0782

EISSN:1557-7317

DOI:10.1145/3522546

Editor:
Andrew A. Chien
Association for Computing Machinery, New York, NY

Issue’s Table of Contents

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 23 February 2022

Published in CACM Volume 65, Issue 3

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Research-article
Popular
Refereed

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
9,039
Total Downloads

Downloads (Last 12 months)489
Downloads (Last 6 weeks)62

Reflects downloads up to 13 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Yoo JMurphy G(2023)Breaking the Bento Box: Accelerating Visual Momentum in Data-flow Analysis2023 IEEE International Conference on Software Maintenance and Evolution (ICSME)10.1109/ICSME58846.2023.00038(306-316)Online publication date: 1-Oct-2023
https://doi.org/10.1109/ICSME58846.2023.00038
Адамович ИКлимов Ю(2022)Efficiency Investigation of BT-Object Based Partial Evaluation of Interpreters Written in the Java Object-Oriented LanguageProgram Systems: Theory and ApplicationsПрограммные системы: теория и приложения10.25209/2079-3316-2022-13-4-111-13713:4(111-137)Online publication date: 2022
https://doi.org/10.25209/2079-3316-2022-13-4-111-137
Calderón-Reyes JMuñoz-Bautista HAlvarez-Rodriguez FBarba-Gonzalez MCardona-Reyes H(2022)Data Science Based Methodology: Design Process of a Correlation Model Between EEG Signals and Brain Regions Mapping in AnxietyNew Perspectives in Software Engineering10.1007/978-3-031-20322-0_10(141-151)Online publication date: 30-Oct-2022
https://doi.org/10.1007/978-3-031-20322-0_10

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Digital Edition

View this article in digital edition.

Digital Edition

Magazine Site

View this article on the magazine site (external)

Magazine Site

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

References

Cited By

Index Terms

Recommendations

Desirability of Imagined Futures: Human-Centered Design and Analysis

Optimizing agile user-centred design

Integrating a SCRUM-based process with human centred design: an experience from an action research study

Comments

Information

Published In

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Digital Edition

Magazine Site

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations