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 条
  • [31] Formalization of Security Properties using VDM-SL
    Tahir, Hafiz Muhammad
    Nadeem, Muhammad
    Shouket, Ayza
    Raza, Zeeshan
    Hussain, Shafique
    Zafar, Nazir Ahmad
    2015 INTERNATIONAL CONFERENCE ON INFORMATION AND COMMUNICATION TECHNOLOGIES (ICICT), 2015,
  • [32] Tool Support for Technology Scouting Using Online Sources
    Tsiporkova, Elena
    Tourwe, Tom
    ADVANCES IN CONCEPTUAL MODELING: RECENT DEVELOPMENTS AND NEW DIRECTIONS, 2011, 6999 : 371 - 376
  • [33] Commentary: Impella support in kids: "Are we there yet?"
    Geoffrion, Tracy R.
    JOURNAL OF THORACIC AND CARDIOVASCULAR SURGERY, 2023, 166 (06): : 1764 - 1765
  • [34] A support tool for specifying requirements using structures of documents
    Uetake, T
    Nagata, M
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 1998, E81D (12) : 1429 - 1438
  • [35] Subject support in collection development: using the bibliometric tool
    Yeoh, Kim Hong
    Kaur, Kiran
    COLLECTION BUILDING, 2008, 27 (04) : 157 - 166
  • [36] Using the PharmCAT tool for Pharmacogenetic clinical decision support
    Tippenhauer, Kevin
    Philips, Marwin
    Largiader, Carlo
    Sariyar, Murat
    BRIEFINGS IN BIOINFORMATICS, 2024, 25 (01)
  • [37] A support tool for English composition using a search engine
    Tsunashima, Yuichi
    Kawasaki, Yuta
    Ando, Kazuaki
    PROCEEDINGS OF SICE ANNUAL CONFERENCE, VOLS 1-8, 2007, : 1588 - 1593
  • [38] Experiences on developing and using a tool support for formal specification
    Mikkonen, T
    RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2003, 2003, 2655 : 297 - 308
  • [39] Tool support for agent development using the prometheus methodology
    Padgham, L
    Thangarajah, J
    Winikoff, M
    QSIC 2005: FIFTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS, 2005, : 383 - 388
  • [40] Using App Reviews for Competitive Analysis: Tool Support
    Shah, Faiz Ali
    Sirts, Kairit
    Pfahl, Dietmar
    PROCEEDINGS OF THE 3RD ACM SIGSOFT INTERNATIONAL WORKSHOP ON APP MARKET ANALYTICS (WAMA '19), 2019, : 40 - 46
12345