Software Engineering and Methodology (TOSEM)


Search Issue
enter search term and/or author name


ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 24 Issue 3, May 2015

aToucan: An Automated Framework to Derive UML Analysis Models from Use Case Models
Tao Yue, Lionel C. Briand, Yvan Labiche
Article No.: 13
DOI: 10.1145/2699697

The transition from an informal requirements specification in natural language to a structured, precise specification is an important challenge in practice. It is particularly so for object-oriented methods, defined in the context of the OMG's...

Documenting Design-Pattern Instances: A Family of Experiments on Source-Code Comprehensibility
Giuseppe Scanniello, Carmine Gravino, Michele Risi, Genoveffa Tortora, Gabriella Dodero
Article No.: 14
DOI: 10.1145/2699696

Design patterns are recognized as a means to improve software maintenance by furnishing an explicit specification of class and object interactions and their underlying intent [Gamma et al. 1995]. Only a few empirical investigations have been...

Deciding Type-Based Partial-Order Constraints for Path-Sensitive Analysis
Elena Sherman, Brady J. Garvin, Matthew B. Dwyer
Article No.: 15
DOI: 10.1145/2755971

The precision and scalability of path-sensitive program analyses depend on their ability to distinguish feasible and infeasible program paths. Analyses express path feasibility as the satisfiability of conjoined branch conditions, which is then...

Automatic Workarounds: Exploiting the Intrinsic Redundancy of Web Applications
Antonio Carzaniga, Alessandra Gorla, Nicolò Perino, Mauro Pezzè
Article No.: 16
DOI: 10.1145/2755970

Despite the best intentions, the competence, and the rigorous methods of designers and developers, software is often delivered and deployed with faults. To cope with imperfect software, researchers have proposed the concept of self-healing...

Many-Objective Software Remodularization Using NSGA-III
Wiem Mkaouer, Marouane Kessentini, Adnan Shaout, Patrice Koligheu, Slim Bechikh, Kalyanmoy Deb, Ali Ouni
Article No.: 17
DOI: 10.1145/2729974

Software systems nowadays are complex and difficult to maintain due to continuous changes and bad design choices. To handle the complexity of systems, software products are, in general, decomposed in terms of packages/modules containing classes...

Software Change Contracts
Jooyong Yi, Dawei Qi, Shin Hwei Tan, Abhik Roychoudhury
Article No.: 18
DOI: 10.1145/2729973

Software errors often originate from incorrect changes, including incorrect program fixes, incorrect feature updates, and so on. Capturing the intended program behavior explicitly via contracts is thus an attractive proposition. In our recent...

Platys: An Active Learning Framework for Place-Aware Application Development and Its Evaluation
Pradeep K. Murukannaiah, Munindar P. Singh
Article No.: 19
DOI: 10.1145/2729976

We introduce a high-level abstraction of location called place. A place derives its meaning from a user's physical space, activities, or social context. In this manner, place can facilitate improved user experience compared to the...

A Baseline Model for Software Effort Estimation
Peter A. Whigham, Caitlin A. Owen, Stephen G. Macdonell
Article No.: 20
DOI: 10.1145/2738037

Software effort estimation (SEE) is a core activity in all software processes and development lifecycles. A range of increasingly complex methods has been considered in the past 30 years for the prediction of effort, often with mixed and...