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 条
  • [31] FORMAL SPECIFICATION LANGUAGES
    PARKER, J
    TITTERINGTON, G
    ELECTRONICS AND POWER, 1986, 32 (06): : 441 - 443
  • [32] Executable Formal Specification and Validation of NoC Communication Infrastructures
    Borrione, Dominique
    Helmy, Amr
    Pierre, Laurence
    Schmaltz, Julien
    SBCCI 2008: 21ST SYMPOSIUM ON INTEGRATED CIRCUITS AND SYSTEMS DESIGN, PROCEEDINGS, 2008, : 176 - 181
  • [33] An executable specification language based on message sequence charts
    Roychoudhury, A
    Thiagarajan, PS
    FORMAL METHODS AT THE CROSSROADS: FROM PANACEA TO FOUNDATIONAL SUPPORT, 2003, 2757 : 226 - 241
  • [34] A formal and executable specification of the Internet open trading protocol
    Ouyang, C
    Kristensen, LM
    Billington, J
    E-COMMERCE AND WEB TECHNOLOGIES, PROCEEDINGS, 2002, 2455 : 377 - 387
  • [35] A collaborative visual development environment to support executable specification
    Chen, X
    Ying, J
    He, ZJ
    PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN & COMPUTER GRAPHICS, 1999, : 282 - 286
  • [36] AN EXECUTABLE SPECIFICATION LANGUAGE FOR ABSTRACT DATA-TYPES
    BELKHOUCHE, B
    URBAN, JE
    TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1984, 3 (04): : 247 - 251
  • [37] SALIENT FEATURES OF AN EXECUTABLE SPECIFICATION LANGUAGE AND ITS ENVIRONMENT
    ZAVE, P
    SCHELL, W
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1986, 12 (02) : 312 - 325
  • [38] Executable specification formalism representing abstract data types
    Technical Univ of Budapest, Budapest, Hungary
    Period Polytech Electr Eng, 2 (85-100):
  • [39] NUSL - AN EXECUTABLE SPECIFICATION LANGUAGE BASED ON DATA ABSTRACTION
    JIANG, XJ
    XU, YS
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 328 : 124 - 138
  • [40] An executable specification language for planning attacks to security protocols
    Aiello, LC
    Massacci, F
    13TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS, 2000, : 88 - 102
12345