Validated Objects: Specification, Implementation, and Applications