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 条
  • [41] Tool Support for Fault Localization using Architectural Models
    Soria, Alvaro
    Diaz-Pace, J. Andres
    Campo, Marcelo R.
    13TH EUROPEAN CONFERENCE ON SOFTWARE MAINTENANCE AND REENGINEERING: CSMR 2009, PROCEEDINGS, 2009, : 59 - 68
  • [42] USING A GROUP DECISION SUPPORT SYSTEM AS A TEACHING TOOL
    AIKEN, MW
    JOURNAL OF COMPUTER-BASED INSTRUCTION, 1992, 19 (03): : 82 - 85
  • [43] Using a decision support tool for healthcare technology assessment
    Sloane, EB
    IEEE ENGINEERING IN MEDICINE AND BIOLOGY MAGAZINE, 2004, 23 (03): : 42 - 55
  • [44] DEVELOPING ADA PROGRAMS USING THE VIENNA DEVELOPMENT METHOD (VDM)
    JACKSON, MI
    SOFTWARE-PRACTICE & EXPERIENCE, 1985, 15 (03): : 305 - 318
  • [45] A FORMAL SEMANTICS FOR A DATA-FLOW MACHINE - USING VDM
    JONES, KD
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 252 : 331 - 355
  • [46] RESIDENT EDUCATION USING THE NEAR4KIDS AIRWAY BUNDLE: VALIDATION OF A SCORING TOOL
    Harwayne-Gidansky, Ilana
    Polikoff, Lee
    Malone, Matthew
    Glater, Lily
    Page-Goertz, Christopher
    Pinto, Matthew
    Nett, Sholeen
    Nadkarni, Vinay
    Nishisaki, Akira
    CRITICAL CARE MEDICINE, 2022, 50 (01) : 528 - 528
  • [47] A FORMAL DESCRIPTION OF OBJECT-ORIENTED PROGRAMMING USING VDM
    MINKOWITZ, C
    HENDERSON, P
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 252 : 237 - 259
  • [48] Making MyPyramid for kids a successful tool in nutrition education
    Peregrin, T
    Ferroli, C
    Kandell, L
    Matthews, B
    JOURNAL OF THE AMERICAN DIETETIC ASSOCIATION, 2006, 106 (05) : 656 - 658
  • [49] SEE and SEE: An educational tool for kids with hard of hearing
    Petrantonakis, Panagiotis
    Kosmidou, Vasiliki
    Nikolaraizi, Magda
    Koutsogiorgou, Sofia
    Hadjileontiadis, Leontios J.
    8TH IEEE INTERNATIONAL CONFERENCE ON ADVANCED LEARNING TECHNOLOGIES, PROCEEDINGS, 2008, : 1032 - +
  • [50] 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
12345