SoD-HCER: Collaborative Research: Using Market Forces to Improve the Design of Software

SoD-HCER:协作研究:利用市场力量改进软件设计

基本信息

  • 批准号:
    0613805
  • 负责人:
  • 金额:
    --
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    2006
  • 资助国家:
    美国
  • 起止时间:
    2006-07-15 至 2008-06-30
  • 项目状态:
    已结题

项目摘要

Markets for interchangeable components exert pressure on manufacturers to improve their products. This is especially true if the market comes with fast dissemination of information about the quality of the components. But existing markets for software components lack quality assurance mechanisms. In this exploratory project, the PIs will study the relationship between software markets, quality assurance, and design. The PIs conjecture that if a market for software components is equipped with a uniformly enforced quality control mechanism, it will force software producers to continuously overhaul their product designs. To test this hypothesis, the PIs will conduct experiments with small controllable component markets, in which products come with explicit software contracts and the underlying software platforms monitor these contracts and publicly report violations. Producers may choose to react to these reports with technical contributions (test cases, improved contracts, etc). In this context, the PIs will validate their conjecture by conducting code inspections and interviews with producers. The outcomes of this exploratory investigation will help others construct similar markets and mechanisms; some may even directly benefit from the software developed as part of the project.Broader Impacts: This project has the potential to change the way software components are produced and the way software reuse is taught. If the PIs' conjecture about markets is confirmed, it will provide arguments to the promoters of both public markets and markets that are internal to organizations. The very creation of a market with quality assurance mechanisms is bound to make the production of software more efficient, and to improve the quality of the components that are traded on the market. Independently of the outcome of the experiments, the idea of using a market for courses may help instructors deal with the teaching of software reuse in classes. They can use the PIs' experience and possibly their software as well to create course-focused markets; and they can use these markets to demonstrate the value of software reuse.
可互换部件的市场给制造商带来了改进产品的压力。如果市场上有关部件质量的信息传播迅速,这一点尤其正确。但是现有的软件组件市场缺乏质量保证机制。在这个探索性项目中,pi将研究软件市场、质量保证和设计之间的关系。pi推测,如果软件组件市场配备了统一强制的质量控制机制,它将迫使软件生产者不断地检查他们的产品设计。为了验证这一假设,pi将在小型可控组件市场进行实验,其中产品带有明确的软件合同,底层软件平台监控这些合同并公开报告违规行为。生产者可以选择用技术贡献(测试用例、改进的合同等)对这些报告作出反应。在这种情况下,pi将通过执行代码检查和与制作人面谈来验证他们的猜测。这一探索性调查的结果将有助于其他国家构建类似的市场和机制;有些人甚至可以直接从作为项目一部分开发的软件中受益。更广泛的影响:这个项目有可能改变软件组件的生产方式和传授软件重用的方式。如果pi关于市场的猜想得到证实,它将为公共市场和组织内部市场的推动者提供论据。具有质量保证机制的市场的创建必然会使软件的生产更有效,并提高在市场上交易的组件的质量。不管实验结果如何,利用市场进行课程的想法可以帮助教师在课堂上进行软件重用的教学。它们可以利用pi的经验,或许还可以利用它们的软件,创建以课程为中心的市场;他们可以利用这些市场来展示软件重用的价值。

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

Matthias Felleisen其他文献

Making Hybrid Languages: A Recipe
制作混合语言:秘诀
  • DOI:
    10.48550/arxiv.2403.01335
  • 发表时间:
    2024
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Leif Andersen;Cameron Moy;Stephen Chang;Matthias Felleisen
  • 通讯作者:
    Matthias Felleisen
Gradual typing for first-class classes
一流课程的逐步打字
  • DOI:
    10.1145/2384616.2384674
  • 发表时间:
    2012
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Asumu Takikawa;T. Strickland;Christos Dimoulas;Sam Tobin;Matthias Felleisen
  • 通讯作者:
    Matthias Felleisen
Effectful Software Contracts (with Appendices)
有效的软件合同(含附录)
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Cameron Moy;Christos Dimoulas;Matthias Felleisen
  • 通讯作者:
    Matthias Felleisen
