16725 search results - page 322 / 3345 » Engineering Software Correctness |
132
click to vote
ISSRE
2008
IEEE
15 years 10 months ago
2008
IEEE
Aspect-Oriented Programming (AOP) provides new modularization of software systems by encapsulating crosscutting concerns. AspectJ, an AOP language, uses abstractions such as point...
117
click to vote
COMPSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
Achievement of quality in software design, while never easy, is made more difficult by the inherent complexity of hard real-time (HRT) design. Furthermore, timing requirements in...
123
click to vote
ICSM
2009
IEEE
15 years 11 months ago
2009
IEEE
Many software systems rely on third-party components during their build process. Because the components are constantly evolving, quality assurance demands that developers perform ...
163
click to vote
ICSM
2008
IEEE
15 years 10 months ago
2008
IEEE
Change impact analysis is a useful technique for software evolution. It determines the effects of a source editing session and provides valuable feedbacks to the programmers for m...
122
click to vote
COMPSAC
2004
IEEE
15 years 8 months ago
2004
IEEE
Critical industrial applications or fault tolerant applications need for operating systems (OS) which guarantee a correct and safe behaviour in spite of the appearance of errors. ...