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 条

[21] Translating programming languages into executable codes
Department of Informatics, University Lucian Blaga of Sibiu, 5-7 Dr. Ioan Ratiu Street, Sibiu, Romania
WSEAS Trans. Inf. Sci. Appl., 2007, 1 (145-152):
[22] An executable specification and verifier for relaxed memory order
Park, SJ
Dill, DL
IEEE TRANSACTIONS ON COMPUTERS, 1999, 48 (02) : 227 - 235
[23] MULTIPLE VIEWS OF AN EXECUTABLE SOFTWARE SPECIFICATION LANGUAGE
TUNG, Y
KHWAJA, AA
URBAN, JE
JOURNAL OF SYSTEMS AND SOFTWARE, 1993, 21 (03) : 305 - 319
[24] Executable specification language for parallel symbolic computation
Godlevsky, AB
Hluchy, L
EURO-PAR 2000 PARALLEL PROCESSING, PROCEEDINGS, 2000, 1900 : 754 - 757
[25] Executable specification is the key to hardware/software codesign
Page, Ian
New Electronics, 1994, 27 (13): : 27 - 28
[26] Automatic detection of interaction vulnerabilities in an executable specification
Feary, Michael
ENGINEERING PSYCHOLOGY AND COGNITIVE ERGONOMICS, PROCEEDINGS, 2007, 4562 : 487 - 496
[27] Executable Specification of Cryptofraglets in Maude for Security Verification
Martinelli, Fabio
Petrocchi, Marinella
BIOINSPIRED MODELS OF NETWORK, INFORMATION, AND COMPUTING SYSTEMS, 2010, 39 : 11 - 23
[28] EXERCISE IN JSD: DERIVATION OF EXECUTABLE SPECIFICATION.
Javey, S.
Proceedings of the Hawaii International Conference on System Science, 1986, 2 : 89 - 97
[29] Evolutionary development model supporting executable specification
Wu, Ming-Hui
Ying, Jing
He, Zhi-Jun
Ruan Jian Xue Bao/Journal of Software, 2000, 11 (11): : 1505 - 1509
[30] Languages for the specification of software
Cooke, D
Gates, A
Demirors, E
Demirors, O
Tanik, MM
Kramer, B
JOURNAL OF SYSTEMS AND SOFTWARE, 1996, 32 (03) : 269 - 308

← 1 2 3 4 5 →