刷新
{{item.name}}会员
Program Specification and Testing Within an Integrated Programming Environment
集成编程环境中的程序规范和测试
基本信息
- 批准号：8403530
- 负责人：
- 金额：--
- 依托单位：
- 依托单位国家：美国
- 项目类别：Standard Grant
- 财政年份：1984
- 资助国家：美国
- 起止时间：1984-07-15 至 1986-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（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 }}
Robert Cartwright其他文献
Continuously Learning Complex Tasks via Symbolic Analysis (CoLeSlAw)
通过符号分析持续学习复杂任务 (CoLeSlAw)
- DOI：
- 发表时间：
2020 - 期刊：
- 影响因子：0
- 作者：
Adam Duracz;K. Chandy;M. Abdelrahman;J. España;R. Sai;Yao;Robert Cartwright;K. Palem - 通讯作者：
K. Palem
Proton pump inhibition to prevent delayed chemotherapy-induced nausea and vomiting in patients receiving adjuvant or neoadjuvant breast cancer chemotherapy: a phase II, randomised double-blind crossover trial (PantoCIN)
- DOI：
10.1007/s00520-025-09528-0 - 发表时间：
2025-05-20 - 期刊：
- 影响因子：3.000
- 作者：
Navin Wewala;Yujin Kim;Katrina Sharples;Sarah Benge;Robert Cartwright;Alvin Tan;Louise Clement;Ying Huang;Sheridan Wilson;Marion Kuper-Hommel;Sarah Barton;Joanna Jones;Louise Bremer;Prashanth Hari Dass;Abbey Wrigley;Michael Findlay;Richard Isaacs - 通讯作者：
Richard Isaacs
SPCF: Its Model, Calculus, and Computational Power (Preliminary Version)
SPCF：模型、微积分和计算能力（初步版本）
- DOI：
10.1007/3-540-56596-5_39 - 发表时间：
1992 - 期刊：
- 影响因子：0
- 作者：
Ramarao Kanneganti;Robert Cartwright;M. Felleisen - 通讯作者：
M. Felleisen
A core language for executable models of cyber physical systems: work in progress report
网络物理系统可执行模型的核心语言：进展报告
- DOI：
- 发表时间：
2011 - 期刊：
- 影响因子：0
- 作者：
Walid Taha;Paul Brauner;Robert Cartwright;Verónica Gaspes;A. Ames;Alexandre Chapoutot - 通讯作者：
Alexandre Chapoutot
A constructive alternative to axiomatic data type definitions
公理数据类型定义的建设性替代方案
- DOI：
- 发表时间：
1980 - 期刊：
- 影响因子：0
- 作者：
Robert Cartwright - 通讯作者：
Robert Cartwright
Robert Cartwright的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Robert Cartwright', 18)}}的其他基金
EI: Can We Teach Object-Oriented Design to Beginners?
EI：我们可以向初学者教授面向对象设计吗？
- 批准号：
0306140 - 财政年份：2003
- 资助金额：
-- - 项目类别：
Continuing grant
Educational Innovation: Exploring a Safe Approach to Software Engineering
教育创新：探索软件工程的安全方法
- 批准号：
9713032 - 财政年份：1997
- 资助金额：
-- - 项目类别：
Standard Grant
A Smart Programming Environment for Java
Java 智能编程环境
- 批准号：
9708957 - 财政年份：1997
- 资助金额：
-- - 项目类别：
Continuing Grant
CISE Educational Infrastructure: Can We Unify the Programming Curriculum?
CISE教育基础设施：我们可以统一编程课程吗？
- 批准号：
9414170 - 财政年份：1994
- 资助金额：
-- - 项目类别：
Standard Grant
Fully Abstract Semantics for Practical Languages
实用语言的完全抽象语义
- 批准号：
9122518 - 财政年份：1992
- 资助金额：
-- - 项目类别：
Continuing grant
相似海外基金
SHF: Medium: More Reliable Image Networks through Scene-based Specification, Neuro-symbolic Training, and Systematic Specification-driven Testing
SHF：中：通过基于场景的规范、神经符号训练和系统规范驱动测试实现更可靠的图像网络
- 批准号：
2312487 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Standard Grant
Software Specification, Testing and Verification
软件规格、测试和验证
- 批准号：
CRC-2020-00308 - 财政年份：2022
- 资助金额：
-- - 项目类别：
Canada Research Chairs
Supporting requirements specification and testing of a certifiable RTOS product line
支持可认证 RTOS 产品线的需求规范和测试
- 批准号：
538502-2019 - 财政年份：2021
- 资助金额：
-- - 项目类别：
Collaborative Research and Development Grants
Software Specification, Testing And Verification
软件规格、测试和验证
- 批准号：
CRC-2020-00308 - 财政年份：2021
- 资助金额：
-- - 项目类别：
Canada Research Chairs
Supporting requirements specification and testing of a certifiable RTOS product line
支持可认证 RTOS 产品线的需求规范和测试
- 批准号：
538502-2019 - 财政年份：2020
- 资助金额：
-- - 项目类别：
Collaborative Research and Development Grants
Software Specification, Testing and Verification
软件规格、测试和验证
- 批准号：
1000230760-2015 - 财政年份：2020
- 资助金额：
-- - 项目类别：
Canada Research Chairs
Automated testing and specification mining for certification of avionics software systems
用于航空电子软件系统认证的自动化测试和规范挖掘
- 批准号：
515254-2017 - 财政年份：2019
- 资助金额：
-- - 项目类别：
Collaborative Research and Development Grants
Supporting requirements specification and testing of a certifiable RTOS product line
支持可认证 RTOS 产品线的需求规范和测试
- 批准号：
538502-2019 - 财政年份：2019
- 资助金额：
-- - 项目类别：
Collaborative Research and Development Grants
Software Specification, Testing and Verification
软件规格、测试和验证
- 批准号：
1000230760-2015 - 财政年份：2019
- 资助金额：
-- - 项目类别：
Canada Research Chairs
Software Specification, Testing and Verification
软件规格、测试和验证
- 批准号：
1000230760-2015 - 财政年份：2018
- 资助金额：
-- - 项目类别：
Canada Research Chairs