Collaborative Proposal: Center for Software-Intensive Ultra-Large-Scale Systems
Collaborative Proposal: Center for Software-Intensive Ultra-Large-Scale Systems
批准号:
0700329
负责人:
Betty Cheng
金额:
$0.0万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2007
资助国家:
美国
项目状态:
已结题
起止时间:
2007-05-01 至 2009-04-30
中文摘要
点击翻译按钮获取中文摘要
英文摘要
This planning grant serves to establish the basis for a new Industry/University Cooperative Research Center for Software-Intensive Ultra-Large-Scale Systems. This proposed center will initially comprise of five research sites, at the University of Virginia, Michigan State University, the University of California San Diego, Vanderbilt University and the University of Washington. The research focus of this proposed center is on software for complex systems. The Center will conduct basic and applied research in traditional and emerging areas of software theory and practice, including research at the intersection of computer science and other disciplines, to include economics, cognition and anthropology. The research will address important problems and opportunities in six key areas: software language, software analysis and synthesis, software design, trustworthy software, software infrastructure and sentient software.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
NSF Student and Early-Career Faculty Travel and Registration Grant for 2017 IEEE International Conference on Software Engineering (ICSE)
-
批准号:1723560
-
项目类别:Standard Grant
-
资助金额:$3.51万
-
财政年份:2017
-
负责人:Betty Cheng
-
依托单位:
Collaborative Research: CI-ADDO-EN: Research Repository for Model-Driven Software Development (REMODD)
-
批准号:1305358
-
项目类别:Standard Grant
-
资助金额:$43.35万
-
财政年份:2013
-
负责人:Betty Cheng
-
依托单位:
Collaborative Research: CI-ADDO-NEW: Research Repository for Model-Driven Software Development (REMODD)
-
批准号:0854931
-
项目类别:Standard Grant
-
资助金额:$18.89万
-
财政年份:2009
-
负责人:Betty Cheng
-
依托单位:
ORCHID: Harnessing Digital Evolution to Design High-Assurance Adaptive Systems
-
批准号:0820220
-
项目类别:Standard Grant
-
资助金额:$60.0万
-
财政年份:2008
-
负责人:Betty Cheng
-
依托单位:
SGER: Applying Digital Evolution to Behavioral Models
-
批准号:0750787
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2007
-
负责人:Betty Cheng
-
依托单位:
Facilitating the Modeling and Analysis of Distributed Real-time Embedded Systems
-
批准号:0541131
-
项目类别:Standard Grant
-
资助金额:$33.0万
-
财政年份:2006
-
负责人:Betty Cheng
-
依托单位:
Travel Grant for Attending Doctoral Symposium for RE06
-
批准号:0631266
-
项目类别:Standard Grant
-
资助金额:$0.6万
-
财政年份:2006
-
负责人:Betty Cheng
-
依托单位:
CRI: A Repository for Model Driven Development
-
批准号:0551622
-
项目类别:Standard Grant
-
资助金额:$4.0万
-
财政年份:2006
-
负责人:Betty Cheng
-
依托单位:
Experimental Partnership - Meridian: An Integrated Toolkit for Developing Interactive Distributed Applications
-
批准号:0000433
-
项目类别:Continuing Grant
-
资助金额:$193.41万
-
财政年份:2000
-
负责人:Betty Cheng
-
依托单位:
Object-oriented Development and Analysis of Embedded Systems
-
批准号:9901017
-
项目类别:Standard Grant
-
资助金额:$36.5万
-
财政年份:1999
-
负责人:Betty Cheng
-
依托单位:
Integrating Formal and Informal Techniques: An Approach to Evolutionary Systems Development
-
批准号:9633391
-
项目类别:Standard Grant
-
资助金额:$15.72万
-
财政年份:1996
-
负责人:Betty Cheng
-
依托单位:
A Formal Approach to Requirements Analysis and Design
-
批准号:9407318
-
项目类别:Standard Grant
-
资助金额:$8.2万
-
财政年份:1994
-
负责人:Betty Cheng
-
依托单位:
CISE 1992 Minority Graduate Fellowship Honorable Mention
-
批准号:9312389
-
项目类别:Standard Grant
-
资助金额:$0.6万
-
财政年份:1993
-
负责人:Betty Cheng
-
依托单位:
Software Development Environment Supporting Formal Methods
-
批准号:9209873
-
项目类别:Continuing Grant
-
资助金额:$8.98万
-
财政年份:1992
-
负责人:Betty Cheng
-
依托单位:
Travel Grant for Trip to Attend the Fifteenth Annual International Computer Software and Applications Conference in Tokyo, Japan, September 9-13, 1991
-
批准号:9116850
-
项目类别:Standard Grant
-
资助金额:$0.6万
-
财政年份:1991
-
负责人:Betty Cheng
-
依托单位:
海外基金