Conference paper
Compression for data archiving and backup revisited
Corneliu Constantinescu
SPIE Optical Engineering + Applications 2009
Paper
Getting the best from formal methods
Abstract
This paper reviews the progress made in the use of formal methods in the last 15 years and suggests some reasons for the failure of formal methods in places where they promised to be most effective. It proposes a way in which formal methods can nevertheless be infiltrated into software development activities with beneficial results.
Related
Joel L. Wolf, Mark S. Squillante, et al.
IEEE Transactions on Knowledge and Data Engineering
Michael Ray, Yves C. Martin
Proceedings of SPIE - The International Society for Optical Engineering
Apostol Natsev, Alexander Haubold, et al.
MMSP 2007