Precise visual modeling: A case-study

被引：0
|
作者：
Howse J. [1 ]
Schuman S. [1 ]
机构：
[1] University of Brighton, Brighton
来源：
Software & Systems Modeling | 2005年 / 4卷 / 3期
基金：
英国工程与自然科学研究理事会;
关键词：
Constraint diagrams; Formal methods;
D O I：
10.1007/s10270-004-0074-x
中图分类号：
学科分类号：
摘要：
We develop an abstract model for our case-study: software to support a "video rental service." This illustrates how a visual formalism, constraint diagrams, may be used in order to specify such systems precisely. © Springer-Verlag 2005.
引用
收藏
页码：310 / 325
页数：15
相关论文
共 50 条
12345