3799 search results - page 261 / 760 » An Engineering Approach to Formal Methods |
201
click to vote
ICST
2010
IEEE
15 years 4 months ago
2010
IEEE
A Feature Model (FM) is a compact representation of all the products of a software product line. The automated extraction of information from FMs is a thriving research topic invo...
197
click to vote
COMPSAC
2005
IEEE
16 years 8 days ago
2005
IEEE
Performance analysis gains more attention in recent years by researchers who focus their study on the early software development stages to mitigate the risk of redesign as problem...
186
click to vote
ICSM
2002
IEEE
15 years 11 months ago
2002
IEEE
Over the past years it has become evident that the benefits of object orientation warrant the design and development of reengineering methods that aim to migrate legacy procedural...
174
click to vote
APSEC
2003
IEEE
15 years 12 months ago
2003
IEEE
We developed XVCL (XML-based Variant Configuration Language), a method and tool for product lines, to facilitate handling variants in reusable software assets (such as architectur...
168
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
Achieving a high quality and cost-effective tests is a major concern for software buyers and sellers. Using tools and integrating techniques to carry out low cost testing are chal...