Specification and-production techniques for portable software components | IEEE Conference Publication | IEEE Xplore