Issue Downloads
aToucan: An Automated Framework to Derive UML Analysis Models from Use Case Models
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 Model ...
Documenting Design-Pattern Instances: A Family of Experiments on Source-Code Comprehensibility
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 conducted ...
Deciding Type-Based Partial-Order Constraints for Path-Sensitive Analysis
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 decided ...
Automatic Workarounds: Exploiting the Intrinsic Redundancy of Web Applications
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 for software ...
Many-Objective Software Remodularization Using NSGA-III
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 that are ...
Software Change Contracts
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 work, we ...
Platys: An Active Learning Framework for Place-Aware Application Development and Its Evaluation
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 traditional ...
A Baseline Model for Software Effort Estimation
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 contradictory ...