Formal methods adding value behind the scenes

被引：0

作者：

Whittaker, P

Reed, M

Goldsmith, M

机构：

来源：

PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-V | 2000年

关键词：

UML-RT; protocols; model-checking; CSP; FDR;

D O I：

暂无

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

A popular CASE tool has features which appeal to the formalist, but are severely underused by practitioners. The reason is undoubtedly that there is nothing within the toolset that can take advantage of the extra information, relegating it to a documentary role. This paper describes how a formed tool can be integrated behind the scenes, enabling true value to be derived from making the extra effort.

引用

页码：2969 / 2973

页数：5