首页> 外文OA文献 >On Developing and Verifying Design Abstractions for Reliable Concurrent Programming in Ada

【2h】

On Developing and Verifying Design Abstractions for Reliable Concurrent Programming in Ada

机译：ada中可靠并发编程设计抽象的开发与验证

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
A. Burns; A. J. Wellings; A.M. Koelmans; M. Koutny; A. Romanovsky; A. Yakovlev;
展开▼
作者单位

展开▼
年度 2007
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Modelling and Assertion-Based Verification of Run-Time Reconfigurable Designs Using Functional Programming Abstractions [J] . Bahrain N. Uchevler, Kjetil Svarstad International journal of reconfigurable computing . 2018,第期

机译：使用功能编程抽象对运行时可重新配置设计进行基于建模和断言的验证
2. Modelling and Assertion-Based Verification of Run-Time Reconfigurable Designs Using Functional Programming Abstractions [J] . Bahram N. Uchevler, Kjetil Svarstad International journal of reconfigurable computing . 2018,第1aaPagea1期

机译：使用功能编程抽象对运行时可重配置设计进行基于建模和断言的验证
3. Highly dependable concurrent programming using design for verification [J] . Aysu Betin-Can, Tevfik Bultan Formal Aspects of Computing . 2007,第2期

机译：高度可靠的并发编程，使用设计进行验证
4. On developing and verifying design abstractions for reliable concurrent programming in Ada [C] . A. Burns, A. J. Wellings, A. M. Koelmans, International workshop on Real-time Ada workshop . 2001

机译：关于开发和验证Ada中可靠并发编程的设计抽象
5. A counterexample guided abstraction refinement framework for verifying concurrent C programs. [D] . Chaki, Sagar J. 2005

机译：一个反例指导抽象精炼框架，用于验证并发C程序。
6. Using Instructional Design Analyze Design Develop Implement and Evaluate to Develop e-Learning Modules to Disseminate Supported Employment for Community Behavioral Health Treatment Programs in New York State [O] . Sapana R. Patel, Paul J. Margolies, Nancy H. Covell, 2018

机译：使用教学设计分析设计开发实施和评估开发电子学习模块以推广纽约州社区行为健康治疗计划的受支持就业机会
7. Closer to Reliable Software: Verifying Functional Behaviour of Concurrent Programs [O] . Zaharieva M. 2015

机译：更接近可靠的软件：验证并发程序的功能行为
8. Developing and Verifying Design Abstractions for Reliable Concurrent Programmingin Ada [R] . Burns, A., Wellings, A. J., Koelmans, A. M., 2001

机译：开发和验证ada中可靠并发编程的设计抽象

On Developing and Verifying Design Abstractions for Reliable Concurrent Programming in Ada

著录项

引文网络

相似文献

相关主题

期刊订阅