Seamless development with the Eiffel method | IEEE Conference Publication | IEEE Xplore