STANDARDS FOR NON-EXECUTABLE SPECIFICATION LANGUAGES

被引：1
|
作者：
LARSEN, PG [1 ]
PLAT, N [1 ]
机构：
[1] DELFT UNIV TECHNOL,FAC TECH MATH & INFORMAT,2600 AJ DELFT,NETHERLANDS
来源：
COMPUTER JOURNAL | 1992年 / 35卷 / 06期
关键词：
D O I：
10.1093/comjnl/35.6.567
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper discusses the impact of the standardisation of (non-executable) specification languages; standardisation can increase the interest in, and acceptance of, a specification language, and it stimulates the development of tool support for such a language. It is argued that a specification language should preferably be formally defined. The ISO/VDM-SL standard (under construction) is used as an illustration. The fact that many specification languages are non-executable causes problems in the areas of conformance and compliance. These problems are touched upon.
引用
收藏
页码：567 / 573
页数：7
相关论文
共 50 条
  • [41] Automating functional coverage analysis based on an executable specification
    Regimbal, S
    Lemire, JF
    Savaria, Y
    Bois, G
    Aboulhamid, EM
    Baron, A
    3RD IEEE INTERNATIONAL WORKSHOP ON SYSTEM-ON-CHIP FOR REAL-TIME APPLICATIONS, PROCEEDINGS, 2003, : 228 - 234
  • [42] Uploadable executable specification concept for spacecraft autonomy systems
    Cancro, George
    Innanen, William
    Turner, Russell
    Monaco, Christopher
    Trela, Michael
    2007 IEEE AEROSPACE CONFERENCE, VOLS 1-9, 2007, : 3512 - 3523
  • [43] Executable specification of open multi-agent systems
    Artikis, Alexander
    Sergot, Marek
    LOGIC JOURNAL OF THE IGPL, 2010, 18 (01) : 31 - 65
  • [44] UTILIZING AN EXECUTABLE SPECIFICATION LANGUAGE FOR AN INFORMATION-SYSTEM
    URBAN, SD
    URBAN, JE
    DOMINICK, WD
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1985, 11 (07) : 598 - 605
  • [45] Executable Biochemical Space for Specification and Analysis of Biochemical Systems
    Trojak, Matej
    Safranek, David
    Brim, Lubos
    Salagovic, Jakub
    Cerveny, Jan
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2020, 350 (350) : 91 - 116
  • [46] AN EXECUTABLE SUBSET OF META-IV WITH LOOSE SPECIFICATION
    LARSEN, PG
    LASSEN, PB
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 551 : 604 - 618
  • [47] Design of an Executable Specification Language Using Eye Tracking
    Simhandl, Georg
    Paulweber, Philipp
    Zdun, Uwe
    2019 IEEE/ACM 6TH INTERNATIONAL WORKSHOP ON EYE MOVEMENTS IN PROGRAMMING (EMIP 2019), 2019, : 37 - 40
  • [48] RealSpec: An Executable Specification Language for Modeling Control Systems
    Khwaja, Amir A.
    Urban, Joseph E.
    PROCEEDINGS OF THE 12TH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT/COMPONENT/SERVICE-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, 2009, : 219 - +
  • [49] Executable biochemical space for specification and analysis of biochemical systems
    Trojak, Matej
    Safranek, David
    Mertova, Lukrecia
    Brim, Lubos
    PLOS ONE, 2020, 15 (09):
  • [50] An executable interface specification for industrial embedded system design
    Huang, Jinfeng
    Voeten, Jeroen
    Wolfs, Serge
    Coopmans, Mark
    QSIC 2008: PROCEEDINGS OF THE EIGHTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, 2008, : 37 - +
12345