Educational Innovation: Exploring a Safe Approach to Software Engineering

教育创新:探索软件工程的安全方法

基本信息

  • 批准号:
    9713032
  • 负责人:
  • 金额:
    $ 49.85万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    1997
  • 资助国家:
    美国
  • 起止时间:
    1997-08-01 至 2002-07-31
  • 项目状态:
    已结题

项目摘要

9713032 Rice University R. Cartwright CISE Educational Innovation: Exploring A Safe Approach to Software Engineering This CISE Educational Innovation award supports the development of a new undergraduate course sequence in software engineering that focuses on emerging principles of program design and validation applicable to type-safe languages. These courses are built on the high-level design principles incorporated in the new introductory programming sequence at Rice and draw on recent research in algorithmic verification through soft typing and modular program composition. Two courses, targeted at upper-level undergraduates, are being developed. The first course is a foundations course using safe languages that focuses on the principles of program and module design, verification, debugging, and performance tuning and the second is an interdisciplinary studio course that applies the principles of the foundations course to writing innovative networking software. These courses have the potential to make major impact on course work in software engineering in the future.
9713032 莱斯大学 R. Cartwright CISE 教育创新:探索软件工程的安全方法 该 CISE 教育创新奖支持开发新的软件工程本科课程序列,重点关注适用于类型安全语言的程序设计和验证的新兴原理。 这些课程建立在莱斯大学新的入门编程序列中的高级设计原则的基础上,并借鉴了通过软类型和模块化程序组合进行算法验证的最新研究。 两门针对高年级本科生的课程正在开发中。 第一门课程是使用安全语言的基础课程,重点关注程序和模块设计、验证、调试和性能调整的原理,第二门课程是跨学科工作室课程,将基础课程的原理应用于编写创新的网络软件。 这些课程有可能对未来软件工程的课程工作产生重大影响。

项目成果

期刊论文数量(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
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
Modeling Electromechanical Aspects of Cyber-Physical Systems
网络物理系统机电方面的建模
  • DOI:
    10.6092/joser_2016_07_01_p100
  • 发表时间:
    2016
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Yingfu Zeng;R. Chad;Walid M. Taha;Adam Duracz;Kevin Atkinson;Roland Philippsen;Robert Cartwright;M. O'Malley
  • 通讯作者:
    M. O'Malley
Developing a first course on cyber-physical systems
开发第一门网络物理系统课程
  • DOI:
    10.1145/3036686.3036692
  • 发表时间:
    2017
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Walid Taha;Robert Cartwright;Roland Philippsen;Yingfu Zeng
  • 通讯作者:
    Yingfu Zeng

Robert Cartwright的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Robert Cartwright', 18)}}的其他基金

SoD: Synthesizing Device Drivers
SoD:综合设备驱动程序
  • 批准号:
    0439017
  • 财政年份:
    2004
  • 资助金额:
    $ 49.85万
  • 项目类别:
    Standard Grant
EI: Can We Teach Object-Oriented Design to Beginners?
EI:我们可以向初学者教授面向对象设计吗?
  • 批准号:
    0306140
  • 财政年份:
    2003
  • 资助金额:
    $ 49.85万
  • 项目类别:
    Continuing grant
First-Class Genericity for Java
Java 的一流通用性
  • 批准号:
    0306494
  • 财政年份:
    2003
  • 资助金额:
    $ 49.85万
  • 项目类别:
    Continuing Grant
Scalable Optimization of Generic Java
通用 Java 的可扩展优化
  • 批准号:
    0105596
  • 财政年份:
    2001
  • 资助金额:
    $ 49.85万
  • 项目类别:
    Standard Grant
A Smart Programming Environment for Java
Java 智能编程环境
  • 批准号:
    9708957
  • 财政年份:
    1997
  • 资助金额:
    $ 49.85万
  • 项目类别:
    Continuing Grant
Smart Programming Environments
智能编程环境
  • 批准号:
    9633746
  • 财政年份:
    1996
  • 资助金额:
    $ 49.85万
  • 项目类别:
    Standard Grant
CISE Educational Infrastructure: Can We Unify the Programming Curriculum?
CISE教育基础设施:我们可以统一编程课程吗?
  • 批准号:
    9414170
  • 财政年份:
    1994
  • 资助金额:
    $ 49.85万
  • 项目类别:
    Standard Grant
Fully Abstract Semantics for Practical Languages
实用语言的完全抽象语义
  • 批准号:
    9122518
  • 财政年份:
    1992
  • 资助金额:
    $ 49.85万
  • 项目类别:
    Continuing grant
Typechecking for PCN
PCN 型式检查
  • 批准号:
    9211008
  • 财政年份:
    1992
  • 资助金额:
    $ 49.85万
  • 项目类别:
    Standard Grant
Program Specification and Testing Within an Integrated Programming Environment
集成编程环境中的程序规范和测试
  • 批准号:
    8403530
  • 财政年份:
    1984
  • 资助金额:
    $ 49.85万
  • 项目类别:
    Standard Grant

相似国自然基金

基于结直肠癌创新性生物模型进行药物组合筛选及机制探索
  • 批准号:
    82373444
  • 批准年份:
    2023
  • 资助金额:
    49 万元
  • 项目类别:
    面上项目
群智创新设计空间的协同探索与创新生成理论与方法
  • 批准号:
    52375229
  • 批准年份:
    2023
  • 资助金额:
    50 万元
  • 项目类别:
    面上项目
网络用户内容创作治理机制研究——基于区块链技术的社交网络的创新性探索
  • 批准号:
    72271191
  • 批准年份:
    2022
  • 资助金额:
    45 万元
  • 项目类别:
    面上项目
特大跨径拱桥低碳高性能新结构创新与探索
  • 批准号:
    52250004
  • 批准年份:
    2022
  • 资助金额:
    60 万元
  • 项目类别:
    专项基金项目
政府研发补贴对企业探索性创新的影响机制研究:基于制度逻辑视角
  • 批准号:
  • 批准年份:
    2021
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目

相似海外基金

Science Career Inquiry - Exploring Native Cultural Experiences (SCI-ENCE)
科学职业探究 - 探索本土文化体验(SCI-ENCE)
  • 批准号:
    10665165
  • 财政年份:
    2023
  • 资助金额:
    $ 49.85万
  • 项目类别:
Exploring affect-motivated alcohol use as a value-based decision-making process
探索情感驱动的饮酒作为基于价值的决策过程
  • 批准号:
    10738470
  • 财政年份:
    2023
  • 资助金额:
    $ 49.85万
  • 项目类别:
The Protein Aggregation Conference: Exploring Rugged Landscapes
蛋白质聚集会议:探索崎岖的地形
  • 批准号:
    10681615
  • 财政年份:
    2023
  • 资助金额:
    $ 49.85万
  • 项目类别:
Exploring predictors of response to a peer-mediated communication intervention for minimally verbal preschoolers with ASD
探索患有自闭症谱系障碍 (ASD) 的学龄前儿童对同伴介导的沟通干预反应的预测因素
  • 批准号:
    10450192
  • 财政年份:
    2021
  • 资助金额:
    $ 49.85万
  • 项目类别:
The Cancer Research Scholars Program (CRSP): Exploring Research Across the Cancer Continuum and into Underserved Communities
癌症研究学者计划 (CRSP):探索癌症连续体和服务不足社区的研究
  • 批准号:
    10268515
  • 财政年份:
    2021
  • 资助金额:
    $ 49.85万
  • 项目类别:
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了