3792 search results - page 272 / 759 » Techniques for Trusted Software Engineering |
136
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
Domain-specific architectures, middleware platforms, and analysis techniques leverage domain knowledge to help engineers build systems more effectively. An integrated set of these...
180
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
Model checkers search the space of possible program behaviors to detect errors and to demonstrate their absence. Despite major advances in reduction and optimization techniques, s...
157
click to vote
ICSE
2001
IEEE-ACM
15 years 11 months ago
2001
IEEE-ACM
The design of complex systems requires powerful mechanisms for modeling state, concurrent events, and real-time behavior; as well as for visualising and structuring systems in ord...
200
click to vote
ESAS
2007
Springer
16 years 24 days ago
2007
Springer
The problem of secure routing in mobile ad hoc networks is long-standing and has been extensively studied by researchers. Recently, techniques of aggregating signatures have been a...
180
click to vote
SE
2007
15 years 8 months ago
2007
: We present our refactoring plug-ins for Eclipse’s Ruby Development Tools IDE. Refactoring is a very important technique for every software engineer and a cornerstone of agile s...