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 条

[1] Animating a non-executable formal specification with a distributed symbolic language
Ciancarini, P
Cimato, S
DESIGN AND IMPLEMENTATION OF SYMBOLIC COMPUTATION SYSTEMS, 1996, 1128 : 200 - 201
[2] Making the Non-executable ACATS Tests Executable
Eilers, Dan
Koskinen, Tero
SIGADA 2011: PROCEEDINGS OF THE 2011 ACM INTERNATIONAL CONFERENCE ON ADA AND RELATED TECHNOLOGIES, 2011, : 75 - 80
[3] Executable source code and non-executable source code: analysis and relationships
Robles, G
Gonzalez-Barahona, JM
FOURTH IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS, 2004, : 149 - 157
[4] Anatomy of Exploit Code in Non-Executable Files using Virtualization
Choi, YoungHan
Jang, InSook
Oh, HyungGeun
Lee, DoHoon
THIRD 2008 INTERNATIONAL CONFERENCE ON CONVERGENCE AND HYBRID INFORMATION TECHNOLOGY, VOL 2, PROCEEDINGS, 2008, : 574 - 577
[5] Fixing Up Non-executable Operations in UML/OCL Conceptual Schemas
Oriol, Xavier
Teniente, Ernest
Tort, Albert
CONCEPTUAL MODELING, 2014, 8824 : 232 - 245
[6] IDS for Detecting Malicious Non-Executable Files Using Dynamic Analysis
Bazzi, Ahmad
Onozato, Yoshikuni
2013 15TH ASIA-PACIFIC NETWORK OPERATIONS AND MANAGEMENT SYMPOSIUM (APNOMS), 2013,
[7] Verification of the ROS NavFn planner using executable specification languages
Martin-Martin, Enrique
Montenegro, Manuel
Riesco, Adrian
Rodriguez-Hortala, Juan
Rubio, Ruben
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2023, 132
[8] The state of executable real-time specification languages and the need for advancements
Khwaja, Amir A.
Urban, Joseph E.
ISORC 2008: 11TH IEEE SYMPOSIUM ON OBJECT/COMPONENT/SERVICE-ORIENTED REAL-TIME DISTRIBUTED COMPUTING - PROCEEDINGS, 2008, : 577 - +
[9] An Executable Specification for SPARQL
Bornea, Mihaela
Dolby, Julian
Fokoue, Achille
Kementsietsidis, Anastasios
Srinivas, Kavitha
Vaziri, Mandana
WEB INFORMATION SYSTEMS ENGINEERING - WISE 2016, PT II, 2016, 10042 : 298 - 305
[10] UML for executable specification
Douglass, BP
EDN, 2001, 46 (18) : 83 - +

← 1 2 3 4 5 →