1926 search results - page 178 / 386 » Modeling and Model Checking Software Product Lines |
161
click to vote
WCRE
2007
IEEE
16 years 21 days ago
2007
IEEE
Defect density and defect prediction are essential for efficient resource allocation in software evolution. In an empirical study we applied data mining techniques for value seri...
207
click to vote
SEKE
2010
Springer
15 years 4 months ago
2010
Springer
—The behavior of complex production automation systems is hard to predict, therefore simulation is used to study the likely system behavior. However, in a real-world system many ...
209
click to vote
SOPR
1998
15 years 6 months ago
1998
Software engineering focuses on producing quality software products through quality processes. The attention to processes dates back to the early 70’s, when software engineers r...
197
click to vote
UML
2005
Springer
15 years 12 months ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
151
click to vote
MMS
2008
15 years 6 months ago
2008
Personal photo books are a popular means of capturing important moments and people have ever created this kind of multimedia presentations. With the advent of digital photography ...