3792 search results - page 265 / 759 » Techniques for Trusted Software Engineering |
155
click to vote
COMPSAC
2004
IEEE
15 years 10 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. ...
202
click to vote
ICSM
2007
IEEE
16 years 27 days ago
2007
IEEE
Regression testing is an expensive part of the software maintenance process. Effective regression testing techniques select and order (or prioritize) test cases between successive...
181
click to vote
IJIT
2004
15 years 8 months ago
2004
Recent advances in both the testing and verification of software based on formal specifications of the system to be built have reached a point where the ideas can be applied in a p...
204
click to vote
AADEBUG
2005
Springer
16 years 4 days ago
2005
Springer
One of today’s challenges is producing reliable software in the face of an increasing number of interacting components. Our system CHET lets developers define specifications des...
179
click to vote
CSMR
2007
IEEE
16 years 29 days ago
2007
IEEE
Software systems are typically developed by teams of developers, with responsibilities for different parts of the code. Knowledge of how the developers collaborate, and how their ...