The Silent Scientist: When Software Research Fails to Reach Its Audience.

Συγγραφείς: Wyrich, Marvin¹ (AUTHOR) wyrich@cs.uni-saarland.de, Tinnes, Christof^1,2 (AUTHOR) christof.tinnes@siemens.com, Baltes, Sebastian³ (AUTHOR) sebastian.baltes@uni-bayreuth.de, Apel, Sven¹ (AUTHOR) apel@cs.uni-saarland.de

Πηγή: Communications of the ACM. Nov2025, Vol. 68 Issue 11, p24-27. 4p.

Θεματικοί όροι: *STAKEHOLDERS, COMPUTER software research, RELEVANCE, RESEARCH personnel, SCIENTIFIC communication, ADOPTION of ideas

Fifty Years of Open Source Software Supply-Chain Security.

Συγγραφείς: Cox, Russ¹ (AUTHOR) rsc@golang.org

Πηγή: Communications of the ACM. Oct2025, Vol. 68 Issue 10, p88-95. 8p.

Θεματικοί όροι: *OPEN source software, *COMPUTER security vulnerabilities, COMPUTER software security, KERNEL operating systems

Εταιρία/Οντότητα: HONEYWELL International Inc. 139691877

It's the Specification, Stupid!

Συγγραφείς: Broy, Manfred¹ (AUTHOR) broy@in.tum.de, Ruess, Harald^2,3 (AUTHOR) harald.ruess@entalus.com, Shankar, Natarajan⁴ (AUTHOR) shankar@csl.sri.com

Πηγή: Communications of the ACM. Dec2025, Vol. 68 Issue 12, p22-24. 3p.

Θεματικοί όροι: *COMPUTER software development, *COMPUTER software quality control, *PROGRAMMING languages, SOFTWARE verification, LANGUAGE models

Practical software engineering for software-writing scientists.

Συγγραφείς: Peláez, Raúl P.¹ raulppelaez@gmail.com

Πηγή: Journal of Chemical Physics. 11/7/2025, Vol. 163 Issue 17, p1-15. 15p.

Θεματικοί όροι: *SOFTWARE engineering, *COMPUTER software development, *SOFTWARE maintenance, *SIMULATION methods & models, *SCIENTIFIC software

Abinit 2025: New capabilities for the predictive modeling of solids and nanomaterials.

Συγγραφείς: Verstraete, Matthieu J.^1,2,3 matthieu.verstraete@uliege.be, Abreu, Joao¹, Allemand, Guillaume E.^1,3, Amadon, Bernard^4,5, Antonius, Gabriel⁶, Azizi, Maryam^3,7, Baguet, Lucas^4,5, Barat, Clémentine^4,5, Bastogne, Louis⁸, Béjaud, Romuald^4,5, Beuken, Jean-Michel⁷, Bieder, Jordan⁸, Blanchet, Augustin^4,5, Bottin, Francois^4,5, Bouchet, Johann⁹, Bouquiaux, Julien^7,10, Bousquet, Eric⁸, Boust, James^4,5, Brieuc, Fabien^4,5, Brousseau-Couture, Véronique¹¹

Πηγή: Journal of Chemical Physics. 10/28/2025, Vol. 163 Issue 16, p1-29. 29p.

Θεματικοί όροι: *NANOSTRUCTURED materials, *COMPUTER software, *PREDICTION models, *MACHINE learning, *DENSITY functional theory

Stop Using Vulnerability Counts to Measure Software Security.

Συγγραφείς: Meneely, Andy¹ (AUTHOR) Andy.meneely@rit.edu, Keller, Brandon¹ (AUTHOR) bnk5096@rit.edu

Πηγή: Communications of the ACM. Sep2025, Vol. 68 Issue 9, p34-36. 3p.

Θεματικοί όροι: *COMPUTER security vulnerabilities, *CORPORATE culture, COMPUTER software security, SOFTWARE measurement, SOFTWARE architecture, INTERNET security

Systems Correctness Practices at Amazon Web Services.

Συγγραφείς: Brooker, Marc¹ (AUTHOR) marcbrooker@gmail.com, Desai, Ankush¹ (AUTHOR) ankush@eecs.berkeley.edu

Πηγή: Communications of the ACM. Jun2025, Vol. 68 Issue 6, p38-42. 5p.

Θεματικοί όροι: *SOFTWARE reliability, *PROGRAMMING languages, *SIMULATION methods & models, *VIRTUAL machine systems, COMPUTER software correctness

Εταιρία/Οντότητα: AMAZON Web Services Inc.

Malicious AI Models Undermine Software Supply-Chain Security.

Συγγραφείς: Sood, Aditya K.¹ (AUTHOR) adi.zerok@gmail.com, Zeadally, Sherali^2,3 (AUTHOR) szeadally@uky.edu

