Collaborative Proposal: Center for Software-Intensive Ultra-Large-Scale Systems
Collaborative Proposal: Center for Software-Intensive Ultra-Large-Scale Systems
批准号:
0700712
负责人:
William Griswold
金额:
$1.0万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2007
资助国家:
美国
项目状态:
已结题
起止时间:
2007-05-01 至 2008-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)
会议论文
SHF: Small: Scalable and Practical Detection of Invariants for Software Inspection
-
批准号:1719155
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2017
-
负责人:William Griswold
-
依托单位:
CPS: TTP Option: Synergy: Collaborative Research: Calibration of Personal Air Quality Sensors in the Field - Coping with Noise and Extending Capabilities
-
批准号:1446912
-
项目类别:Standard Grant
-
资助金额:$111.0万
-
财政年份:2015
-
负责人:William Griswold
-
依托单位:
SEL: Small: Crowdsourced Software Engineering using Gamification
-
批准号:1423517
-
项目类别:Standard Grant
-
资助金额:$47.5万
-
财政年份:2014
-
负责人:William Griswold
-
依托单位:
I-Corps: CodeSpells: Game-Based Education in American Schools
-
批准号:1359492
-
项目类别:Standard Grant
-
资助金额:$5.0万
-
财政年份:2014
-
负责人:William Griswold
-
依托单位:
NeTS:Small:Collaborative Research: Protocols and Analysis for Predictable Wireless Sensor Networks
-
批准号:1144757
-
项目类别:Standard Grant
-
资助金额:$14.92万
-
财政年份:2011
-
负责人:William Griswold
-
依托单位:
CPS:Medium: CitiSense - Adaptive Services for Community-Driven Behavioral and Environmental Monitoring to Induce Change
-
批准号:0932403
-
项目类别:Standard Grant
-
资助金额:$149.91万
-
财政年份:2009
-
负责人:William Griswold
-
依托单位:
Collaborative Proposal: SoD-TEAM: Representations for a Science of Design
-
批准号:0613845
-
项目类别:Standard Grant
-
资助金额:$39.28万
-
财政年份:2006
-
负责人:William Griswold
-
依托单位:
Collaborative Proposal: Advances in Aspect-Oriented Languages, Methods, and Tools
-
批准号:0429947
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2004
-
负责人:William Griswold
-
依托单位:
Coping With Software Change Using Information Transparency
-
批准号:9970985
-
项目类别:Standard Grant
-
资助金额:$18.0万
-
财政年份:1999
-
负责人:William Griswold
-
依托单位:
Practical Program Restructuring for Software Evolution
-
批准号:9508745
-
项目类别:Continuing Grant
-
资助金额:$21.84万
-
财政年份:1995
-
负责人:William Griswold
-
依托单位:
Practical Automated Assistance for Program Restructuring
-
批准号:9211002
-
项目类别:Continuing Grant
-
资助金额:$9.0万
-
财政年份:1992
-
负责人:William Griswold
-
依托单位:
海外基金