1995 Workshop on Industrial-Strength Formal Specification Techniques WIFT'95, April 5-8, l995, Boca Raton, Florida

1995 年工业强度形式规范技术研讨会 WIFT95，1995 年 4 月 5-8 日，佛罗里达州博卡拉顿

• 批准号: 9505000
• 负责人: Robert France
• 金额: $ 0.9万
• 依托单位: Florida Atlantic University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1995
• 资助国家: 美国
• 起止时间: 1995-04-15 至 1995-09-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9505000&HistoricalAwards=false
• 关键词: 1995; Workshop; Industrial; Strength; Formal

This award supported the 1995 Workshop on Industrial Strength Formal Specification Techniques (WIFT'95), April 5-8, l995, Boca Raton, FL, brought together software engineering professionals from around the world to report on, analyze, and synthesize experiences related to the industrial applications of formal specification techniques. Tutorials established formal methods tools, techniques and methods that are currently used in industries and government agencies. The general technical session focused on the industrial applications of formal methods. Group sessions provided highly-focused and structured forums for analyzing and synthesizing experiences related to the industrial uses of formal methods. A tools session provided demonstrations of tools supporting the building and manipulation of formal specifications.

该奖项支持了1995年4月5日至8日在佛罗里达州博卡拉顿举行的1995年工业强度形式规格说明技术研讨会（WIFT'95），该研讨会汇集了来自世界各地的软件工程专业人员，以报告、分析和综合与形式规格说明技术的工业应用相关的经验。 图坦卡蒙建立了正式的方法工具，技术和方法，目前在工业和政府机构使用。16.一般性技术会议侧重于正式方法的工业应用。小组会议为分析和综合与正式方法的工业应用有关的经验提供了重点突出的结构化论坛。 工具会议提供了支持正式规格的建立和操作的工具演示。