7393 search results - page 178 / 1479 » Synthesis-for-testability using transformations |
140
Voted
KDD
2002
ACM
16 years 3 months ago
2002
ACM
Data on individuals and entities are being collected widely. These data can contain information that explicitly identifies the individual (e.g., social security number). Data can ...
133
click to vote
JUCS
2008
15 years 3 months ago
2008
: Currently, many models are used to capture functional software requirements. However, the Software Engineering community has faded interaction requirements into the background, d...
129
Voted
AGTIVE
1999
Springer
15 years 7 months ago
1999
Springer
A suitable software architecture –for example in the area of distributed application– can be composed of known-to-work solutions. These are also known as design patterns. Howev...
145
Voted
PODS
2012
ACM
13 years 6 months ago
2012
ACM
Over the past several decades, the study of conjunctive queries has occupied a central place in the theory and practice of database systems. In recent years, conjunctive queries h...
134
Voted
ISSTA
2006
ACM
15 years 9 months ago
2006
ACM
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...