The design and implementation of typed scheme
类型化方案的设计与实现

Matthias Felleisen的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Matthias Felleisen', 18)}}的其他基金

SHF: Small: Programming, and Reasoning about, Actors that Share State
SHF:小:共享状态的参与者的编程和推理
  • 批准号:
    2315884
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
SHF: Small: Beyond Behavioral Software Contracts
SHF:小型:超越行为软件合同
  • 批准号:
    2116372
  • 财政年份:
    2021
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
SHF: Small: A Mechanism for Extending A Programming Language with Interactive Syntax
SHF:小型:一种用交互式语法扩展编程语言的机制
  • 批准号:
    2007686
  • 财政年份:
    2020
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
CRI: CI-SUSTAIN: Racket on Alternative Platforms
CRI:CI-SUSTAIN:替代平台上的喧嚣
  • 批准号:
    1823244
  • 财政年份:
    2018
  • 资助金额:
    --
  • 项目类别:
    Continuing Grant
SHF: Large: Gradual Typing Across the Spectrum
SHF:大:跨范围的逐步打字
  • 批准号:
    1518844
  • 财政年份:
    2015
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
CI-EN: Collaborative: Run Your Research with Redex
CI-EN:协作:使用 Redex 进行研究
  • 批准号:
    1405881
  • 财政年份:
    2014
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
SHF: Small: Collaborative Research: Compiler Coaching
SHF:小型:协作研究:编译器指导
  • 批准号:
    1421412
  • 财政年份:
    2014
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
SHF: Medium: Collaborative Research: Semantics Engineering for Scripting Languages
SHF:媒介:协作研究:脚本语言的语义工程
  • 批准号:
    1064922
  • 财政年份:
    2011
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
SHF: Small: Collaborative Research: Modular ACL2
SHF:小型:协作研究:模块化 ACL2
  • 批准号:
    1016418
  • 财政年份:
    2010
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
CI-ADDO-EN: Infrastructure for the Production of Languages
CI-ADDO-EN:语言生产的基础设施
  • 批准号:
    0855140
  • 财政年份:
    2009
  • 资助金额:
    --
  • 项目类别:
    Continuing Grant

相似海外基金

SoD-HCER: Comprehensibility as a Design Criterion
SoD-HCER:可理解性作为设计标准
  • 批准号:
    0613919
  • 财政年份:
    2006
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
Sod-HCER: Designing the Undesignable
Sod-HCER:设计不可设计的东西
  • 批准号:
    0613162
  • 财政年份:
    2006
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
SoD-HCER: Evaluation of Complex Designs--A Comparative Study
SoD-HCER:复杂设计的评估——比较研究
  • 批准号:
    0613601
  • 财政年份:
    2006
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
SoD-HCER: Using Non-Linear Negotiation to Enable the Design of Robust Open Software Systems
SoD-HCER:使用非线性协商实现鲁棒开放软件系统的设计
  • 批准号:
    0613819
  • 财政年份:
    2006
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
SoD-HCER: Testing Designs and Designing Tests
SoD-HCER:测试设计和设计测试
  • 批准号:
    0613793
  • 财政年份:
    2006
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
SoD-HCER: Learning Based Programming
SoD-HCER:基于学习的编程
  • 批准号:
    0613885
  • 财政年份:
    2006
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
SoD-HCER: Contextualized Design Education for Professionals from Non-Computing Disciplines
SoD-HCER:针对非计算学科专业人士的情境化设计教育
  • 批准号:
    0613738
  • 财政年份:
    2006
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
SoD-HCER: Colloborative Research: Using Market Forces to Improve Design of Hardware
SoD-HCER:协作研究:利用市场力量改进硬件设计
  • 批准号:
    0613687
  • 财政年份:
    2006
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
SoD-HCER: Design for Verification
SoD-HCER:验证设计
  • 批准号:
    0614002
  • 财政年份:
    2006
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
SoD-HCER: Incorporating Uncertainty in the Evaluation of Software Designs
SoD-HCER:将不确定性纳入软件设计评估中
  • 批准号:
    0613823
  • 财政年份:
    2006
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了