刷新
{{item.name}}会员
Software requirements engineering and design based on message sequence charts
基于消息序列图的软件需求工程与设计
基本信息
- 批准号：193706-1996
- 负责人：
- 金额：$ 1.52万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Collaborative Research and Development Grants
- 财政年份：1997
- 资助国家：加拿大
- 起止时间：1997-01-01 至 1998-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.52万 - 项目类别：
Discovery Grants Program - Individual
Software requirements engineering and design based on message sequence charts
基于消息序列图的软件需求工程与设计
- 批准号：
193706-1996 - 财政年份：1999
- 资助金额：
$ 1.52万 - 项目类别：
Collaborative Research and Development Grants
Design of object-oriented, concurrent real-time systems
面向对象的并发实时系统的设计
- 批准号：
170458-1999 - 财政年份：1999
- 资助金额：
$ 1.52万 - 项目类别：
Discovery Grants Program - Individual
Software requirements engineering and design based on message sequence charts
基于消息序列图的软件需求工程与设计
- 批准号：
193706-1996 - 财政年份：1998
- 资助金额：
$ 1.52万 - 项目类别：
Collaborative Research and Development Grants
Software reliability engineering based on formal methods
基于形式化方法的软件可靠性工程
- 批准号：
170458-1995 - 财政年份：1998
- 资助金额：
$ 1.52万 - 项目类别：
Discovery Grants Program - Individual
Software reliability engineering based on formal methods
基于形式化方法的软件可靠性工程
- 批准号：
170458-1995 - 财政年份：1997
- 资助金额：
$ 1.52万 - 项目类别：
Discovery Grants Program - Individual
Software reliability engineering based on formal methods
基于形式化方法的软件可靠性工程
- 批准号：
170458-1995 - 财政年份：1996
- 资助金额：
$ 1.52万 - 项目类别：
Discovery Grants Program - Individual
Software reliability engineering based on formal methods
基于形式化方法的软件可靠性工程
- 批准号：
170458-1995 - 财政年份：1995
- 资助金额：
$ 1.52万 - 项目类别：
Discovery Grants Program - Individual
相似海外基金
Improving the consistency and speed of qualitative data analysis to support software engineering researchers and requirements engineering practitioners
提高定性数据分析的一致性和速度，以支持软件工程研究人员和需求工程从业者
- 批准号：
RGPIN-2021-02405 - 财政年份：2022
- 资助金额：
$ 1.52万 - 项目类别：
Discovery Grants Program - Individual
Requirements Engineering for Emerging Healthcare Software Systems
新兴医疗保健软件系统的需求工程
- 批准号：
RGPIN-2018-06570 - 财政年份：2022
- 资助金额：
$ 1.52万 - 项目类别：
Discovery Grants Program - Individual
Improving the consistency and speed of qualitative data analysis to support software engineering researchers and requirements engineering practitioners
提高定性数据分析的一致性和速度，以支持软件工程研究人员和需求工程从业者
- 批准号：
RGPIN-2021-02405 - 财政年份：2021
- 资助金额：
$ 1.52万 - 项目类别：
Discovery Grants Program - Individual
Requirements Engineering for Emerging Healthcare Software Systems
新兴医疗保健软件系统的需求工程
- 批准号：
RGPIN-2018-06570 - 财政年份：2021
- 资助金额：
$ 1.52万 - 项目类别：
Discovery Grants Program - Individual
Approaching 100 Percent Recall for Requirements and Software Engineering Tools
需求和软件工程工具的召回率接近 100%
- 批准号：
RGPIN-2016-04029 - 财政年份：2021
- 资助金额：
$ 1.52万 - 项目类别：
Discovery Grants Program - Individual
Improving the consistency and speed of qualitative data analysis to support software engineering researchers and requirements engineering practitioners
提高定性数据分析的一致性和速度，以支持软件工程研究人员和需求工程从业者
- 批准号：
DGECR-2021-00007 - 财政年份：2021
- 资助金额：
$ 1.52万 - 项目类别：
Discovery Launch Supplement
Requirements Engineering for Emerging Healthcare Software Systems
新兴医疗保健软件系统的需求工程
- 批准号：
RGPIN-2018-06570 - 财政年份：2020
- 资助金额：
$ 1.52万 - 项目类别：
Discovery Grants Program - Individual
Approaching 100 Percent Recall for Requirements and Software Engineering Tools
需求和软件工程工具的召回率接近 100%
- 批准号：
RGPIN-2016-04029 - 财政年份：2020
- 资助金额：
$ 1.52万 - 项目类别：
Discovery Grants Program - Individual
Approaching 100 Percent Recall for Requirements and Software Engineering Tools
需求和软件工程工具的召回率接近 100%
- 批准号：
RGPIN-2016-04029 - 财政年份：2019
- 资助金额：
$ 1.52万 - 项目类别：
Discovery Grants Program - Individual
Requirements Engineering for Emerging Healthcare Software Systems
新兴医疗保健软件系统的需求工程
- 批准号：
RGPIN-2018-06570 - 财政年份：2019
- 资助金额：
$ 1.52万 - 项目类别：
Discovery Grants Program - Individual