EXPERIENCE USING VDM IN STC

被引：0

作者：

CRISPIN, RJ

机构：

来源：

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：19 / 32

页数：14

共 50 条

[21] A FORMAL SEMANTICS FOR A DATA-FLOW MACHINE - USING VDM
JONES, KD
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 252 : 331 - 355
[22] A FORMAL DESCRIPTION OF OBJECT-ORIENTED PROGRAMMING USING VDM
MINKOWITZ, C
HENDERSON, P
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 252 : 237 - 259
[23] Linking VDM and Z
Woodcock, Jim
Freitas, Leo
ICECCS 2008: THIRTEENTH IEEE INTERNATIONAL CONFERENCE ON THE ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2008, : 143 - 152
[24] A VDM SUBSET COMPILER
BLAUE, C
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 551 : 697 - 698
[25] *VDM OG VEM
BADEN, H
NORDISK MEDICIN, 1953, 50 (47) : 1620 - 1620
[26] DESCRIPTION AND DEVELOPMENT SOFTWARE SYSTEMS BY USING TIL SCRIPT AND VDM
Chupac, Lubos
Mudron, Ivan
Mensik, Marek
GEOCONFERENCE ON INFORMATICS, GEOINFORMATICS AND REMOTE SENSING - CONFERENCE PROCEEDINGS, VOL I, 2013, : 93 - 100
[27] VDM "The future will be printed"
不详
WOCHENBLATT FUR PAPIERFABRIKATION, 2013, 141 (06): : 359 - 359
[28] FROM VDM TO RAISE
PREHN, S
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 252 : 141 - 150
[29] INTRODUCTION TO THE VDM TUTORIAL
ANAIRCHINNIGH, MM
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 252 : 356 - 361
[30] PROGRAMMING WITH VDM DOMAINS
SCHMIDT, U
HORCHER, HM
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 428 : 122 - 134