enter search term and/or author name
aToucan: An Automated Framework to Derive UML Analysis Models from Use Case Models
Tao Yue, Lionel C. Briand, Yvan Labiche
Article No.: 13
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
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
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
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...
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 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
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...
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...