Learn More
Existing research suggests that a considerable fraction (5-10%) of the source code of large-scale computer programs is duplicate code (" clones "). Detection and removal of such clones promises decreased software maintenance costs of possibly the same magnitude. Previous work was limited to detection of either near-misses differing only in single lexems, or(More)
Automated support for the structural and semantic manipulation of software leads to higher levels of quality and productivity in software. To that end, researchers have been trying to merge symbolic manipulation techniques with compiler technologies to produce sojhvare transformation systems, or more concisely, trans$ormation vstems. Transformation systems(More)
Gone are the days when software projects where planned, approved and controlled without a clear financial plan. Nowadays managers and investors everywhere want software engineers to go beyond the technicalities of their projects. In order to adapt to this scenario, it is important for software engineers to understand and be prepared to deal with the(More)
The increasing demand for Distributed Systems(DS's) raised the need of a quality-assured development process, which could not only address the issue of requirement compliance, but also could help the construction of tools able to derive implementations automatically. In order to attend such a need, some Formal Description Techniques (FDT's) have been(More)
  • 1