权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

The University of Colorado Contribution to the Arcadia Effort

科罗拉多大学对阿卡迪亚努力的贡献

基本信息

批准号：
8705162
负责人：
Leon Osterweil
金额：
$ 50.29万
依托单位：
University of Colorado at Boulder
依托单位国家：
美国
项目类别：
Continuing Grant
财政年份：
1987
资助国家：
美国
起止时间：
1987-07-15 至 1988-09-01
项目状态：
已结题

来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=8705162&HistoricalAwards=false
关键词：
University Colorado Contribution Arcadia Effort

项目摘要

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.

该奖项提供了支持的一部分工作，阿卡迪亚计划。阿卡迪亚是一个主要的联合研究项目其目的是从根本上了解集成软件工具的理想体系结构环境，特别是支持软件测试、分析和评估。阿卡迪亚是一个实验性的一个旨在获得这些理解的研究项目通过创建和实验评估的实际环境原型阿卡迪亚一号一个关键的创新功能阿卡迪亚采取的方法是考虑软件过程本身是软件项目，将环境视为指定、编译并解释这些过程，使用软件工作者作为解释原语科罗拉多大学参与阿卡迪亚项目将集中在形式主义和媒体的表达软件过程的一种活动，过程编程--论支持过程编程的环境，软件测试的创建、集成和评估，分析和评估工具。需要进行重大的实验研究，对整体软件开发的基本理解环境. 阿卡迪亚项目是一项重大的努力，来达成这些理解。