Deriving programs from their Z specifications

被引：0

作者：

Cruz, Ricardo Calderon ^{[1
]}

机构：

[1] Inst Invest Elect, Temixco 62490, Morelos, Mexico

来源：

CERMA2006: ELECTRONICS, ROBOTICS AND AUTOMOTIVE MECHANICS CONFERENCE VOL 2, PROCEEDINGS | 2006年

关键词：

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

This paper proposes techniques for deriving programs from their abstract specifications, more specifically proposes refinement techniques for the schema calculus of Z specification language. These techniques are based on a theory for specification refinement and program development.

引用

下载

页码：297 / 302

页数：6

共 50 条

[1] Filter promotion transformation strategies for deriving efficient programs from Z specifications
Abdallah, AE
ICFEM 2000: THIRD INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS, 2000, : 157 - 167
[2] DERIVING PARALLEL PROGRAMS FROM SPECIFICATIONS USING COST INFORMATION
SKILLICORN, DB
SCIENCE OF COMPUTER PROGRAMMING, 1993, 20 (03) : 205 - 221
[3] Deriving Specifications of Control Programs for Cyber Physical Systems
Burns, Alan
Hayes, Ian J.
Jones, Cliff B.
COMPUTER JOURNAL, 2020, 63 (05): : 774 - 790
[4] Deriving protocol specifications from service specifications written in LOTOS
Universite de Montreal, Montreal, Canada
Distrib Comput, 1 (29-47):
[5] DERIVING PROTOCOL SPECIFICATIONS FROM SERVICE SPECIFICATIONS INCLUDING PARAMETERS
KAPUSKOLAR, M
MICROPROCESSING AND MICROPROGRAMMING, 1991, 32 (1-5): : 731 - 738
[6] DERIVING PROTOCOL SPECIFICATIONS FROM SERVICE SPECIFICATIONS INCLUDING MULTIRENDEZVOUS
KAPUSKOLAR, M
MICROPROCESSING AND MICROPROGRAMMING, 1992, 35 (1-5): : 369 - 374
[7] Deriving protocol specifications from service specifications written in LOTOS
Kant, C
Higashino, T
vonBochmann, G
DISTRIBUTED COMPUTING, 1996, 10 (01) : 29 - 47
[8] DERIVING PROTOCOL SPECIFICATIONS FROM SERVICE SPECIFICATIONS INCLUDING PARAMETERS
GOTZHEIN, R
VONBOCHMANN, G
ACM TRANSACTIONS ON COMPUTER SYSTEMS, 1990, 8 (04): : 255 - 283
[9] NEW RESULTS ON DERIVING PROTOCOL SPECIFICATIONS FROM SERVICE SPECIFICATIONS
KHENDEK, F
VONBOCHMANN, G
KANT, C
COMMUNICATIONS ARCHITECTURES & PROTOCOLS: SIGCOMM 89 SYMPOSIUM, 1989, 19 : 136 - 145
[10] Deriving occam programs through the refinement of unity-like specifications
Brown, N.
Mery, D.
Proceedings of the European Workshops on Parallel Computing, 1992,

← 1 2 3 4 5 →