Workshop: Engineering Automation for Computer-Based Systems on October 26-29, 1998 at Carmel, CA

9813820计算机化组件系统工程是提高质量体系和加快施工过程的重要研究领域。构建能够有效和可靠地满足用户需求的高质量计算机系统是当前的一个主要问题。可以部分或完全自动化的形式化方法为这个问题提供了一个有前途的方法。建议在卡梅尔举行一次关于这一主题的为期三天的讲习班。 研讨会的目的是确定标准，以确定基于计算机的系统工程的自动化方法的潜在实际影响，评估该领域目前的研究工作，确定可以提高自动化程度的结果和方向，通过建立共同理解来帮助工具集成，并通过自动化增加正式方法的实际使用。

9813820 Engineering of systems with computerized components is an important research area for better quality systems as well as speeding up the construction process. Building quality computer systems that can meet user needs effectively and reliably is currently a major problem. Formal methods that can be partially or completely automated provide a promising approach to this problem. A three-day workshop on this subject is proposed, to take place in Carmel. The purposes of the workshop are to identify criteria for determining potential practical impact of automatable methods for engineering of computer based systems, to assess current research efforts in this area, to identify results and directions that can increase the degree of automation, to aid tool integration by building a common understanding, and to increase the practical use of formal methods via automation.***