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 条
  • [11] TEST CASE SELECTION USING VDM
    SCULLARD, GT
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 328 : 178 - 186
  • [12] Towards Verifying VDM Using SPIN
    Lin, Hsin-Hung
    Omori, Yoichi
    Kusakabe, Shigeru
    Araki, Keijiro
    FORMAL TECHNIQUES FOR SAFETY-CRITICAL SYSTEMS, (FTSCS 2015), 2016, 596 : 241 - 256
  • [13] With Support, Most Kids Will Be Fine
    不详
    JAMA-JOURNAL OF THE AMERICAN MEDICAL ASSOCIATION, 2021, 326 (21): : 2118 - 2119
  • [14] The aim of the game is to support kids
    Webster, Rob
    PSYCHOLOGIST, 2021, 34 : 50 - 52
  • [15] Tool Support for Creativity Using Externalizations
    Warr, Andrew
    O'Neill, Eamonn
    CC2007-CREATIVITY AND COGNITION 2007 SEEDING CREATIVITY: TOOLS, MEDIA, AND ENVIRONMENTS, 2007, : 127 - 136
  • [16] Tool support for creativity using externalizations
    Warr, Andrew
    O'Neill, Eamonn
    Creativity and Cognition 2007, CC2007 - Seeding Creativity: Tools, Media, and Environments, 2007, : 127 - 136
  • [17] Tool support for development using patterns
    Neal, S
    Linington, PF
    FIFTH IEEE INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING CONFERENCE, PROCEEDINGS, 2001, : 237 - 248
  • [18] USING VDM TO SPECIFY OSI MANAGED OBJECTS
    SIMON, L
    MARSHALL, LS
    IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS, 1992, 2 : 17 - 31
  • [19] Real time formal specification using VDM(++)
    vanKatwijk, J
    Durr, E
    Goldsack, S
    SECOND WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS OF WORDS '96, 1996, : 17 - 24
  • [20] Time is Brain for Kids Too: Using Simulation as a Tool in Pediatric Stroke Education
    Novara, S.
    Marcus, L.
    McGrath, T.
    Tofil, N.
    Gaither, S.
    ANNALS OF NEUROLOGY, 2018, 84 : S410 - S410
12345