ACM Transactions on Software Engineering and Methodology

ACM Transactions on Software Engineering and Methodology
Title	ACM Transactions on Software Engineering and Methodology
Discipline	Software engineering
Abbreviation	ACM Trans. Softw. Eng. Methodol.
Publisher	Association for Computing Machinery
Country	United States
History	1992–present
Frequency	Quarterly
Issn	1049-331X

ACM Transactions on Software Engineering and Methodology is a peer-reviewed scientific journal publishing research on software engineering, formal methods, program analysis, and development methodologies. It serves as a venue for contributions that influence both academic research and industrial practice, attracting submissions from contributors affiliated with Massachusetts Institute of Technology, Stanford University, University of California, Berkeley, Carnegie Mellon University, and international institutions such as University of Cambridge and ETH Zurich. Authors, reviewers, and editors often include researchers associated with Microsoft Research, Google Research, IBM Research, Bell Labs, and major funding agencies like the National Science Foundation and European Research Council.

History

The journal was established in the early 1990s amid a period of consolidation in computing periodicals alongside titles such as Communications of the ACM, IEEE Transactions on Software Engineering, and Journal of the ACM. Its founding editorial leadership included scholars who had prior roles at institutions like MIT, Princeton University, and University of Illinois Urbana–Champaign, and it developed in parallel with conferences and workshops such as International Conference on Software Engineering, Principles of Programming Languages, and Symposium on Operating Systems Principles. Over successive editorial terms the journal adapted to changes in peer review practice and digital distribution that followed developments at organizations including ACM SIGSOFT, IEEE Computer Society, and publishing initiatives inspired by policies from bodies like the Wellcome Trust and the National Institutes of Health.

Scope and Topics

The journal’s scope spans a spectrum of topics that intersect with work by researchers at places such as University of Oxford, Harvard University, Tsinghua University, and Imperial College London. Specific areas include formal specification and verification techniques associated with traditions from Z notation, Hoare logic, and research groups influenced by Edgar Dijkstra and Tony Hoare; program analysis and verification work seen in projects linked to LLVM, Frama-C, and tools developed at Microsoft Research; software architecture and design patterns that relate to concepts popularized through literature from Gamma, Helm, Johnson, and Vlissides; empirical software engineering studies that draw on methodologies used in projects at Google Research and Facebook (Meta); and software process, testing, maintenance, and evolution research related to efforts at Red Hat, SAP SE, and IBM Research. The journal also publishes contributions on automated program repair, model-driven engineering, and domain-specific languages, connecting to communities around Eclipse Foundation, OOPSLA, and PLDI.

Editorial Board and Peer Review

Editorial leadership has historically included editors drawn from universities and labs such as University of Washington, Delft University of Technology, University of Toronto, and Seoul National University. The editorial board comprises associate editors and advisory members with ties to institutions like Princeton University, Cornell University, KTH Royal Institute of Technology, and companies including Amazon Web Services and Apple Inc.. Peer review follows single- or double-blind models informed by practices used at conferences such as ICSE and FSE, and the journal participates in initiatives to improve reproducibility and artifact evaluation similar to programs run by ACM SIGPLAN and the Artifact Evaluation Committee at major conferences. Conflict-of-interest policies reflect norms promoted by organizations like Committee on Publication Ethics.

Publication and Access Model

Published by the Association for Computing Machinery, the journal appears on a regular schedule and is available electronically through ACM’s digital library alongside other titles like ACM Transactions on Programming Languages and Systems and ACM Transactions on Computer Systems. Its access model has evolved in response to discourse involving Plan S, SPARC, and institutional open-access agreements with universities such as University of California and consortia like Jisc. Authors may choose options that align with hybrid open access and traditional subscription publishing, consistent with agreements negotiated between ACM and national libraries or funders such as the National Science Foundation and the European Commission. Production workflows reflect editorial practices common to large publishers including manuscript management systems used by journals like Nature and Science.

Abstracting, Indexing, and Impact

The journal is indexed in major databases and services such as Scopus, Web of Science, Google Scholar, and indexing platforms used by libraries at Library of Congress and British Library. Citation metrics are tracked alongside comparable venues like IEEE Transactions on Software Engineering and Empirical Software Engineering, and impact indicators reported by organizations such as Clarivate Analytics and SCImago inform assessments used by departments at University of Michigan, University of Tokyo, and funding bodies like the National Science Foundation. The journal’s articles are frequently cited in standards and technical reports from bodies like ISO and IEEE Standards Association.

Notable Articles and Contributions

The journal has published influential work that intersects with paradigms and artifacts associated with researchers and projects at Microsoft Research, IBM Research, Bell Labs, MIT CSAIL, and ETH Zurich. Contributions include formal verification case studies related to efforts at NASA, algorithmic advances impacting compilers such as GCC and LLVM, and empirical studies informing practices at corporations like Google and Facebook (Meta). Widely cited articles have influenced standards initiatives at ISO/IEC and informed toolchains originating from communities around Eclipse Foundation, OASIS, and protocol work tied to IETF. The journal’s archives include methodological innovations that later appeared in textbook treatments from publishers like Cambridge University Press and MIT Press, and have been recognized in review articles appearing in venues such as ACM Computing Surveys and Communications of the ACM.

Category:Computer science journals Category:Association for Computing Machinery academic journals