Πηγή: Communications of the ACM. Jun2025, Vol. 68 Issue 6, p62-71. 10p.

Θεματικοί όροι: *ARTIFICIAL intelligence, *COMPUTER software, *CYBERTERRORISM, *COMPUTER security, DEBUGGING

Many Faces of Ad Hoc Transactions.

Συγγραφείς: Tang, Chuzhe¹ (AUTHOR) t.chuzhe@sjtu.edu.cn, Wang, Zhaoguo¹ (AUTHOR) zhaoguowang@sjtu.edu.cn, Zhang, Xiaodong¹ (AUTHOR) xiaodongzhang97@gmail.com, Yu, Qianmian¹ (AUTHOR) yuqianmian@sjtu.edu.cn, Zang, Binyu¹ (AUTHOR) byzang@sjtu.edu.cn, Guan, Haibing² (AUTHOR) hbguan@sjtu.edu.cn, Chen, Haibo¹ (AUTHOR) haibochen@sjtu.edu.cn

Πηγή: Communications of the ACM. Apr2025, Vol. 68 Issue 4, p71-80. 10p.

Θεματικοί όροι: *DATABASES, *COMPUTER software development, *SOFTWARE engineering, *SOFTWARE engineers, *OPEN source software, WEB-based user interfaces

Using Springshare's LibCal to Move Librarians off the Reference Desk.

Συγγραφείς: Munro, Karen¹ kemunro@uvic.ca

Πηγή: Information Technology & Libraries. Sep2025, Vol. 44 Issue 3, p1-14. 14p.

Θεματικοί όροι: *COMPUTER software, *ACADEMIC libraries, *LIBRARIANS, *INFORMATION storage & retrieval systems, *WORKFLOW, *LIBRARY public services, *MEDICAL appointments, *TIME management, *USER interfaces

Program Correctness through Self-Certification.

Συγγραφείς: Namjoshi, Kedar S.¹ (AUTHOR) kedar.namjoshi@nokia-bell-labs.com, Zuck, Lenore D.² (AUTHOR) zuck@uic.edu

Πηγή: Communications of the ACM. Feb2025, Vol. 68 Issue 2, p74-84. 11p.

Θεματικοί όροι: *COMPUTER programming, *COMPUTERS, *COMPUTER systems, *SCALABILITY, *SYSTEMS design, *COMPUTER software, COMPUTER software testing, SOFTWARE verification

Technical Credit.

Συγγραφείς: Gorton, Ian¹ (AUTHOR) i.gorton@northeastern.edu, Bucaioni, Alessio² (AUTHOR) alessio.bucaioni@mdu.se, Pelliccione, Patrizio³ (AUTHOR) patrizio.pelliccione@gssi.it

Πηγή: Communications of the ACM. Feb2025, Vol. 68 Issue 2, p30-33. 4p.

Θεματικοί όροι: *COMPUTER software development, *COMPUTER software developers, *COMPUTER programming management, *ORGANIZATIONAL goals, SOFTWARE development tools

Bridging Natural Language and Hierarchical Multivariate Data Visualisation to Support Data Analysis

Συγγραφείς: Kavaz, Ecem

Συνεισφορές: University/Department: Universitat de Barcelona. Departament de Matemàtiques i Informàtica

Thesis Advisors: Rodríguez Santiago, Inmaculada, Puig Puig, Anna

Πηγή: TDX (Tesis Doctorals en Xarxa)

