Specification-based computing environments for information management | IEEE Conference Publication | IEEE Xplore