Software development with Z