Design of object-oriented, concurrent real-time systems
面向对象的并发实时系统的设计
基本信息
- 批准号:170458-1999
- 负责人:
- 金额:$ 1.22万
- 依托单位:
- 依托单位国家:加拿大
- 项目类别:Discovery Grants Program - Individual
- 财政年份:1999
- 资助国家:加拿大
- 起止时间:1999-01-01 至 2000-12-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
No summary - Aucun sommaire
无摘要- Aucun sommaire
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Leue, Stefan其他文献
K*: A heuristic search algorithm for finding the k shortest paths
- DOI:
10.1016/j.artint.2011.07.003 - 发表时间:
2011-12-01 - 期刊:
- 影响因子:14.4
- 作者:
Aljazzar, Husain;Leue, Stefan - 通讯作者:
Leue, Stefan
Directed Explicit State-Space Search in the Generation of Counterexamples for Stochastic Model Checking
- DOI:
10.1109/tse.2009.57 - 发表时间:
2010-01-01 - 期刊:
- 影响因子:7.4
- 作者:
Aljazzar, Husain;Leue, Stefan - 通讯作者:
Leue, Stefan
Leue, Stefan的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Leue, Stefan', 18)}}的其他基金
Design of object-oriented, concurrent real-time systems
面向对象的并发实时系统的设计
- 批准号:
170458-1999 - 财政年份:2000
- 资助金额:
$ 1.22万 - 项目类别:
Discovery Grants Program - Individual
Software requirements engineering and design based on message sequence charts
基于消息序列图的软件需求工程与设计
- 批准号:
193706-1996 - 财政年份:1999
- 资助金额:
$ 1.22万 - 项目类别:
Collaborative Research and Development Grants
Software requirements engineering and design based on message sequence charts
基于消息序列图的软件需求工程与设计
- 批准号:
193706-1996 - 财政年份:1998
- 资助金额:
$ 1.22万 - 项目类别:
Collaborative Research and Development Grants
Software reliability engineering based on formal methods
基于形式化方法的软件可靠性工程
- 批准号:
170458-1995 - 财政年份:1998
- 资助金额:
$ 1.22万 - 项目类别:
Discovery Grants Program - Individual
Software reliability engineering based on formal methods
基于形式化方法的软件可靠性工程
- 批准号:
170458-1995 - 财政年份:1997
- 资助金额:
$ 1.22万 - 项目类别:
Discovery Grants Program - Individual
Software requirements engineering and design based on message sequence charts
基于消息序列图的软件需求工程与设计
- 批准号:
193706-1996 - 财政年份:1997
- 资助金额:
$ 1.22万 - 项目类别:
Collaborative Research and Development Grants
Software reliability engineering based on formal methods
基于形式化方法的软件可靠性工程
- 批准号:
170458-1995 - 财政年份:1996
- 资助金额:
$ 1.22万 - 项目类别:
Discovery Grants Program - Individual
Software reliability engineering based on formal methods
基于形式化方法的软件可靠性工程
- 批准号:
170458-1995 - 财政年份:1995
- 资助金额:
$ 1.22万 - 项目类别:
Discovery Grants Program - Individual
相似国自然基金
关于图像处理模型的目标函数构造及其数值方法研究
- 批准号:11071228
- 批准年份:2010
- 资助金额:32.0 万元
- 项目类别:面上项目
基于受管理运行时系统的大型软件内存泄漏论问题及解决方法研究
- 批准号:61073010
- 批准年份:2010
- 资助金额:34.0 万元
- 项目类别:面上项目
应用ISOCS监测侵蚀区土壤中137Cs,210Pbex,7Be的适用性
- 批准号:40701099
- 批准年份:2007
- 资助金额:20.0 万元
- 项目类别:青年科学基金项目
面向对象软件规格说明的形式化验证与确认
- 批准号:60373072
- 批准年份:2003
- 资助金额:24.0 万元
- 项目类别:面上项目
相似海外基金
ReDOOP: Reactive Design for Object Oriented Programming
ReDOOP:面向对象编程的反应式设计
- 批准号:
322196540 - 财政年份:2016
- 资助金额:
$ 1.22万 - 项目类别:
Research Grants
Verifying common object-oriented design-patterns in stateful actor-languages
在有状态的参与者语言中验证常见的面向对象的设计模式
- 批准号:
170470060 - 财政年份:2010
- 资助金额:
$ 1.22万 - 项目类别:
Research Grants
Automatic verification method for large scale embedded object-oriented design based on predicate abstraction
基于谓词抽象的大规模嵌入式面向对象设计自动验证方法
- 批准号:
19500025 - 财政年份:2007
- 资助金额:
$ 1.22万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Design driven re-engineering of legacy systems to object oriented and web-enabled environments
设计驱动的遗留系统重新设计为面向对象和网络支持的环境
- 批准号:
194741-2001 - 财政年份:2005
- 资助金额:
$ 1.22万 - 项目类别:
Discovery Grants Program - Individual
Design driven re-engineering of legacy systems to object oriented and web-enabled environments
设计驱动的遗留系统重新设计为面向对象和网络支持的环境
- 批准号:
194741-2001 - 财政年份:2004
- 资助金额:
$ 1.22万 - 项目类别:
Discovery Grants Program - Individual
EI: Can We Teach Object-Oriented Design to Beginners?
EI:我们可以向初学者教授面向对象设计吗?
- 批准号:
0306140 - 财政年份:2003
- 资助金额:
$ 1.22万 - 项目类别:
Continuing grant
Java and Object Oriented Design: Professional Development for Secondary Computer Science Teachers
Java 和面向对象设计:中学计算机科学教师的专业发展
- 批准号:
0243460 - 财政年份:2003
- 资助金额:
$ 1.22万 - 项目类别:
Standard Grant
Design driven re-engineering of legacy systems to object oriented and web-enabled environments
设计驱动的遗留系统重新设计为面向对象和网络支持的环境
- 批准号:
194741-2001 - 财政年份:2003
- 资助金额:
$ 1.22万 - 项目类别:
Discovery Grants Program - Individual
SBIR Phase I: Design and Development of a Unified Object Oriented Software Platform for Biomolecular Computations
SBIR 第一阶段:生物分子计算统一面向对象软件平台的设计和开发
- 批准号:
0318864 - 财政年份:2003
- 资助金额:
$ 1.22万 - 项目类别:
Standard Grant
Testing object-oriented software from design documents
从设计文档测试面向对象的软件
- 批准号:
239119-2001 - 财政年份:2003
- 资助金额:
$ 1.22万 - 项目类别:
Discovery Grants Program - Individual