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

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
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了