Write in a clean editor, then format for ACM Transactions on Software Engineering and Methodology in one click — DocuGuru applies the official ACM template with numbered references and exports a submission-ready PDF plus the editable LaTeX source. Free to start.
ACM Transactions on Software Engineering and Methodology is a peer-reviewed journal published by ACM, covering Software Engineering Research, Software Testing and Debugging Techniques, Software Reliability and Analysis Research. Over its lifetime it has published 1,901 papers, which have received 63,736 citations.
| Publisher | ACM |
|---|---|
| Reference style | Numbered (ACM) Numbered — [1], [2] in the text [1] Ada Smith, Ben Jones, and Cara Lee. 2023. A representative article title. ACM Transactions on Software Engineering and Methodology 12, 3, Article 45 (2023).
Formats any DOI in ACM Transactions on Software Engineering and Methodology style. No sign-up. |
| Publishes research in | Software Engineering Research Software Testing and Debugging Techniques Software Reliability and Analysis Research Software System Performance and Reliability Advanced Malware Detection Techniques |
| ISSN | 1049-331X |
| Citation impact (2-yr) | 6.75 |
| h-index | 120 |
| i10-index | 827 |
| Top institutions publishing here | Singapore Management University |
| Journal website | tosem.acm.org |
| You get | A submission-ready PDF and the editable LaTeX source — ready to submit. |
Citations each year’s papers have accumulated so far — the most recent years are still building up.
According to its proponents, open source style software development has the capacity to compete successfully, and perhaps in many cases displace, traditional commercial development methods. In order to begin investigating such claims, we examine data from two major open source projects, the Apache web server and the Mozilla browser. By using email archives of source…
Systems composed of interacting autonomous agents offer a promising software engineering approach for developing applications in complex domains. However, this multiagent system paradigm introduces a number of new abstractions and design/development issues when compared with more traditional approaches to software development. Accordingly, new analysis and design methodologies, as well as new tools, are needed to…
As software systems become more complex, the overall system structure—or software architecture—becomes a central design problem. An important step toward an engineering discipline of software is a formal basis for describing and analyzing these designs. In the article we present a formal approach to one aspect of architectural design: the interactions among components. The key…
Alloy is a little language for describing structural properties. It offers a declaration syntax compatible with graphical object models, and a set-based formula syntax powerful enough to express complex constraints and yet amenable to a fully automatic semantic analysis. Its meaning is given by translation to an even smaller (formally defined) kernel. This paper presents…
We describe the semantics of statecharts as implemented in the STATEMATE system. This was the first executable semantics defined for the language and has been in use for almost a decade. In terms of the controversy around whether changes made in a given step should take effect in the current step or in the next…
ACM Transactions on Embedded Computing Systems
ACM Transactions on Interactive Intelligent Systems
ACM Transactions on Modeling and Computer Simulation
ACM Transactions on Programming Languages and Systems
ACM Transactions on Spatial Algorithms and Systems
Distributed Ledger Technologies: Research and Practice
IFIP Advances in Information and Communication Technology (IFIP AICT)
USENIX Conference on File and Storage Technologies (FAST)
