Requirements engineering and program synthesis: mutually exclusiveor synergistic?

摘要

There has often been a clash within the formal methods communitybetween early life-cycle proponents, such as the requirementsengineering community, and late life-cycle proponents, such as theprogram synthesis community. This paper first characterizes thesepositions and their underlying assumptions, and then exposes a commonset of problems and approaches. The paper then proposes an integratedlife-cycle framework and expounds on its potential benefits. Technicalchallenges to achieving this integrated life-cycle framework aredescribed, as well as some preliminary work towards that goal