刷新
{{item.name}}会员
Applications of logic and state machines to software engineering
逻辑和状态机在软件工程中的应用
基本信息
- 批准号：203247-2002
- 负责人：
- 金额：$ 1.97万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Discovery Grants Program - Individual
- 财政年份：2005
- 资助国家：加拿大
- 起止时间：2005-01-01 至 2006-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 }}
Andrews, James其他文献
Laparoscopic Nissen Fundoplication Versus Thal Fundoplication in Children: Comparison of Short-Term Outcomes
- DOI：
10.1089/lap.2010.0218 - 发表时间：
2010-09-01 - 期刊：
- 影响因子：1.3
- 作者：
Kubiak, Rainer;Andrews, James;Grant, Hugh W. - 通讯作者：
Grant, Hugh W.
Distinctive Formation of PEG-Lipid Nanopatches onto Solid Polymer Surfaces Interfacing Solvents from Atomistic Simulation
- DOI：
10.1021/acs.jpcb.1c07490 - 发表时间：
2021-12-21 - 期刊：
- 影响因子：3.3
- 作者：
Andrews, James;Blaisten-Barojas, Estela - 通讯作者：
Blaisten-Barojas, Estela
Racial and Ethnic Disparities in Awareness of Cancer Genetic Testing Among Online Users: Internet Use, Health Knowledge, and Socio-Demographic Correlates
- DOI：
10.1080/15398285.2014.869165 - 发表时间：
2014-01-01 - 期刊：
- 影响因子：0.8
- 作者：
Huang, Hong;Apouey, Benedicte;Andrews, James - 通讯作者：
Andrews, James
Return to Play and Performance Perceptions of Baseball Players After Isolated SLAP Tear Repair
- DOI：
10.1177/2325967119829486 - 发表时间：
2019-03-07 - 期刊：
- 影响因子：2.6
- 作者：
Douglas, Lonnie;Whitaker, John;Andrews, James - 通讯作者：
Andrews, James
Association of Upper Extremity Pain With Softball Pitching Kinematics and Kinetics
- DOI：
10.1177/2325967119865171 - 发表时间：
2019-08-20 - 期刊：
- 影响因子：2.6
- 作者：
Oliver, Gretchen D.;Friesen, Kenzie;Andrews, James - 通讯作者：
Andrews, James
Andrews, James的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Andrews, James', 18)}}的其他基金
Testing and Debugging: Connecting Research with Practice
测试和调试：研究与实践相结合
- 批准号：
203247-2012 - 财政年份：2013
- 资助金额：
$ 1.97万 - 项目类别：
Discovery Grants Program - Individual
Testing and Debugging: Connecting Research with Practice
测试和调试：研究与实践相结合
- 批准号：
203247-2012 - 财政年份：2012
- 资助金额：
$ 1.97万 - 项目类别：
Discovery Grants Program - Individual
Development of high-quality, accessible software
开发高质量、易于使用的软件
- 批准号：
203247-2011 - 财政年份：2011
- 资助金额：
$ 1.97万 - 项目类别：
Discovery Grants Program - Individual
Contact and discussions with Research in Motion (RIM)
与 Research in Motion (RIM) 联系并讨论
- 批准号：
401466-2010 - 财政年份：2010
- 资助金额：
$ 1.97万 - 项目类别：
Interaction Grants Program
Efficient, effective methods of software verification and validation
高效、有效的软件验证和确认方法
- 批准号：
203247-2006 - 财政年份：2010
- 资助金额：
$ 1.97万 - 项目类别：
Discovery Grants Program - Individual
Software testing: creating smart, flexible tests from brittle recorded tests
软件测试：从脆弱的记录测试中创建智能、灵活的测试
- 批准号：
411411-2010 - 财政年份：2010
- 资助金额：
$ 1.97万 - 项目类别：
Engage Grants Program
Efficient, effective methods of software verification and validation
高效、有效的软件验证和确认方法
- 批准号：
203247-2006 - 财政年份：2009
- 资助金额：
$ 1.97万 - 项目类别：
Discovery Grants Program - Individual
Efficient, effective methods of software verification and validation
高效、有效的软件验证和确认方法
- 批准号：
203247-2006 - 财政年份：2008
- 资助金额：
$ 1.97万 - 项目类别：
Discovery Grants Program - Individual
Efficient, effective methods of software verification and validation
高效、有效的软件验证和确认方法
- 批准号：
203247-2006 - 财政年份：2007
- 资助金额：
$ 1.97万 - 项目类别：
Discovery Grants Program - Individual
Efficient, effective methods of software verification and validation
高效、有效的软件验证和确认方法
- 批准号：
203247-2006 - 财政年份：2006
- 资助金额：
$ 1.97万 - 项目类别：
Discovery Grants Program - Individual
相似国自然基金
greenwashing behavior in China:Basedon an integrated view of reconfiguration of environmental authority and decoupling logic
- 批准号：
- 批准年份：2024
- 资助金额：万元
- 项目类别：外国学者研究基金项目
相似海外基金
Single-Cell, Spatial and Functional Dissection of Cancer Cell States, Co-Evolving Ecosystems, and Vulnerabilities During Tumor Progression and Metastasis
癌细胞状态、共同进化生态系统以及肿瘤进展和转移过程中的脆弱性的单细胞、空间和功能剖析
- 批准号：
10729386 - 财政年份：2023
- 资助金额：
$ 1.97万 - 项目类别：
Elucidating the Biosynthesis of a Model Ladder-Frame Polyether Toxin
阐明梯架聚醚毒素模型的生物合成
- 批准号：
10810195 - 财政年份：2023
- 资助金额：
$ 1.97万 - 项目类别：
Characterization of Solid-State Nanopores and Precision Measurement of Individual Proteins Using Logic-Driven Nanopore Devices
使用逻辑驱动纳米孔装置表征固态纳米孔并精确测量单个蛋白质
- 批准号：
569399-2022 - 财政年份：2022
- 资助金额：
$ 1.97万 - 项目类别：
Alexander Graham Bell Canada Graduate Scholarships - Doctoral
Implementing a Novel Consent Process for Biospecimen Research after Newborn Screening in Hospitals Serving Diverse Patients
在为不同患者提供服务的医院进行新生儿筛查后，实施新的生物样本研究同意程序
- 批准号：
10704170 - 财政年份：2022
- 资助金额：
$ 1.97万 - 项目类别：
Cellular engineering to improve the efficacy and specificity of targeted immunotherapy
细胞工程提高靶向免疫疗法的功效和特异性
- 批准号：
10304452 - 财政年份：2021
- 资助金额：
$ 1.97万 - 项目类别：
A Naloxone Parachute: Novel Wearable Dual-Sensor Regional Oximeter to Detect Opioid-Induced Hypoxia and Enable Emergent Naloxone Rescue
纳洛酮降落伞：新型可穿戴双传感器区域血氧计，用于检测阿片类药物引起的缺氧并实现紧急纳洛酮救援
- 批准号：
10339144 - 财政年份：2021
- 资助金额：
$ 1.97万 - 项目类别：
FOREST (Fostering Optimal Regulation of Emotion for prevention of Secondary Trauma): Implementation and evaluation of a burnout prevention program for staff in gun violence prevention programs.
森林（促进最佳情绪调节以预防继发性创伤）：为枪支暴力预防计划中的工作人员实施和评估职业倦怠预防计划。
- 批准号：
10399176 - 财政年份：2021
- 资助金额：
$ 1.97万 - 项目类别：