3792 search results - page 240 / 759 » Techniques for Trusted Software Engineering |
198
click to vote
EICS
2010
ACM
15 years 6 months ago
2010
ACM
Component-based software engineering is a paradigm aiming at better ways to reuse existing code and to distribute work across teams. Integrating UI components developed with diffe...
163
click to vote
COMPSAC
2007
IEEE
16 years 27 days ago
2007
IEEE
Understanding and maintaining legacy COBOL systems are still a challenging task for both academic research and industry practice. With the development of aspect-oriented software ...
158
click to vote
KBSE
2007
IEEE
16 years 25 days ago
2007
IEEE
toolkit demonstrates that predicate abstraction enables automated verification of real world Windows device Our predicate abstraction-based tool DDVerify enables the automated ve...
173
click to vote
IWPC
2006
IEEE
16 years 17 days ago
2006
IEEE
The presence of traceability links between software artefacts is very important to achieve high comprehensibility and maintainability. This is confirmed by several researches and ...
196
click to vote
CBSE
2004
Springer
15 years 12 months ago
2004
Springer
Safety critical embedded real-time systems represent a class of systems that has attracted relatively little attention in research addressing component based software engineering. ...