Abstract. In this paper we show how the relationships between first-order ontologies within a repository can be used to support ontology verification. We discuss the use of represe...
Software measurement is a relatively young discipline. As a consequence, it is not well defined yet, making the terminology used diverse. In order to establish a basic conceptualiz...
Monalessa Perini Barcellos, Ricardo de Almeida Fal...
Component Based Development aims at constructing software through the inter-relationship between pre-existing components. However, these components should be bound to a specific a...
Software migration is an inherently knowledge intensive activity, which requires a great amount of expertise and experience from different sources. Knowledge-based approach to sof...
There exists a large variety of techniques to detect and correct software security vulnerabilities at the source code level, including human code reviews, testing, and static anal...