ACM DL

Software Engineering and Methodology (TOSEM)

Menu

Search Issue
enter search term and/or author name

Archive


ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 26 Issue 2, October 2017

Editorial
David S. Rosenblum
Article No.: 6e
DOI: 10.1145/3136621

Fixing Faults in C and Java Source Code: Abbreviated vs. Full-Word Identifier Names
Giuseppe Scanniello, Michele Risi, Porfirio Tramontana, Simone Romano
Article No.: 6
DOI: 10.1145/3104029

We carried out a family of controlled experiments to investigate whether the use of abbreviated identifier names, with respect to full-word identifier names, affects fault fixing in C and Java source code. This family consists of an original (or...

A Logic-Based Approach for the Verification of UML Timed Models
Luciano Baresi, Angelo Morzenti, Alfredo Motta, Mohammad Mehdi Pourhashem K., Matteo Rossi
Article No.: 7
DOI: 10.1145/3106411

This article presents a novel technique to formally verify models of real-time systems captured through a set of heterogeneous UML diagrams. The technique is based on the following key elements: (i) a subset of Unified Modeling Language (UML)...

Early Evaluation of Implementation Alternatives of Composite Data Structures Toward Maintainability
Chris Karanikolas, Grigoris Dimitroulakos, Konstantinos Masselos
Article No.: 8
DOI: 10.1145/3132731

Selecting between different design options is a crucial decision for object-oriented software developers that affects code quality characteristics. Conventionally developers use their experience to make such decisions, which leads to suboptimal...