tl;dr: Chill, y’all: AI Will Not Devour SE
Pages 303 - 315
Abstract
Social media provide a steady diet of dire warnings that artificial intelligence (AI) will make software engineering (SE) irrelevant or obsolete. To the contrary, the engineering discipline of software is rich and robust; it encompasses the full scope of software design, development, deployment, and practical use; and it has regularly assimilated radical new offerings from AI. Current AI innovations such as machine learning, large language models (LLMs) and generative AI will offer new opportunities to extend the models and methods of SE. They may automate some routine development processes, and they will bring new kinds of components and architectures. If we're fortunate they may force SE to rethink what we mean by correctness and reliability. They will not, however, render SE irrelevant.
References
[1]
Christopher Alexander. 1964. Notes on the Synthesis of Form. Harvard University Press.
[2]
David H. Autor. 2015. Why are there still so many jobs? The history and future of workplace automation. Journal of Economic Perspective 29, 3 (2015), 3–30.
[3]
Emery Berger and Ben Zorn. 2024. SIGPLAN PL Perspectives: AI Software Should be More Like Plain Old Software. https://blog.sigplan.org/2024/04/23/ai-software-should-be-more-like-plain-old-software/
[4]
Christian Bird, Denae Ford, Thomas Zimmermann, Nicole Forsgren, Eirini Kalliamvakou, Travis Lowdermilk, and Idan Gazit. 2023. Taking Flight with Copilot: Early insights and opportunities of AI-powered pair-programming tools. Queue 20, 6 (Jan 2023), 35–57. issn:1542-7730
[5]
Michael Christel and Kyo Kang. 1992. Issues in Requirements Elicitation. Technical Report CMU/SEI-92-TR-012. Carnegie Mellon University. https://insights.sei.cmu.edu/library/issues-in-requirements-elicitation/
[6]
James Coplien and Neil Harrison. 2004. Organizational Patterns of Agile Software Development. Pearson. isbn:978-0131467408
[7]
Matthias Cosler, Christopher Hahn, Daniel Mendoza, Frederik Schmitt, and Caroline Trippel. 2023. nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models. In Computer Aided Verification CAV. Springer Nature Switzerland, 383–396.
[8]
Bill Curtis. 1991/92. Insights from empirical studies of the software design process. Future Generation Computer Systems 7 (1991/92), 139–149.
[9]
dev.net. 2024. The state of the developer shortage in 2023. https://www.developers.net/post/the-state-of-the-developer-shortage-in-2023 Published April 23, 2024.
[10]
McKinsey Digital. 2023. Unleashing developer productivity with generative AI. https://www.mckinsey.com/capabilities/mckinsey-digital/our-insights/unleashing-developer-productivity-with-generative-ai
[11]
Yunfan Gao, Yun Xiong, Xinyu Gao, Kangxiang Jia, Jinliu Pan, Yuxi Bi, Yi Dai, Jiawei Sun, Meng Wang, and Haofen Wang. 2024. Retrieval-Augmented Generation for Large Language Models: A Survey. arxiv:2312.10997 [cs.CL] https://arxiv.org/abs/2312.10997
[12]
C. Gardner, K. Robinson, C. Smith, and A. Steiner. 2023. Contextualizing End-User Needs: How to Measure the Trustworthiness of an AI System. Carnegie Mellon University, Software Engineering Institute’s Insights (2023).
[13]
Gartner. 2022. Gartner forecasts worldwide low-code development technologies market to grow 20 https://www.gartner.com/en/newsroom/press-releases/2022-12-13-gartner-forecasts-worldwide-low-code-development-technologies-market-to-grow-20-percent-in-2023
[14]
Andrew D. Gordon, Thomas A. Henzinger, Aditya V. Nori, and Sriram K. Rajamani. 2014. Probabilistic programming. In Future of Software Engineering Proceedings (FOSE 2014). Association for Computing Machinery, 167–181. isbn:9781450328654
[15]
International Nuclear Safety Advisory Group. 1992. The Chernobyl Accident Updating of INSAG-1 : INSAG-7. International Atomic Energy Agency. isbn:9789201046925
[16]
Yanzhu Guo, Guokan Shang, Michalis Vazirgiannis, and Chloé Clavel. 2024. The Curious Decline of Linguistic Diversity: Training Language Models on Synthetic Text. arxiv:2311.09807 [cs.CL] https://arxiv.org/abs/2311.09807
[17]
Abram Hindle, Earl T. Barr, Zhendong Su, Mark Gabel, and Premkumar T. Devanbu. 2012. On the naturalness of software. In 34th International Conference on Software Engineering (ICSE). IEEE Computer Society, 837–847.
[18]
Adam Hughes. 2023. ChatGPT Will Replace Programmers Within 10 Years: Predicting The End of Manmade Software. https://levelup.gitconnected.com/chatgpt-will-replace-programmers-within-10-years-91e5b3bd3676
[19]
IBM. [n. d.]. What is low-code? https://www.ibm.com/topics/low-code Accessed 4/23/24.
[20]
Github Inc. 2024. Github CoPilot. https://github.com/features/copilot. Accessed 2024-07-27.
[21]
Juha Itkonen, Mika Mäntylä, and Casper Lassenius. 2013. The Role of the Tester’s Knowledge in Exploratory Software Testing. IEEE Trans. Software Eng. 39, 5 (2013), 707–724.
[22]
Michael Jackson. 1995. The World and the Machine. In International Conference on Software Engineering (ICSE).
[23]
Christian Kaestner. 2020. The World and the Machine and Responsible Machine Learning. https://ckaestne.medium.com/the-world-and-the-machine-and-responsible-machine-learning-1ae72353c5ae.
[24]
Christian Kästner, Eunsuk Kang, and Sven Apel. 2021. Feature Interactions on Steroids: On the Composition of ML Models. arXiv (2021). arxiv:2105.06449v1 [cs.SE]
[25]
Grace Kay. 2023. Software engineers are panicking about being replaced by AI. https://www.businessinsider.com/software-engineers-tech-panicking-golden-age-over-chatgpt-ai-blind-2023-4
[26]
Amruth N. Kumar, Rajendra K. Raj, Sherif G. Aly, Monica D. Anderson, Brett A. Becker, Richard L. Blumenthal, Eric Eaton, Susan L. Epstein, Michael Goldweber, Pankaj Jalote, Douglas Lea, Michael Oudshoorn, Marcelo Pias, Susan Reiser, Christian Servin, Rahul Simha, Titus Winters, and Qiao Xiang. 2024. Computer Science Curricula 2023. Association for Computing Machinery, New York, NY, USA. isbn:9798400710339
[27]
Nancy G. Leveson. 2011. Engineering a safer world: Systems thinking applied to safety. MIT Press Cambridge.
[28]
Dipeeka Luitel, Shabnam Hassani, and Mehrdad Sabetzadeh. 2023. Using Language Models for Enhancing the Completeness of Natural-Language Requirements. In International Working Conference on Requirements Engineering (REFSQ). Springer, 87–104.
[29]
Michael R. Lyu. 1996. Handbook of Software Reliability Engineering. IEEE Press and McGraw Hill. isbn:978-0070394001 http://www.cse.cuhk.edu.hk/~lyu/book/reliability/index.html
[30]
Guru Madhavan. 2024. Engineering our wicked problems. NAE Perspectives (Mar 2024). https://www.nationalacademies.org/news/2024/03/engineering-our-wicked-problems
[31]
Main Commission Aircraft Accident Investigation Warsaw. 1994. A320-211 Warsaw Accident Report. http://www.rvs.uni-bielefeld.de/publications/Incidents/DOCS/ComAndRep/Warsaw/warsaw-report.html.
[32]
John McCarthy. 1960. Recursive functions of symbolic expressions and their computation by machine, Part I. Commun. ACM 3, 4 (apr 1960), 184–195. issn:0001-0782
[33]
Joel Moses. 2012. Macsyma: A personal history. Journal of Symbolic Computation 47, 2 (2012), 123–130. issn:0747-7171
[34]
NASA. 2017. Pat Simpkins: Capturing Tacit Knowledge. https://appel.nasa.gov/knowledge-resource/pat-simpkins-capturing-tacit-knowledge.
[35]
National Institute of Standards and Technology. [n. d.]. Trustworthy and Responsible AI: Overview. https://www.nist.gov/trustworthy-and-responsible-ai Accessed April 25, 2024.
[36]
National Research Council. 2007. Software for Dependable Systems: Sufficient Evidence? National Academies Press. isbn:0309103940
[37]
Peter Naur and Brian Randell. 1969. Software Engineering: Report of a conference sponsored by the NATO Science Committee, Garmisch, Germany, 7-11 Oct. 1968, Brussels, Scientific Affairs Division, NATO.
[38]
A. Newell and J. C. Shaw. 1957. Programming the logic theory machine. In Papers Presented at the February 26-28, 1957, Western Joint Computer Conference: Techniques for Reliability (IRE-AIEE-ACM ’57 (Western)). Association for Computing Machinery, 230–240. isbn:9781450378611
[39]
A. Newell and H. Simon. 1956. The logic theory machine–A complex information processing system. IRE Transactions on Information Theory 2, 3 (1956), 61–79.
[40]
Kevin Okemwa. 2024. NVIDIA CEO says the future of coding as a career might already be dead in the water with the imminent prevalence of AI. Windows Central (02 2024). https://www.windowscentral.com/software-apps/nvidia-ceo-says-the-future-of-coding-as-a-career-might-already-be-dead
[41]
Cathy O’Neil. 2016. Weapons of Math Destruction. Crown Books.
[42]
Randy Pausch. 200x. This quote is widely attributed online to Edward Tufte, dated 2020. However, one of the authors heard it from Pausch before 2008.
[43]
Horst W. J. Rittel and Melvin M. Webber. 1973. Dilemmas in a General Theory of Planning. Policy Sciences 4 (1973), 155–169.
[44]
Sarah Santos, Travis Breaux, Thomas Norton, Sara Haghighi, and Sepideh Ghanavati. 2024. Requirements Satisfiability with In-Context Learning. In International Conference on Requirements Engineering (RE).
[45]
Christopher Scaffidi and Mary Shaw. 2007. Developing confidence in software through credentials and low-ceremony evidence. Presented at workshop, not in digital library. Online at NON-ARCHIVAL (accessed December 4, 2021).
[46]
Carl Shapiro and Hal R. Varian. 1999. Information Rules: A Strategic Guide to the Network Economy. Harvard Business Review Press. isbn:978-0875848631
[47]
Mary Shaw. 1980. The Impact of Abstraction Concerns on Modern Programming Languages. Proc. IEEE special issue on Software Engineering 68, 9 (1980), 1119–1130. (invited).
[48]
Mary Shaw. 1990. Prospects for an Engineering Discipline of Software. IEEE Software 7, 6 (November 1990), 15–24.
[49]
Mary Shaw. 1996. Truth vs Knowledge: the difference between what a component does and what we know it does. In Proceedings of the 8th International Workshop on Software Specification and Design (IWSSD).
[50]
Mary Shaw. 2005. Software Engineering for the 21st Century: A basis for rethinking the curriculum. Technical Report CMU-ISRI-05-108. Carnegie Mellon University, Institute for Software Research International. http://reports-archive.adm.cs.cmu.edu/anon/isri2005/CMU-ISRI-05-108.pdf
[51]
Mary Shaw. 2006. Strategies for Achieving Robustness in Coalitions of Systems. In NATO Workshop RTO IST-064, Building Robust Systems with Fallible Construction. https://www.sto.nato.int/publications/STO
[52]
Mary Shaw. 2020. Myths and Mythconceptions: What Does it Mean to be a Programming Language, Anyhow?. In HOPL IV, Fourth ACM SIGPLAN History of Programming Languages Conference (Proc. ACM Program. Lang., Vol. 4). 44.
[53]
Mary Shaw and Marian Petre. 2024. Design spaces and how software designers use them: a sampler. In Designing ’24: 2024 International Workshop on Designing Software Proceedings.
[54]
Mary Shaw and Liming Zhu. 2022. Can software engineering harness the benefits of advanced AI? IEEE Software (December 2022), 99–104.
[55]
Ilia Shumailov, Zakhar Shumaylov, Yiren Zhao, Yarin Gal, Nicolas Papernot, and Ross Anderson. 2024. The Curse of Recursion: Training on Generated Data Makes Models Forget. arxiv:2305.17493 [cs.LG] https://arxiv.org/abs/2305.17493
[56]
Herbert A. Simon. 1996. The Sciences of the Artificial. MIT Press. isbn:13:9780262691918
[57]
Stack Exchange Inc. 2024. Stackoverflow 2024 Developer Survey. https://survey.stackoverflow.co/2024.
[58]
The Register. March 28, 2024. AI bots hallucinate software packages and devs download them. https://www.theregister.com/2024/03/28/ai_bots_hallucinate_software_packages/.
[59]
Michele Tufano, Anisha Agarwal, Jinu Jang, Roshanak Zilouchian Moghaddam, and Neel Sundaresan. 2024. AutoDev: Automated AI-Driven Development. arxiv:2403.08299 [cs.SE] https://arxiv.org/abs/2403.08299
[60]
Laura Weidinger, John Mellor, Maribeth Rauh, Conor Griffin, Jonathan Uesato, Po-Sen Huang, Myra Cheng, Mia Glaese, Borja Balle, Atoosa Kasirzadeh, Zac Kenton, Sasha Brown, Will Hawkins, Tom Stepleton, Courtney Biles, Abeba Birhane, Julia Haas, Laura Rimell, Lisa Anne Hendricks, William Isaac, Sean Legassick, Geoffrey Irving, and Iason Gabriel. 2021. Ethical and social risks of harm from Language Models. arxiv:2112.04359 [cs.CL] https://arxiv.org/abs/2112.04359
[61]
Roy Weil. 2024. Personal communication.
[62]
Matt Welsh. 2023. The End of Programming: The end of classical computer science is coming, and most of us are dinosaurs waiting for the meteor to hit. Comm ACM 66, 1 (2023), 34–35.
[63]
Zhaofeng Wu, Linlu Qiu, Alexis Ross, Ekin Akyürek, Boyuan Chen, Bailin Wang, Najoung Kim, Jacob Andreas, and Yoon Kim. 2024. Reasoning or Reciting? Exploring the Capabilities and Limitations of Language Models Through Counterfactual Tasks. arxiv:2307.02477 [cs.CL] https://arxiv.org/abs/2307.02477
Index Terms
- tl;dr: Chill, y’all: AI Will Not Devour SE
Recommendations
Teaching software engineering principles using maintenance-based projects
CSEET '97: Proceedings of the 10th Conference on Software Engineering Education and TrainingWe describe a first undergraduate course in software engineering based on maintenance exercises. The approach has been successful in teaching important software engineering principles in a 10-week quarter to undergraduates inexperienced in these ...
Putting engineering into software engineering: Upholding software engineering principles in the classroom
Highlights- We integrate software testing within a broader context of specification, verification and testing.
AbstractEver since it emerged in the late (nineteen) sixties, the discipline of software engineering has set itself apart from other engineering disciplines in a number of ways, including: the pervasiveness of its products; the complexity of ...
Software engineering principles: a survey and an analysis
C3S2E '10: Proceedings of the Third C* Conference on Computer Science and Software EngineeringThis study presents a survey and an analysis of the literature on software engineering principles. The literature survey, covering a period of thirty years, has come up with 14 different papers and books, which have proposed a total of 313 distinct ...
Comments
Information & Contributors
Information
Published In
October 2024
315 pages
Copyright © 2024 Owner/Author.
This work is licensed under a Creative Commons Attribution International 4.0 License.
Sponsors
In-Cooperation
- SIGAda: SIGAda
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 17 October 2024
Check for updates
Author Tags
Qualifiers
- Research-article
Funding Sources
- National Science Foundation
Conference
Onward! '24
Sponsor:
Onward! '24: 2024 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software
October 23 - 25, 2024
CA, Pasadena, USA
Acceptance Rates
Overall Acceptance Rate 40 of 105 submissions, 38%
Upcoming Conference
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 11Total Downloads
- Downloads (Last 12 months)11
- Downloads (Last 6 weeks)11
Reflects downloads up to 19 Oct 2024
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in