Research Initiation Award: Incorporating Formal Specification Techniques into Structure and Object-Oriented Analysis and Design Processes

9410396法国在软件开发行业中很少使用形式规范技术(FST)的一个重要原因是缺乏对如何将FST纳入当前工业实力强大的软件开发过程的了解。当前的工业软件开发环境倾向于使用非正式结构化规范方法(SSM)和面向对象方法(OOM)，因为它们使用相对简单、直观的符号和概念。由于缺乏对如何在以SSMS和OOM为基础的实际发展进程中有效应用FST的理解，往往会导致一种看法，即使用一种方法就排除了另一种方法。这项研究致力于弥合FST与不太正式的SSM和OOM之间的差距。研究计划由三个部分组成：技术部分涉及如何实现正式和非正式技术的整合，组织部分关注何时、如何以及在什么情况下可以应用集成规范技术，实验部分关注通过实验应用来评估技术、支持工具和过程。***

9410396 France A significant reason for the rare use of formal specification techniques (FSTs) in the software development industry is a lack of understanding of how FSTs can be incorporated into current industrial-strength software development processes. Current industrial software development environments tend to favor the use of informal Structured Specification Methods(SSMs) and Object- Oriented Methods(OOMs) because of their use of relatively simple, intuitive notations and concepts. Lack of understanding of how FSTs can be effectively applied in the context of practical development processes based on SSMs and OOMs often leads to the perception that the use of one precludes the other. This research is concerned with bridging the gap between FSTs and the less formal SSMs and OOMs. The research program has three components: the technical component is concerned with how integration of formal and informal techniques is accomplished, the organizational component is concerned with when, how, and under what circumstances integrated specification techniques can be applied, and the experimental component is concerned with evaluating the techniques, supporting tools and processes through experimental application. ***