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)
We carried out this study with the purpose of comparing the neuronal density in antimesocolic and intermediate regions of the colon of rats. We used the ascending colon of ten seven-months old Wistar rats. With the Giemsa method we found 29,046 neurons/cm2 on the antimesocolic region and 30,968 neurons/cm2 on the intermediate regions. With the… (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)
Mondel is a specification language based on the object-oriented paradigm, which was developed to model the operational and management aspects of communication networks. Automatic implementation can be achieved based on a Mondel system specification, using a transformational software system called Draco. The main purpose of this work is to demonstrate how… (More)
foi escolhido como um dos melhores artigos do Third International Symposium on Requirements Engineering e convidado para submissão à revista em Março de 1997.
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)