The University of Colorado Contribution to the Arcadia Effort
科罗拉多大学对阿卡迪亚努力的贡献
基本信息
- 批准号:8705162
- 负责人:
- 金额:$ 50.29万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Continuing Grant
- 财政年份:1987
- 资助国家:美国
- 起止时间:1987-07-15 至 1988-09-01
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
This award provides support for a portion of the work of the Arcadia project. Arcadia is a major, joint research effort the aim of which is to gain fundamental understandings about desirable architectures for the integration of software tools into environments and particularly in support of software testing, analysis and evaluation. Arcadia is an experimental research project which aims to gain these understandings through the creation and experimental evaluation of an actual environment prototype--Arcadia-1. A key innovative feature of the approach being taken by Arcadia is to consider software processes to be items of software themselves and to view an environment as a mechanism for specifying, compiling and interpreting these processes, using software workers as intepretation primitives. The University of Colorado's participation in the Arcadia project will focus on formalisms and media for the expression of software processes--an activity which is referred to as process programming--on architectures and implementations of environments for the support of process programming and on the creation, integration and evaluation of software testing, analysis and evaluation tools. Major experimental research efforts are needed to provide basic understandings of overall software development environments. The Arcadia project is a significant effort toward achieving those understandings.
该合同为阿卡迪亚项目的部分工作提供支持。Arcadia是一个主要的联合研究项目,其目标是获得关于将软件工具集成到环境中的理想架构的基本理解,特别是在支持软件测试、分析和评估方面。Arcadia是一个实验研究项目,旨在通过创建和实验评估一个实际的环境原型-Arcadia-1来获得这些理解。Arcadia采用的方法的一个关键创新特征是将软件过程视为软件本身的项目,并将环境视为指定、编译和解释这些过程的机制。使用软件工作者作为解释原语。科罗拉多大学在Arcadia项目中的参与将集中在软件过程表达的形式化和媒介——一种被称为过程编程的活动——以及支持过程编程的环境的体系结构和实现,以及软件测试的创建、集成和评估。分析和评估工具。主要的实验研究工作需要提供对整个软件开发环境的基本理解。阿卡迪亚项目是实现这些理解的重要努力。
项目成果
期刊论文数量(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 }}
Leon Osterweil其他文献
Leon Osterweil的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Leon Osterweil', 18)}}的其他基金
EAGER: Collaborative: Process-Based Technology to Support Comparison and Evaluation of the Security of Elections
EAGER:协作:基于流程的技术支持选举安全性的比较和评估
- 批准号:
1258588 - 财政年份:2012
- 资助金额:
$ 50.29万 - 项目类别:
Standard Grant
TC:Medium:Collaborative Research: Technological Support for Improving Election Processes
TC:中:合作研究:改善选举流程的技术支持
- 批准号:
0905530 - 财政年份:2009
- 资助金额:
$ 50.29万 - 项目类别:
Continuing Grant
Workshop Proposal: A Research Agenda for Computing Technology and Dispute Resolution Focusing on the Transportation Sector
研讨会提案:以交通部门为重点的计算技术和争议解决研究议程
- 批准号:
0840248 - 财政年份:2008
- 资助金额:
$ 50.29万 - 项目类别:
Standard Grant
III-CXT: Process Families and Their Application to Online Dispute Resolution
III-CXT:流程族及其在在线争议解决中的应用
- 批准号:
0705772 - 财政年份:2007
- 资助金额:
$ 50.29万 - 项目类别:
Continuing Grant
Student Travel Support for ICSE 2006 Doctoral Symposium
ICSE 2006 博士生研讨会学生旅行支持
- 批准号:
0618957 - 财政年份:2006
- 资助金额:
$ 50.29万 - 项目类别:
Standard Grant
Process Technology for Achieving Government Online Dispute Resolution
实现政府在线纠纷解决的流程技术
- 批准号:
0429297 - 财政年份:2004
- 资助金额:
$ 50.29万 - 项目类别:
Continuing Grant
SGER: Digital Government: Preliminary Evaluation of Process Formalisms for Defining Government Processes
SGER:数字政府:定义政府流程的流程形式的初步评估
- 批准号:
0223599 - 财政年份:2002
- 资助金额:
$ 50.29万 - 项目类别:
Standard Grant
A Process Definition Language For Guiding Multiuser Design
指导多用户设计的流程定义语言
- 批准号:
0204321 - 财政年份:2002
- 资助金额:
$ 50.29万 - 项目类别:
Standard Grant
相似海外基金
IUCRC Phase III University of Colorado Boulder: Center for Membrane Applications, Science and Technology (MAST)
IUCRC 第三阶段科罗拉多大学博尔德分校:膜应用、科学与技术中心 (MAST)
- 批准号:
2310937 - 财政年份:2024
- 资助金额:
$ 50.29万 - 项目类别:
Continuing Grant
REU Site: University of Colorado, Engineering Smart Biomaterials
REU 站点:科罗拉多大学,工程智能生物材料
- 批准号:
2348856 - 财政年份:2024
- 资助金额:
$ 50.29万 - 项目类别:
Standard Grant
Space Weather Workshop in Boulder, Colorado; April 2024
科罗拉多州博尔德空间天气研讨会;
- 批准号:
2414933 - 财政年份:2024
- 资助金额:
$ 50.29万 - 项目类别:
Standard Grant
REU Site: Life in the Mountains: Field Research in Gothic, Colorado
REU 站点:山中生活:科罗拉多州哥特地区的实地研究
- 批准号:
2348507 - 财政年份:2024
- 资助金额:
$ 50.29万 - 项目类别:
Standard Grant
Travel Grant: Conference Support for the Python in Heliophysics Community (PyHC) 2024 Summer School; Boulder, Colorado; May 20-24, 2024
旅费资助:太阳物理学社区 (PyHC) 2024 年 Python 暑期学校会议支持;
- 批准号:
2414651 - 财政年份:2024
- 资助金额:
$ 50.29万 - 项目类别:
Standard Grant
REU Site: Environmental Science and Ecology on the Colorado Plateau
REU 网站:科罗拉多高原的环境科学与生态学
- 批准号:
2348925 - 财政年份:2024
- 资助金额:
$ 50.29万 - 项目类别:
Standard Grant
Workshop: Collaborative Strategies for Predicting and Measuring Uncertainty in Rare Occurrences in Civil and Environmental Systems; Golden, Colorado; 6-8 November 2024
研讨会:预测和测量民用和环境系统中罕见事件的不确定性的协作策略;
- 批准号:
2400107 - 财政年份:2024
- 资助金额:
$ 50.29万 - 项目类别:
Standard Grant
NSF Engines: Colorado - Wyoming Climate Resilience Engine
NSF 引擎:科罗拉多州 - 怀俄明州气候恢复引擎
- 批准号:
2315760 - 财政年份:2024
- 资助金额:
$ 50.29万 - 项目类别:
Cooperative Agreement
Design & Development: Colorado Science and Engineering Inquiry Collaborative
设计
- 批准号:
2318489 - 财政年份:2023
- 资助金额:
$ 50.29万 - 项目类别:
Standard Grant
CISE-MSI:RPEP:III:Sustainability Hub - A Community Data Hub for Sustainable Regional Systems Research in Colorado
CISE-MSI:RPEP:III:Sustainability Hub - 科罗拉多州可持续区域系统研究的社区数据中心
- 批准号:
2318730 - 财政年份:2023
- 资助金额:
$ 50.29万 - 项目类别:
Standard Grant