Sciweavers

2132 search results - page 125 / 427
» Automated software winnowing
Sort
View
COMPSAC
2003
IEEE
15 years 4 months ago
A Graph Grammar Approach to Software Architecture Verification and Transformation
Software architecture and design are usually modeled and represented by informal diagrams, such as architecture diagrams and UML diagrams. While these graphic notations are easy t...
Jun Kong, Kang Zhang, Jing Dong, Guang-Lei Song
CSMR
2006
IEEE
15 years 1 months ago
Search-Based Software Maintenance
The high cost of software maintenance could potentially be greatly reduced by the automatic refactoring of object-oriented programs to increase their understandability, adaptabili...
Mark Kent O'Keeffe, Mel Ó Cinnéide
ICSE
2004
IEEE-ACM
15 years 11 months ago
The Role of Agreements in IT Management Software
Various forms of agreements naturally arise in the service provider model as well as in multi-party computing models such as business-to-business, utility and grid computing. The r...
Aad P. A. van Moorsel, Carlos Molina-Jiméne...
OOPSLA
2009
Springer
15 years 5 months ago
S.P.L.O.T.: software product lines online tools
This paper introduces S.P.L.O.T., a Web-based reasoning and configuration system for Software Product Lines (SPLs). The system benefits from mature logic-based reasoning techniq...
Marcílio Mendonça, Moises Branco, Do...
KBSE
2005
IEEE
15 years 4 months ago
NFRs-aware architectural evolution of component-based software
During software maintenance, some non-functional properties may be lost. This is due to the lack of an explicit definition of their links with the corresponding architectural choi...
Chouki Tibermacine, Régis Fleurquin, Salah ...