0
喜欢
0
书签
声明论文
Validating Voice Communication Requirements Using Lightweight Formal Methods   
摘  要:   To show that lightweight approaches can facilitate the technological transfer of formal development methods, the authors report on their experience using VDM++ to specify a safety-critical air traffic control voice communication system. Their approach raised both the quality of the informal system specification and the efficiency of the system test suites they used
发  表:   IEEE Software  2000

论文统计图
共享有4个版本
 [展开全部版本] 

Bibtex
创新指数 
阅读指数 
重现指数 
论文点评
还没有人点评哦

Feedback
Feedback
Feedback
我想反馈:
排行榜