Θεματικοί όροι: Processament de dades, Proceso de datos, Data processing, Anàlisi multivariable, Análisis multivariante, Multivariate analysis, Tractament del llenguatge natural (Informàtica), Proceso en lenguaje natural (Informática), Natural language processing (Computer science), Bots (Programes d'ordinador), Bots (Programas de ordenador), Internet bots (Computer software), Ciències Experimentals i Matemàtiques

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://hdl.handle.net/10803/695385

SELF-ORGANIZATION AND GOVERNANCE IN DIGITAL PLATFORM ECOSYSTEMS: AN INFORMATION ECOLOGY APPROACH.

Συγγραφείς: Engert, Martin (AUTHOR) martin.engert@tum.de, Hein, Andreas (AUTHOR) andreas.hein@unisg.ch, Maruping, Likoebe M. (AUTHOR) lmaruping@gmail.com, Thatcher, Jason Bennett (AUTHOR) jason.thatcher@colorado.edu, Krcmar, Helmut (AUTHOR) helmut.krcmar@tum.de

Πηγή: MIS Quarterly. Mar2025, Vol. 49 Issue 1, p91-122. 32p. 4 Diagrams, 7 Charts.

Θεματικοί όροι: *COALITIONS, *COMPUTER software, DIGITAL technology, COMPUTING platforms, NETWORK governance, SOFT power (Social sciences)

Early Phase Software Dependability Analysis: A Neutrosophic Inference System-Based Approach.

Συγγραφείς: Chatterjee, Subhashis¹ (AUTHOR) subhashis@iitism.ac.in, Saha, Deepjyoti¹ (AUTHOR) sahadeepjyoti01@gmail.com, Sharma, Akhilesh² (AUTHOR) akhil2678@gmail.com, Verma, Yogesh² (AUTHOR) yogeshverma@sac.isro.gov.in

Πηγή: International Journal of Reliability, Quality & Safety Engineering. Oct2025, Vol. 32 Issue 5, p1-29. 29p.

Θεματικοί όροι: *ARTIFICIAL neural networks, *COMPUTER software developers, *COMPUTER software quality control, *COMPUTER software development, *SYSTEMS software

It Is Time to Standardize Principles and Practices for Software Memory Safety.

Συγγραφείς: Watson, Robert N.M.¹ (AUTHOR) robert.watson@cl.cam.ac.uk, Baldwin, John² (AUTHOR) john@araratriver.co, Chisnall, David¹ (AUTHOR) David.Chisnall@cl.cam.ac.uk, Chen, Tony³ (AUTHOR) tonychen@microsoft.com, Clarke, Jessica⁴ (AUTHOR) jessica.clarke@cl.cam.ac.uk, Davis, Brooks⁵ (AUTHOR) brooks.davis@sri.com, Filardo, Nathaniel¹ (AUTHOR) nwf20@cam.ac.uk, Gutstein, Brett¹ (AUTHOR) brett@gutste.in, Jenkinson, Graeme⁶ (AUTHOR) graeme@capabilitieslimited.co.uk, Laurie, Ben⁷ (AUTHOR) benl@google.com, Mazzinghi, Alfredo⁴ (AUTHOR) am2419@cam.ac.uk, Moore, Simon⁴ (AUTHOR) Simon.Moore@cl.cam.ac.uk, Neumann, Peter G.⁵ (AUTHOR) neumann@csl.sri.com, Okhravi, Hamed⁸ (AUTHOR) hamed.okhravi@ll.mit.edu, Richardson, Alex⁷ (AUTHOR) alexrichardson@google.com, Rebert, Alex⁷ (AUTHOR) arebert@google.com, Sewell, Peter⁴ (AUTHOR) Peter.Sewell@cl.cam.ac.uk, Tratt, Laurence⁹ (AUTHOR) laurie@tratt.net, Vijayaraghavan, Murali⁷ (AUTHOR) muralivi@google.com, Vincent, Hugo¹⁰ (AUTHOR) hugo.vincent@arm.com

Πηγή: Communications of the ACM. Feb2025, Vol. 68 Issue 2, p40-45. 6p.

Θεματικοί όροι: *COMPUTER software, *COMPUTER storage devices, *COMPUTER security software, *STANDARDIZATION, *BEST practices, SAFETY

Test Accounts: A Hidden Risk.

Συγγραφείς: Vachon, Phil¹ (AUTHOR) phil@vachon.nyc

Πηγή: Communications of the ACM. Jan2025, Vol. 68 Issue 1, p46-49. 4p.

Θεματικοί όροι: *ACCESS control, *BEST practices, *DATA security failures, COMPUTER software testing

Deterministic Record-and-Replay.

Συγγραφείς: Quinn, Andrew¹ (AUTHOR) aquinn1@ucsc.edu, Alvaro, Peter² (AUTHOR) palvaro@ucsc.edu

Πηγή: Communications of the ACM. May2025, Vol. 68 Issue 5, p32-34. 3p.

Θεματικοί όροι: *DEFECT tracking (Computer software development), *COMPUTER programming, *INTERNET servers, COMPUTER debugging software, CLOUD computing, GRAPHICS processing units, MACHINE learning

I made Safari a better browser with these extensions.

Συγγραφείς: WIESEND, STEPHAN (AUTHOR)

Πηγή: Macworld - Digital Edition. Dec2025, Vol. 42 Issue 12, p101-106. 6p. 9 Color Photographs.

Θεματικοί όροι: *AD blockers, *COMPUTER software, USER experience, MALWARE prevention

Reviews & Products: SAFARI (Computer software), IOS (Operating system)

ADOBE PHOTOSHOP FOR MAC: BEST-KNOWN NAME IN PHOTO EDITING HASN’T LOST A STEP.

Συγγραφείς: ITANI, MAHMOUD (AUTHOR)

Πηγή: Macworld - Digital Edition. Oct2025, Vol. 42 Issue 10, p27-32. 6p. 6 Color Photographs.

Θεματικοί όροι: *COMPUTER software, *ARTIFICIAL intelligence, PHOTOGRAPHIC editing, MACINTOSH (Computer), GENERATIVE artificial intelligence

Reviews & Products: ADOBE Photoshop (Computer software)