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 条
  • [21] NEWSPAPER AS A TOOL FOR TEACHING KIDS TO READ
    SOVERLY, R
    SOVERLY, A
    GIANNINI, A
    MATUSIK, W
    PHI DELTA KAPPAN, 1975, 57 (04) : 260 - 261
  • [22] USING VDM TO SPECIFY MANAGED OBJECT RELATIONSHIPS
    MARSHALL, LS
    SIMON, L
    IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS, 1993, 10 : 263 - 278
  • [23] A negotiation support tool using emotional factors
    Yuasa, M
    Yasumura, Y
    Nitta, K
    JOINT 9TH IFSA WORLD CONGRESS AND 20TH NAFIPS INTERNATIONAL CONFERENCE, PROCEEDINGS, VOLS. 1-5, 2001, : 2906 - 2911
  • [24] Deployment Process using an asset as a support tool
    Calvo-Manzano, Jose A.
    Cuevas, Gonzalo
    San Feliu, Tomas
    Serrano, Ariel
    ACTAS DE LA III CONFERENCIA IBERICA DE SISTEMAS Y TECNOLOGIAS DE LA INFORMACION, VOL 1, 2008, : 423 - 434
  • [25] Using the iPad as a tool to support literacy instruction
    Hutchison, Amy
    Beschorner, Beth
    TECHNOLOGY PEDAGOGY AND EDUCATION, 2015, 24 (04) : 407 - 422
  • [26] Support for Green Logistics Using the GTAlg Tool
    Celinski, Ireneusz
    INTELLIGENT TRANSPORT SYSTEMS AND TRAVEL BEHAVIOUR, 2017, 505 : 121 - 134
  • [27] Validation support for distributed real-time embedded systems in VDM plus
    Fitzgerald, John S.
    Larsen, Peter Gorm
    Tjell, Simon
    Verhoef, Marcel
    HASE 2007: 10TH IEEE HIGH ASSURANCE SYSTEMS ENGINEERING SYMPOSIUM, PROCEEDINGS, 2007, : 331 - +
  • [28] USING VDM WITHIN AN OBJECT-ORIENTED FRAMEWORK
    MARSHALL, LS
    SIMON, L
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 551 : 619 - 628
  • [29] A Comprehensive Formal Testing of Few Attacks on Mobile Ad-hoc Networks By Using VDM-SL Tool Box
    Draz, Umar
    Ali, Tariq
    Asghar, Khurshid
    Jamel, Asis
    Anum, Annan
    Javed, Sarah
    Yasin, Sana
    INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2019, 19 (07): : 116 - 126
  • [30] MODELING SOFTWARE USING VDM (VIENNA DEVELOPMENT METHOD)
    ARISTIDE, M
    TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1990, 9 (04): : 313 - 330
12345