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 条
  • [1] MODELING WITH CIMOSA - A CASE-STUDY
    LUTHERER, E
    GHROUD, S
    MARTINEZ, M
    FAVREL, J
    [J]. PRODUCTION MANAGEMENT METHODS, 1994, 19 : 195 - 203
  • [2] MODELING TECHNIQUES - A CASE-STUDY
    PIGNAL, PI
    [J]. PERFORMANCE EVALUATION, 1987, 7 (04) : 337 - 337
  • [3] A CASE-STUDY IN THE MODELING OF GROWTH
    READ, KLQ
    LAWRENCE, CJ
    JORIO, A
    MARIANA, JC
    [J]. COMPUTATIONAL STATISTICS & DATA ANALYSIS, 1992, 13 (04) : 415 - 429
  • [4] ASSOCIATIVE VISUAL AGNOSIA - A CASE-STUDY
    FERRO, JM
    SANTOS, ME
    [J]. CORTEX, 1984, 20 (01) : 121 - 134
  • [5] APPERCEPTIVE VISUAL AGNOSIA - A CASE-STUDY
    SHELTON, PA
    BOWERS, D
    DUARA, R
    HEILMAN, KM
    [J]. BRAIN AND COGNITION, 1994, 25 (01) : 1 - 23
  • [6] NONLINEAR COMPARTMENTAL MODELING - A CASE-STUDY
    RADKE, NF
    WHITE, KP
    KAISER, DL
    OWENS, GK
    [J]. FEDERATION PROCEEDINGS, 1987, 46 (03) : 673 - 673
  • [7] REQUISITE DECISION MODELING - A CASE-STUDY
    PHILLIPS, LD
    [J]. JOURNAL OF THE OPERATIONAL RESEARCH SOCIETY, 1982, 33 (04) : 303 - 311
  • [8] MODELING OF CARDIAC HEMODYNAMICS - A CASE-STUDY
    RASHWAN, AHA
    PRASAD, T
    AHMED, AS
    [J]. MATHEMATICAL MODELLING, 1985, 6 (01): : 31 - 48
  • [9] Energy Modeling for NZEBs: a case-study
    Micono, Carlo
    Zanzottera, Guido
    [J]. 6TH INTERNATIONAL BUILDING PHYSICS CONFERENCE (IBPC 2015), 2015, 78 : 2034 - 2039
  • [10] THE VISUAL LANGUAGE OF ARCHAEOLOGY - A CASE-STUDY OF THE NEANDERTHALS
    MOSER, S
    [J]. ANTIQUITY, 1992, 66 (253) : 831 - 844
12345