课题基金 / 基金详情

The University of Colorado Contribution to the Arcadia Effort

The University of Colorado Contribution to the Arcadia Effort
科罗拉多大学对阿卡迪亚努力的贡献
批准号:
8705162
负责人:
Leon Osterweil
金额:
$50.29万
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
1987
资助国家:
美国
项目状态:
已结题
起止时间:
1987-07-15 至 1988-09-01

项目摘要

项目成果

Leon Osterweil的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
EAGER: Collaborative: Process-Based Technology to Support Comparison and Evaluation of the Security of Elections
  • 批准号:
    1258588
  • 项目类别:
    Standard Grant
  • 资助金额:
    $7.5万
  • 财政年份:
    2012
  • 负责人:
    Leon Osterweil
  • 依托单位:
TC:Medium:Collaborative Research: Technological Support for Improving Election Processes
  • 批准号:
    0905530
  • 项目类别:
    Continuing Grant
  • 资助金额:
    $45.0万
  • 财政年份:
    2009
  • 负责人:
    Leon Osterweil
  • 依托单位:
Workshop Proposal: A Research Agenda for Computing Technology and Dispute Resolution Focusing on the Transportation Sector
  • 批准号:
    0840248
  • 项目类别:
    Standard Grant
  • 资助金额:
    $0.0万
  • 财政年份:
    2008
  • 负责人:
    Leon Osterweil
  • 依托单位:
III-CXT: Process Families and Their Application to Online Dispute Resolution
  • 批准号:
    0705772
  • 项目类别:
    Continuing Grant
  • 资助金额:
    $0.0万
  • 财政年份:
    2007
  • 负责人:
    Leon Osterweil
  • 依托单位:
海外基金