In this paper we describe a tools environment which automates the validation and maintenance of a requirements model written in many-sorted first order logic. We focus on: a trans...
Legacy software systems often suffer from code quality problems. Maintenance of legacy systems can therefore be costly, and the value of legacy systems may diminish due to a lack ...
With software services becoming a strategic capability for the software sector, software architecture needs to address integration problems to help services to collaborate and coor...
As software systems become increasingly complex to build developers are turning more and more to integrating pre-built components from third party developers into their systems. T...
One of the most important steps towards eective software maintenance of a large complicated system is to understand how program features are spread over the entire system and thei...
W. Eric Wong, Swapna S. Gokhale, Joseph Robert Hor...