Using KIDS as a tool support for VDM

被引：1

|

作者：

Ledru, Y ^{[1
]}

机构：

[1] IMAG LAB GRENOBLE,LAB GENIE INFORMAT,F-38041 GRENOBLE 9,FRANCE

来源：

PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING | 1996年

关键词：

D O I：

10.1109/ICSE.1996.493419

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：236 / 245

页数：10

相关论文

共 50 条

[1] REASONING ABOUT VDM DEVELOPMENTS USING THE VDM SUPPORT TOOL IN MURAL
BICARREGUI, JC
RITCHIE, B
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 551 : 371 - 388
[2] Specification and Animation of a Bank Transfer using KIDS/VDM
Ledru Y.
Automated Software Engineering, 1997, 4 (1) : 33 - 51
[3] Specification and animation of a bank transfer using KIDS/VDM
Ledru, Yves
Automated Software Engineering, 1997, 4 (01): : 33 - 51
[4] Connecting UML and VDM plus plus with Open Tool Support
Lausdahl, Kenneth
Lintrup, Hans Kristian Agerlund
Larsen, Peter Gorm
FM 2009: FORMAL METHODS, PROCEEDINGS, 2009, 5850 : 563 - 578
[5] SUPPORT ENVIRONMENTS FOR VDM
JONES, KD
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 252 : 110 - 117
[6] SOFTWARE-SUPPORT FOR THE REFINEMENT OF VDM SPECIFICATIONS
KILPATRICK, P
MCPARLAND, P
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 328 : 459 - 475
[7] VDMTools: advances in support for formal modeling in VDM
Fitzgerald, John
Larsen, Peter Gorm
Sahara, Shin
ACM SIGPLAN NOTICES, 2008, 43 (02) : 3 - 11
[8] EXPERIENCE USING VDM IN STC
CRISPIN, RJ
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 252 : 19 - 32
[9] USING ABC TO PROTOTYPE VDM SPECIFICATIONS
KANS, A
HAYTON, C
SIGPLAN NOTICES, 1994, 29 (01): : 27 - 36
[10] A BUFFERING SYSTEM IMPLEMENTATION USING VDM
WEBERWULFF, D
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 428 : 135 - 149

← 1 2 3 4 5 →