We use our experience in developing formal domain-specific software processes in an industrial setting to argue the benefits of (a) developing specialized software process models tailored to a particular class of software system, and (b) the use of formal methods and notations for extracting these models.
我们使用在工业环境中开发正式的特定于域的软件过程的经验来论证以下优点：（a）开发针对特定类别的软件系统量身定制的专用软件过程模型，以及（b）使用形式化方法以及提取这些模型的符号。
Computer Research Labs, Tektronix Laboratories, Beaverton, OR;
机译：模型解释器框架：分析特定领域软件体系结构的基础
机译：致力于表达和推理软件工程方法的框架的形式化
机译：实现框架的形式化以表达和推理软件工程方法
机译：形式化领域专用软件框架的作用
机译：缩放自动验证：建立高完整性软件的案例研究和形式化IDE
机译：BiotoolsSchema：用于生物信息学软件描述的正式模式
机译：关于嵌入式系统可靠，经济的远程信息处理软件体系结构的设计和实现：特定领域的框架
机译：特定于域的软件体系结构的形式化和可视化
