DEVELOPING ADA PROGRAMS USING THE VIENNA DEVELOPMENT METHOD (VDM)

被引：11
|
作者：
JACKSON, MI
机构：
来源：
SOFTWARE-PRACTICE & EXPERIENCE | 1985年 / 15卷 / 03期
关键词：
D O I：
10.1002/spe.4380150307
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：305 / 318
页数：14
相关论文
共 50 条
  • [21] A CONCEPTUAL PLANNING METHOD FOR DEVELOPING BIBLIOGRAPHIC INSTRUCTION PROGRAMS
    COTTAM, KM
    DOWELL, CV
    JOURNAL OF ACADEMIC LIBRARIANSHIP, 1981, 7 (04): : 223 - 228
  • [22] Microenterprise development programs in the United States and in the developing world
    Schreiner, M
    Woller, G
    WORLD DEVELOPMENT, 2003, 31 (09) : 1567 - 1580
  • [23] Developing effective professional development programs: a case study
    Guo, Shu
    NEW LIBRARY WORLD, 2014, 115 (11-12) : 542 - 557
  • [24] Developing a Method for Detecting Serial and Parallel Components in Programs
    Haque, Md Amdadul
    Karim, Rezaul
    Arefin, Mohammad Shamsul
    Morimoto, Yasuhiko
    2017 6TH INTERNATIONAL CONFERENCE ON INFORMATICS, ELECTRONICS AND VISION & 2017 7TH INTERNATIONAL SYMPOSIUM IN COMPUTATIONAL MEDICAL AND HEALTH TECHNOLOGY (ICIEV-ISCMHT), 2017,
  • [25] ANALYZING DEADLOCKS AND LIVELOCKS IN CONCURRENT ADA PROGRAMS USING EXTENDED PETRI NETS.
    Cheng, Jingde
    Ushijima, Kazuo
    Memoirs of the Kyushu University, Faculty of Engineering, 1988, 48 (02): : 153 - 165
  • [26] EXPERIENCE OF INTRODUCING THE VIENNA DEVELOPMENT METHOD INTO AN INDUSTRIAL-ORGANIZATION
    JACKSON, MI
    DENVIR, BT
    SHAW, RC
    LECTURE NOTES IN COMPUTER SCIENCE, 1985, 186 : 410 - 422
  • [27] Using Linux and Ada in the development of distributed computer control systems
    Alonso, A
    López, R
    de la Puente, JA
    Alvarez, B
    Iborra, A
    NEW TECHNOLOGIES FOR COMPUTER CONTROL 2001, 2002, : 305 - 310
  • [28] DEVELOPING FACULTY-DEVELOPMENT PROGRAMS - A VIEW FROM THE CHAIR
    REICH, JN
    JOURNAL OF COUNSELING AND DEVELOPMENT, 1994, 72 (05): : 511 - 513
  • [29] Using quality benchmarks for assessing and developing undergraduate programs
    Groen, Jovan
    CANADIAN JOURNAL OF HIGHER EDUCATION, 2014, 44 (02): : 173 - 175
  • [30] An alternate method for using a visual discrimination model (VDM) to optimize softcopy display image quality
    Chakraborty, Dev P.
    JOURNAL OF THE SOCIETY FOR INFORMATION DISPLAY, 2006, 14 (10-12) : 921 - 926
12345