7206 search results - page 1059 / 1442 » Using a Hypermedia System for Systems Engineering |
150
click to vote
FASE
2010
Springer
15 years 12 months ago
2010
Springer
We introduce a technique for debugging multi-threaded C programs and analyzing the impact of source code changes, and its implementation in the prototype tool Direct. Our approach ...
130
click to vote
AOSD
2009
ACM
15 years 11 months ago
2009
ACM
Systems software uses conditional compilation to manage crosscutting concerns in a very fine-grained and efficient way, but at the expense of tangled and scattered conditional c...
143
click to vote
KBSE
2009
IEEE
15 years 11 months ago
2009
IEEE
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...
125
click to vote
ICSM
2009
IEEE
15 years 11 months ago
2009
IEEE
Global and distributed software development increases the need to find and connect developers with relevant expertise. Existing recommendation systems typically model expertise b...
123
click to vote
CSMR
2008
IEEE
15 years 11 months ago
2008
IEEE
Aspect-oriented design needs to be systematically assessed with respect to modularity flaws caused by the realization of driving system concerns, such as tangling, scattering, and...