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.***