Reliable software implementation using domain-specific languages

被引:0
|
作者
Spinellis, D [1 ]
机构
[1] Univ Aegean, Dept Informat & Commun Syst, Kifissia, Greece
关键词
D O I
暂无
中图分类号
T [工业技术];
学科分类号
08 ;
摘要
We describe the use of domain-specific languages for expressing critical design values and constraints in a civil engineering CAD software application. Through the use of these specialised languages information that is critical to the correct operation of the software can be expressed in a form that can be easily drafted, verified, and maintained by domain experts (civil engineers) thus minimising the risk inherent from the mediation of software engineers. Although domain-specific languages can offer increased expressiveness, runtime efficiency, and reliability at a modest implementation cost, system architects should take into account the issues of training costs, tool support, and software process integration.
引用
收藏
页码:627 / 631
页数:5
相关论文
共 50 条
  • [41] Functional Programming for Domain-Specific Languages
    Gibbons, Jeremy
    CENTRAL EUROPEAN FUNCTIONAL PROGRAMMING SCHOOL, CEFP 2013, 2015, 8606 : 1 - 28
  • [42] Domain-Specific Languages for Enterprise Systems
    Andersen, Jesper
    Bahr, Patrick
    Henglein, Fritz
    Hvitved, Tom
    LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: TECHNOLOGIES FOR MASTERING CHANGE, PT I, 2014, 8802 : 73 - 95
  • [43] Writing Domain-Specific Languages for BeepBeep
    Halle, Sylvain
    Khoury, Raphael
    RUNTIME VERIFICATION (RV 2018), 2018, 11237 : 447 - 457
  • [44] Unit Testing for Domain-Specific Languages
    Wu, Hui
    Gray, Jeff
    Mernik, Marjan
    DOMAIN-SPECIFIC LANGUAGES, PROCEEDINGS, 2009, 5658 : 125 - +
  • [45] A Survey on Domain-Specific Languages in Robotics
    Nordmann, Arne
    Hochgeschwender, Nico
    Wrede, Sebastian
    SIMULATION, MODELING, AND PROGRAMMING FOR AUTONOMOUS ROBOTS (SIMPAR 2014), 2014, 8810 : 195 - 206
  • [46] A Module System for Domain-Specific Languages
    Jackson, Ethan K.
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2014, 14 : 771 - 785
  • [47] A domain-specific software architecture
    Geng, GY
    Zhong, CH
    Chen, W
    1997 IEEE INTERNATIONAL CONFERENCE ON INTELLIGENT PROCESSING SYSTEMS, VOLS 1 & 2, 1997, : 1833 - 1837
  • [48] Domain-specific languages for ecological modelling
    Holst, Niels
    Belete, Getachew F.
    ECOLOGICAL INFORMATICS, 2015, 27 : 26 - 38
  • [49] Testing domain-specific languages in eclipse
    Wu, Hui
    Gray, Jeff
    Proc Conf Object Orient Program Syst Lang Appl OOPSLA, (173-174):
  • [50] Composing domain-specific languages for wide-scope software engineering applications
    Estublier, J
    Vega, G
    Ionita, AD
    MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2005, 3713 : 69 - 83