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 条

[31] Incremental development of a distributed real-time model of a cardiac pacing system using VDM
Macedo, Hugo Daniel
Larsen, Peter Gorm
Fitzgerald, John
FM 2008: FORMAL METHODS, PROCEEDINGS, 2008, 5014 : 181 - +
[32] DEVELOPMENT OF CONTACT STRESS-ANALYSIS PROGRAMS USING THE HYBRID METHOD OF FEM AND BEM
EZAWA, Y
OKAMOTO, N
COMPUTERS & STRUCTURES, 1996, 58 (01) : 13 - 20
[33] DEVELOPMENT OR DEVELOPERS - DEVELOPING OTHERS AS A MANAGEMENT DEVELOPMENT METHOD
LEIGH, DR
TRAINING AND DEVELOPMENT JOURNAL, 1966, 20 (10): : 42 - 46
[34] DEVELOPMENT OF CONTACT STRESS-ANALYSIS PROGRAMS USING THE HYBRID METHOD OF FEM AND BEM
EZAWA, Y
OKAMOTO, N
COMPUTERS & STRUCTURES, 1995, 57 (04) : 691 - 698
[35] Stakeholder attitudes toward ADA title I: Development of an indirect measurement method
Clarke, NE
Crewe, NM
REHABILITATION COUNSELING BULLETIN, 2000, 43 (02) : 58 - 65
[36] Specifying Electronic Health System with Vienna Development Method Specification Language
Tahir, Hafiz Muhammad
Nadeem, Muhammad
Zafar, Nazir Ahmad
2015 NATIONAL SOFTWARE ENGINEERING CONFERENCE (NSEC), 2015, : 61 - 66
[37] DEVELOPMENT OF OBSERVATION PROGRAMS BY TOTAL STATION AT LEVELLING STATION USING THE METHOD "FROM THE MIDDLE" AND FAN SHAPED METHOD
Rakhymberdina, Marzhan Ye.
Ustavich, Georgy A.
Khasenov, Kaisar B.
INFORMATICS, GEOINFORMATICS AND REMOTE SENSING CONFERENCE PROCEEDINGS, SGEM 2016, VOL II, 2016, : 215 - 222
[38] A formal methods case study: Using light-weight VDM for the development of a security system module
Droschl, G
Kuhn, W
Sonneck, G
Thuswald, M
COMPUTER SAFETY, RELIABILITY AND SECURITY, PROCEEDINGS, 2000, 1943 : 187 - 197
[39] Developing ITV Best Teaching Practices and Effective Professional Development Programs
Keengwe, Jared
Bieber, Leslie Ann
Schnellert, Gary
INTERNATIONAL JOURNAL OF INFORMATION AND COMMUNICATION TECHNOLOGY EDUCATION, 2012, 8 (04) : 49 - 61
[40] UNITED STATES AGENCY FOR INTERNATIONAL DEVELOPMENT PROGRAMS IN DAIRYING IN DEVELOPING COUNTRIES
MCCOLLOCH, CL
JOURNAL OF DAIRY SCIENCE, 1963, 46 (10) : 1148 - &

← 1 2 3 4 5 →