A real-time specification language

被引：0

作者：

do Amaral, FN

Haeusler, EH

Endler, M

机构：

来源：

ADVANCES IN LOGIC, ARTIFICIAL INTELLIGENCE AND ROBOTICS | 2002年 / 85卷

关键词：

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

A specification language for real-time software systems is presented. Notions from Category Theory are used to specify how the components of a system should interact. The potential role of the proposed language in the search for interoperability of specification formalisms is briefly discussed.

引用

页码：194 / 201

页数：8

共 50 条

[1] MODECHART - A SPECIFICATION LANGUAGE FOR REAL-TIME SYSTEMS
JAHANIAN, F
MOK, AK
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1994, 20 (12) : 933 - 947
[2] A SPECIFICATION LANGUAGE FOR RELIABLE REAL-TIME SYSTEMS
WUPPER, H
VYTOPIL, J
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1988, 331 : 111 - 127
[3] rmSWSpec: Real-Time Monitoring of Service Workflow Specification Language for Specification Patterns
Viriyasitavat, Wattana
Xu, Li Da
Bi, Zhuming
[J]. IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2019, 15 (07) : 4021 - 4032
[4] RT-ASLAN - A SPECIFICATION LANGUAGE FOR REAL-TIME SYSTEMS
AUERNHEIMER, B
KEMMERER, RA
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1986, 12 (09) : 879 - 889
[5] SWSL - A SYNTHETIC WORKLOAD SPECIFICATION LANGUAGE FOR REAL-TIME SYSTEMS
KISKIS, DL
SHIN, KG
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1994, 20 (10) : 798 - 811
[6] Incremental verification of architecture specification language for real-time systems
Tsai, JJP
Sistla, AP
Sahay, A
Paul, R
[J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1998, 8 (03) : 347 - 360
[7] Incremental verification of architecture specification language for real-time systems
Tsai, JJP
Sistla, AP
Paul, R
[J]. THIRD INTERNATIONAL WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS, 1997, : 215 - 222
[8] Intertwining Implementation with the RealSpec Executable Real-Time Specification Language
Khwaja, Amir A.
Urban, Joseph E.
[J]. 22ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING & KNOWLEDGE ENGINEERING (SEKE 2010), 2010, : 649 - 652
[9] Preciseness for Predictability with the RealSpec Real-Time Executable Specification Language
Khwaja, Amir A.
Urban, Joseph E.
[J]. 2010 IEEE AEROSPACE CONFERENCE PROCEEDINGS, 2010,
[10] EMBEDDING TIME GRANULARITY IN A LOGICAL SPECIFICATION LANGUAGE FOR SYNCHRONOUS REAL-TIME SYSTEMS
CIAPESSONI, E
CORSETTI, E
MONTANARI, A
SANPIETRO, P
[J]. SCIENCE OF COMPUTER PROGRAMMING, 1993, 20 (1-2) : 141 - 171

← 1 2 3 4 5 →