3799 search results - page 166 / 760 » An Engineering Approach to Formal Methods |
ICSE
2003
IEEE-ACM
14 years 9 months ago
2003
IEEE-ACM
Software development environment is a platform for supporting software designer to design software based on the software requirement specification. It is an interactive system wit...
XPU
2009
Springer
14 years 3 months ago
2009
Springer
In the last two decades several models for evaluating software process capability have been defined and became more and more popular. The application of such models, and in particu...
FOSSACS
2008
Springer
13 years 11 months ago
2008
Springer
Protocols for information-hiding often use randomized primitives to obfuscate the link between the observables and the information to be protected. The degree of protection provide...
AGILEDC
2008
IEEE
14 years 3 months ago
2008
IEEE
A core principle of Agile development is to satisfy the customer by providing valuable software on an early and continuous basis. For a software application to be valuable it shou...
KBSE
2007
IEEE
14 years 3 months ago
2007
IEEE
Automating the generation of object-oriented unit tests is a challenging task. This is mainly due to the complexity and peculiarities that the principles of object-orientation imp...