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.

该奖项为Arcadia项目的一部分工作提供了支持。阿卡迪亚（Arcadia）是一项主要的联合研究工作，其目的是获得有关将软件工具集成到环境中的理想体系结构的基本理解，尤其是支持软件测试，分析和评估。 Arcadia是一个实验研究项目，旨在通过对实际环境原型（Arcadia-1）的创建和实验评估来获得这些理解。 Arcadia采用的方法的一个关键创新特征是将软件流程本身视为软件项目，并将环境视为一种使用软件工作者作为肠内驱动原始人的机制来指定，编译和解释这些过程。科罗拉多大学参与Arcadia项目将重点关注形式主义和媒体，以表达软件流程的表达（这项活动，称为过程编程 - 在架构和环境中的实现，以支持流程编程以及软件测试，分析和评估工具的创建，集成和评估。需要进行重大的实验研究工作，以提供对整体软件开发环境的基本理解。 Arcadia项目是为了实现这些理解的重大努力。