Software maintenanceand evolutionare the dominantactivities in the software lifecycle. Modularization can separate design decisions and allow them to be independently evolved, but...
William G. Griswold, Jimmy J. Yuan, Yoshikiyo Kato
We present TReMer+, a tool for consistency checking of distributed models (i.e., models developed by distributed teams). TReMer+ works by first constructing a merged model before ...
Mehrdad Sabetzadeh, Shiva Nejati, Steve M. Easterb...
Global variable promotion, i.e. allocating unaliased globals to registers, can significantly reduce the number of memory operations. This results in reduced cache activity and less...
: This paper discusses the issues and promising approaches in (1) obtaining rigorous specifications of the quality-of-service (QoS) requirements associated with application functio...
The importance of standards in enabling the development of industry and commerce through the standardization of components, interfaces and specifications is well known and underst...