Post Doctoral Research in Automating Development of Interactive Distributed Applications
Post Doctoral Research in Automating Development of Interactive Distributed Applications
批准号:
0203060
负责人:
Laura Dillon
金额:
$6.55万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2002
资助国家:
美国
项目状态:
已结题
起止时间:
2002-08-01 至 2005-07-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
0203060Dillon, LauraMichigan State UniversityCISE Postdoctoral Associates in Experimental Computer Science: Automating Development of Interactive Distributed ApplicationsInteractive distributed applications (IDAs) are software applications that involve direct interaction with users and are distributed across a computer network. IDA development is complicated by application characteristics such as interactivity, concurrency, non-determinism, heterogeneity, and severe resource constraints. Current software development tools address some of these complications, but development environments supporting integrated use of IDA development tools are lacking. The postdoctoral research associate will work on the integration and validation of Meridian, a collection of tools designed to help automate the development of IDAs. Specifically, the associate will 1) research the automated generation and integration of analysis tools that are easily and efficiently integrated into a comprehensive environment, and 2) perform case studies of different classes of IDAs and populate class-specific IDA information repositories for reuse.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Student and Early-Career Faculty Travel and Registration Support for ICSE MAy 14-22, 2016
-
批准号:1548379
-
项目类别:Standard Grant
-
资助金额:$3.94万
-
财政年份:2015
-
负责人:Laura Dillon
-
依托单位:
Group Travel Grant for Faculty at Colleges and Universities Serving Minorities and Women: 2012 Software Engineering Educators' Symposium
-
批准号:1247416
-
项目类别:Standard Grant
-
资助金额:$2.4万
-
财政年份:2012
-
负责人:Laura Dillon
-
依托单位:
Group Travel Grant for Faculty at Minority Institutions
-
批准号:0826945
-
项目类别:Standard Grant
-
资助金额:$2.5万
-
财政年份:2008
-
负责人:Laura Dillon
-
依托单位:
Using Contracts to Support Development, Verification, and Maintenance of Multi-threaded Systems
-
批准号:0702667
-
项目类别:Continuing Grant
-
资助金额:$40.0万
-
财政年份:2007
-
负责人:Laura Dillon
-
依托单位:
Automated Support for Testing and Debugging of Real-Time Programs Using Oracles
-
批准号:9896190
-
项目类别:Continuing Grant
-
资助金额:$9.99万
-
财政年份:1997
-
负责人:Laura Dillon
-
依托单位:
Automated Support for Testing and Debugging of Real-Time Programs Using Oracles
-
批准号:9505392
-
项目类别:Continuing Grant
-
资助金额:$22.49万
-
财政年份:1995
-
负责人:Laura Dillon
-
依托单位:
Graphical Tools for Development of Concurrent Systems
-
批准号:9014382
-
项目类别:Continuing Grant
-
资助金额:$42.88万
-
财政年份:1990
-
负责人:Laura Dillon
-
依托单位:
An Integrated Approach to the Analysis of Concurrent Software Systems
-
批准号:8702905
-
项目类别:Standard Grant
-
资助金额:$14.63万
-
财政年份:1987
-
负责人:Laura Dillon
-
依托单位:
海外基金