Software Environment Architecture and Analysis Tools
Software Environment Architecture and Analysis Tools
批准号:
8704478
负责人:
Lori Clarke
金额:
$173.0万
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
1987
资助国家:
美国
项目状态:
已结题
起止时间:
1987-07-15 至 1991-12-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
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 tools and software workers as interpretation primitives. Work at the University of Massachusetts on the Arcadia project will focus on two important aspects of software development environments, namely object management and analysis tools. The object management mechanisms will be a central feature of the Arcadia environment architecture. On the one hand, it will serve to organize and orchestrate the myriad pieces of a software project being created and maintained by users of an environment. In addition, it will constitute the primary structuring and integration mechanism for the environment itself, since all the tools and information structures comprised by an environment can and should be viewed as objects subject to management. Analysis tools and their integration are an important focus of Arcadia, both as a test case for the environment architecture's extensibility and integration capabilities and as a contribution to expanding the power and usefulness that environments offer to their users. This project will focus on two classes of analysis tools: software testing tools and tools for analyzing concurrent and distributed systems. 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)
会议论文
SHB: Collaborative Research:Context-aware, dynamic, smart checklists: key cyber-infrastructure for systems delivering quality health care
-
批准号:1239334
-
项目类别:Standard Grant
-
资助金额:$135.05万
-
财政年份:2012
-
负责人:Lori Clarke
-
依托单位:
Collaborative Research: Process-Centered, Analysis-driven System Development Applied to Human-Intensive Medical Processes
-
批准号:0820198
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2008
-
负责人:Lori Clarke
-
依托单位:
BPC-A: Widening the Research Pipeline
-
批准号:0540631
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2006
-
负责人:Lori Clarke
-
依托单位:
Special Projects: Student Travel Support for the International Conference on Software Engineering 2005 Doctoral Symposium
-
批准号:0508019
-
项目类别:Standard Grant
-
资助金额:$1.0万
-
财政年份:2005
-
负责人:Lori Clarke
-
依托单位:
ITR-(EVS+ASE+NHS)-(int+dmc+soc)-Improving the Safety and Efficiency of Medical Processes
-
批准号:0427071
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2004
-
负责人:Lori Clarke
-
依托单位:
International Travel Grant for International Conference on Software Engineering; Melbourne, Australia, May 11-15, 1992
-
批准号:9121410
-
项目类别:Standard Grant
-
资助金额:$1.05万
-
财政年份:1992
-
负责人:Lori Clarke
-
依托单位:
A Systematic Treatment of Interface Control
-
批准号:8408143
-
项目类别:Standard Grant
-
资助金额:$15.06万
-
财政年份:1984
-
负责人:Lori Clarke
-
依托单位:
The Development of a Scientific Testing Method
-
批准号:8404217
-
项目类别:Continuing Grant
-
资助金额:$38.8万
-
财政年份:1984
-
负责人:Lori Clarke
-
依托单位:
Toward the Development of Scientific Testing (Computer Science)
-
批准号:8303320
-
项目类别:Standard Grant
-
资助金额:$6.9万
-
财政年份:1983
-
负责人:Lori Clarke
-
依托单位:
A Partition Analysis Method to Demonstrate Program Reliability
-
批准号:8104202
-
项目类别:Continuing Grant
-
资助金额:$8.19万
-
财政年份:1981
-
负责人:Lori Clarke
-
依托单位:
An Integrated Testing System For Computer Programs
-
批准号:7702101
-
项目类别:Continuing Grant
-
资助金额:$8.7万
-
财政年份:1977
-
负责人:Lori Clarke
-
依托单位:
海外基金