Email Record: Integration of software specification techniques for applications in engineering :