1494 search results - page 125 / 299 » Monitored Software Components - A Novel Software Engineering... |
211
click to vote
MODELS
2009
Springer
16 years 27 days ago
2009
Springer
Solution-driven product line engineering is a project business where products are created for each customer individually. Although reuse of results from former projects is widely ...
164
click to vote
DAGSTUHL
2006
15 years 7 months ago
2006
This paper presents novel language and analysis techniques that significantly speed up software model checking of data structure properties. Consider checking a red-black tree imp...
176
click to vote
TC
2011
15 years 24 days ago
2011
— Implementing shared memory consistency models on top of hardware caches gives rise to the well-known cache coherence problem. The standard solution involves implementing cohere...
152
click to vote
EMSOFT
2004
Springer
15 years 11 months ago
2004
Springer
One central issue in system structuring and quality prediction is the interdependencies of system modules. This paper proposes a novel technique for determining the operational co...
162
click to vote
ICSE
2005
IEEE-ACM
16 years 6 months ago
2005
IEEE-ACM
During software development it is helpful to obtain early estimates of the defect density of software components. Such estimates identify fault-prone areas of code requiring furth...