DESIGN TRANSFORMATION AND ABSTRACT DESIGN PROTOTYPING

被引：2
|
作者：
FRIEL, G
BUDGEN, D
机构：
[1] Department of Computing Science, University of Stirling, Stirling
来源：
INFORMATION AND SOFTWARE TECHNOLOGY | 1991年 / 33卷 / 09期
关键词：
DESIGN MODEL; SOFTWARE TOOLS; PROTOTYPING; MASCOT; EXECUTABLE SPECIFICATIONS;
D O I：
10.1016/0950-5849(91)90044-C
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
In the process of software design, both 'structured' diagrams as well as mathematical formalisms can provide useful ways of expressing a designer's ideas about a solution to a problem. The paper describes a transformation tool that generates executable specifications in the CSP/me too notation, taking as its input a high-level MASCOT design. The resulting specifications can then be used to 'execute' the design, so that the designer can explore the dynamic behaviour of the intended system. The design modelling strategies of the two forms are discussed and the ways in which their use can be combined to support the development of a system design examined.
引用
收藏
页码：707 / 719
页数：13
相关论文
共 50 条
  • [41] TRILLIUM - AN INTERFACE DESIGN PROTOTYPING TOOL
    EASTERBY, R
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 1987, 29 (04) : 207 - 213
  • [42] Rapid prototyping for communications design validation
    Courtoy, M
    [J]. SOUTHCON/96 - CONFERENCE RECORD, 1996, : 49 - 54
  • [43] Modern Prototyping as a Basis for Industrial Design
    Chekardovskaya, I. A.
    Bakanovskaya, L. N.
    [J]. INTERNATIONAL SCIENTIFIC-PRACTICAL CONFERENCE OF STUDENTS, GRADUATE STUDENTS AND YOUNG SCIENTISTS TRANSPORT AND STORAGE OF HYDROCARBONS, 2016, 154
  • [44] Design and Prototyping of Micro Centrifugal Compressor
    Shimpei Mizuki
    Gaku Minorikawa
    Toshiyuki Hirano
    Yuichiro Asaga
    Naoki Yamaguchi
    Yutaka Ohta
    Eisuke Outa
    [J]. Journal of Thermal Science, 2003, (01) : 33 - 37
  • [45] Design and Prototyping of GEM Electronic Board
    Wang, Ke
    Xue, Zhihua
    Wang, Dayong
    Ban, Yong
    [J]. Yuanzineng Kexue Jishu/Atomic Energy Science and Technology, 2020, 54 (06): : 1013 - 1017
  • [46] Electronic Stethoscope Design, Prototyping and Testing
    Mantji, Boitumelo N.
    Oloo, Fiona R. A.
    [J]. PROCEEDINGS OF 18TH INTERNATIONAL CONFERENCE ON SMART TECHNOLOGIES (IEEE EUROCON 2019), 2019,
  • [47] Virtual prototyping for concurrent AEC design
    Smith, RA
    Tizani, W
    [J]. CONCURRENT ENGINEERING: ADVANCED DESIGN, PRODUCTION AND MANAGEMENT SYSTEMS, 2003, : 899 - 904
  • [48] Reconfigurable prototyping speeds complex design
    Lara, G
    [J]. ELECTRONIC PRODUCTS MAGAZINE, 2000, : 21 - 22
  • [49] Design patterns for rapid visualization prototyping
    Giereth, Mark
    Ertl, Thomas
    [J]. PROCEEDINGS OF THE 12TH INTERNATIONAL INFORMATION VISUALISATION, 2008, : 569 - 574
  • [50] Design and Prototyping of Electric Vehicles in Tunisia
    Rejeb, R.
    [J]. 2012 14TH INTERNATIONAL CONFERENCE ON TRANSPARENT OPTICAL NETWORKS (ICTON 2012), 2012,
12345