22698 search results - page 477 / 4540 » Modeling in Software Engineering |
205
click to vote
ICSM
2009
IEEE
16 years 1 months ago
2009
IEEE
Model checking is a promising technique for verifying program behavior and is increasingly finding usage in industry. To date, however, researchers have primarily considered mode...
153
click to vote
KBSE
2007
IEEE
16 years 23 days ago
2007
IEEE
Software compatibility testing is an important quality assurance task aimed at ensuring that component-based software systems build and/or execute properly across a broad range of...
165
click to vote
ECLIPSE
2005
ACM
15 years 8 months ago
2005
ACM
We introduce ConcernMapper, an Eclipse plug-in for experimenting with techniques for advanced separation of concerns. ConcernMapper supports development and maintenance tasks invo...
173
click to vote
SEKE
2007
Springer
16 years 18 days ago
2007
Springer
A software architecture provides a high-level description of a software solution in terms of the structure, topology, and interactions between its principal components. While a nu...
145
click to vote
VAMOS
2007
Springer
16 years 18 days ago
2007
Springer
In a software product line different products often require different levels of quality attributes. In several domains quality attribute variability gets even more importance that...