Program Derivation for a Data Structures Course
数据结构课程的程序推导
基本信息
- 批准号:9455660
- 负责人:
- 金额:$ 2.37万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:1995
- 资助国家:美国
- 起止时间:1995-06-01 至 1997-05-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
9455660 Naumann Computer programming is often taught primarily by example, and there is widespread interest in more systematic methods, especially mathematically rigorous "formal methods". There are now undergraduate level textbooks and teaching materials for beginning programming courses using the method called program derivation, whereby correct programs are derived from their specifications by calculation. The objective is to develop lecture notes and programming assignments for an undergraduate data structures course based on program derivation. The materials are based on those now being used in the classroom, and will be evaluated by educators at other universities for content and suitability for use in undergraduate courses in data structures. By meeting the need for instructional material based on the extensive research literature on program derivation, this project directly benefits educators who wish to teach scientifically based systematic methods of programming. By providing material on par with textbooks for the more traditional approach, this project helps to provide a basis for meaningful comparison between curricula based on formal methods and other curricula.
小行星9455660 计算机编程通常主要通过示例来教授,并且对更系统的方法,特别是数学上严格的“形式方法”有广泛的兴趣。现在有本科水平的教科书和教材开始编程课程使用的方法称为程序推导,从而正确的程序是从他们的规格计算。目标是为本科生的数据结构课程开发基于程序推导的课堂讲稿和编程作业。这些材料是基于那些现在正在课堂上使用的,并将由其他大学的教育工作者进行评估,以确定其内容和是否适合在数据结构本科课程中使用。通过满足对基于程序推导的广泛研究文献的教学材料的需求,该项目直接使希望教授基于科学的系统编程方法的教育工作者受益。通过提供与传统教学法的教科书相同的材料,该项目有助于为基于正规教学法的课程与其他课程之间的有意义的比较提供基础。
项目成果
期刊论文数量(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 }}
David Naumann其他文献
Association between Center Volume and Allocation to Curative Surgery and Long-Term Survival for Retroperitoneal Sarcoma
- DOI:
10.1016/j.ejso.2022.11.141 - 发表时间:
2023-02-01 - 期刊:
- 影响因子:
- 作者:
Sivesh Kamarajah;Marco Baia;David Naumann;Fahad Mahmood;Alessandro Parente;Max Almond;Fabio Tirotta;Samuel Ford;Fadi Dahdaleh;Anant Desai - 通讯作者:
Anant Desai
Does pre-operative neoadjuvant systemic therapy affect the number of lymph nodes on histological examination of tissues excised during axillary node clearance surgery?
- DOI:
10.1016/j.ejso.2012.02.064 - 发表时间:
2012-05-01 - 期刊:
- 影响因子:
- 作者:
David Naumann;Martin Sintler - 通讯作者:
Martin Sintler
Preconceptions, experience and future expectations of patients undergoing robotic colorectal surgery at a single centre
- DOI:
10.1016/j.ejso.2019.11.170 - 发表时间:
2020-02-01 - 期刊:
- 影响因子:
- 作者:
Mariam Baig;Neena Randhawa;David Naumann;Charles Evans;Adeel Bajwa - 通讯作者:
Adeel Bajwa
Are the number of lymph nodes excised during axillary node clearance surgery affected by neoadjuvant chemotherapy?
- DOI:
10.1016/j.ijsu.2012.06.053 - 发表时间:
2012-01-01 - 期刊:
- 影响因子:
- 作者:
David Naumann;Martin Sintler - 通讯作者:
Martin Sintler
Systemic review and meta-analysis comparing stapled versus hand-sewn anastomoses following emergency bowel resection
- DOI:
10.1016/j.ijsu.2014.07.096 - 发表时间:
2014-11-01 - 期刊:
- 影响因子:
- 作者:
David Naumann;Aneel Bhangu;Michael Kelly;Douglas Bowley - 通讯作者:
Douglas Bowley
David Naumann的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('David Naumann', 18)}}的其他基金
SaTC: CORE: Small: Relational Verification for Information Assurance and Privacy
SaTC:核心:小型:信息保障和隐私的关系验证
- 批准号:
1718713 - 财政年份:2017
- 资助金额:
$ 2.37万 - 项目类别:
Standard Grant
EAGER: Hyperproperty Abstraction for Information Flow Control
EAGER:信息流控制的超属性抽象
- 批准号:
1649894 - 财政年份:2016
- 资助金额:
$ 2.37万 - 项目类别:
Standard Grant
TWC: Medium: Collaborative: Flexible and Practical Information Flow Assurance for Mobile Apps
TWC:媒介:协作:灵活实用的移动应用信息流保障
- 批准号:
1228930 - 财政年份:2012
- 资助金额:
$ 2.37万 - 项目类别:
Standard Grant
SHF: Small: Collaborative Research: Specification Language Foundations for Modular Reasoning Methodologies
SHF:小型:协作研究:模块化推理方法的规范语言基础
- 批准号:
0915611 - 财政年份:2009
- 资助金额:
$ 2.37万 - 项目类别:
Standard Grant
Collaborative Research: CRI: CRD: A JML Community Infrastructure --Revitalizing Tools and Documentation to Aid Formal Methods Research
协作研究:CRI:CRD:JML 社区基础设施——振兴工具和文档以帮助形式化方法研究
- 批准号:
0708330 - 财政年份:2007
- 资助金额:
$ 2.37万 - 项目类别:
Continuing Grant
CT-ISG Collaborative Research: Access Control and Downgrading in Information Flow Assurance
CT-ISG协同研究:信息流保障中的访问控制与降级
- 批准号:
0627338 - 财政年份:2006
- 资助金额:
$ 2.37万 - 项目类别:
Standard Grant
Collaborative Research: Formal Methods for Behavioral Subclassing and Callbacks
协作研究:行为子类化和回调的形式化方法
- 批准号:
0429894 - 财政年份:2004
- 资助金额:
$ 2.37万 - 项目类别:
Continuing Grant
Collaborative Research: Integrating Pointer Confinement and Access Control for Encapsulation
协作研究:集成指针限制和访问控制进行封装
- 批准号:
0208984 - 财政年份:2002
- 资助金额:
$ 2.37万 - 项目类别:
Standard Grant
U.S.-Brazil Cooperative Research: Towards a Practical Calculus of Object-Oriented Programming
美国-巴西合作研究:面向对象编程的实用演算
- 批准号:
9813854 - 财政年份:1999
- 资助金额:
$ 2.37万 - 项目类别:
Standard Grant
Tools for Undergraduate Program Derivation
本科生程序推导工具
- 批准号:
9451614 - 财政年份:1994
- 资助金额:
$ 2.37万 - 项目类别:
Standard Grant
相似海外基金
Automatic derivation of dynamical models from temporal network data using a graph rewriting system
使用图重写系统从时态网络数据自动推导动态模型
- 批准号:
23H03414 - 财政年份:2023
- 资助金额:
$ 2.37万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
A simple derivation of stopping power ratio in the human body from dual-energy CT data
从双能CT数据简单推导人体的阻止本领比
- 批准号:
19K08168 - 财政年份:2019
- 资助金额:
$ 2.37万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Systematic experiments for influence of methyl radical and hydrogen bond on neutron slowing down and scattering data derivation
甲基自由基和氢键对中子减速影响和散射数据推导的系统实验
- 批准号:
19K05339 - 财政年份:2019
- 资助金额:
$ 2.37万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Optimum route derivation for the wheelchair sightseeing utilizing sensor data and deep learning
利用传感器数据和深度学习推导轮椅观光的最佳路线
- 批准号:
18K11890 - 财政年份:2018
- 资助金额:
$ 2.37万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Derivation and Validation of a Disease-Specific Cardiovascular Risk Prediction Score for Psoriatic Disease Using Patient Registry and Population-Based Data
使用患者登记和基于人群的数据推导和验证银屑病疾病特异性心血管风险预测评分
- 批准号:
394883 - 财政年份:2018
- 资助金额:
$ 2.37万 - 项目类别:
Operating Grants
Derivation of Partial Differential Equations from Big Data using Visual Analytics
使用视觉分析从大数据中推导偏微分方程
- 批准号:
18H03252 - 财政年份:2018
- 资助金额:
$ 2.37万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
Evaluation of Dairy Production and Derivation of Appropriate Farmland Use: Integrated Use of Satellite, GIS and Qualitative Data from Farmland Management through Milk Production
乳制品生产评估和农田适当利用的推论:综合利用卫星、GIS 和牛奶生产农田管理的定性数据
- 批准号:
17K15329 - 财政年份:2017
- 资助金额:
$ 2.37万 - 项目类别:
Grant-in-Aid for Young Scientists (B)
Derivation of snow thickness information on sea ice using in-situ and satellite based multi-frequency polarimetric synthetic aperture radar data
利用现场和卫星多频极化合成孔径雷达数据推导海冰积雪厚度信息
- 批准号:
305482-2011 - 财政年份:2015
- 资助金额:
$ 2.37万 - 项目类别:
Discovery Grants Program - Northern Research Supplement
Derivation of snow thickness information on sea ice using in-situ and satellite based multi-frequency polarimetric scatterometer and SAR data
利用现场和卫星多频极化散射仪和 SAR 数据推导海冰积雪厚度信息
- 批准号:
238754-2011 - 财政年份:2015
- 资助金额:
$ 2.37万 - 项目类别:
Discovery Grants Program - Individual
Derivation of snow thickness information on sea ice using in-situ and satellite based multi-frequency polarimetric synthetic aperture radar data
利用现场和卫星多频极化合成孔径雷达数据推导海冰积雪厚度信息
- 批准号:
305482-2011 - 财政年份:2014
- 资助金额:
$ 2.37万 - 项目类别:
Discovery Grants Program - Northern Research Supplement