Flexible incremental development by integrating specification and code