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
中文摘要
点击翻译按钮获取中文摘要
英文摘要
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
-
依托单位:
Student Travel Support for ICSE 2006 Doctoral Symposium
-
批准号:0618957
-
项目类别:Standard Grant
-
资助金额:$1.5万
-
财政年份:2006
-
负责人:Leon Osterweil
-
依托单位:
Process Technology for Achieving Government Online Dispute Resolution
-
批准号:0429297
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2004
-
负责人:Leon Osterweil
-
依托单位:
ITR/AP: The Analytic Web
-
批准号:0205575
-
项目类别:Continuing Grant
-
资助金额:$210.0万
-
财政年份:2002
-
负责人:Leon Osterweil
-
依托单位:
SGER: Digital Government: Preliminary Evaluation of Process Formalisms for Defining Government Processes
-
批准号:0223599
-
项目类别:Standard Grant
-
资助金额:$9.99万
-
财政年份:2002
-
负责人:Leon Osterweil
-
依托单位:
A Process Definition Language For Guiding Multiuser Design
-
批准号:0204321
-
项目类别:Standard Grant
-
资助金额:$15.0万
-
财政年份:2002
-
负责人:Leon Osterweil
-
依托单位:
Arcadia Programming Environment
-
批准号:8996102
-
项目类别:Continuing Grant
-
资助金额:$118.47万
-
财政年份:1988
-
负责人:Leon Osterweil
-
依托单位:
Evaluation and Continued Developments of Software Tools And Environments (Computer Research)
-
批准号:8403341
-
项目类别:Continuing Grant
-
资助金额:$31.2万
-
财政年份:1984
-
负责人:Leon Osterweil
-
依托单位:
Computer Research Equipment (Computer Science)
-
批准号:8305250
-
项目类别:Standard Grant
-
资助金额:$8.14万
-
财政年份:1983
-
负责人:Leon Osterweil
-
依托单位:
Experimental Research on Advanced Software Production Environments
-
批准号:8302644
-
项目类别:Standard Grant
-
资助金额:$10.4万
-
财政年份:1983
-
负责人:Leon Osterweil
-
依托单位:
Toolpack: University of Colorado Participation
-
批准号:8000017
-
项目类别:Continuing Grant
-
资助金额:$30.03万
-
财政年份:1980
-
负责人:Leon Osterweil
-
依托单位:
An Integrated Testing System For Computer Programs
-
批准号:7702194
-
项目类别:Continuing Grant
-
资助金额:$31.54万
-
财政年份:1977
-
负责人:Leon Osterweil
-
依托单位:
Analysis of Mathematical Software For the Purpose of Validation and Documentation
-
批准号:7509972
-
项目类别:Standard Grant
-
资助金额:$32.02万
-
财政年份:1975
-
负责人:Leon Osterweil
-
依托单位:
海外基金