课题基金 / 基金详情

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

SoD-HCER: Collaborative Research: Using Market Forces to Improve the Design of Software
SoD-HCER:协作研究:利用市场力量改进软件设计
批准号:
0613805
负责人:
Matthias Felleisen
金额:
$0.0万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2006
资助国家:
美国
项目状态:
已结题
起止时间:
2006-07-15 至 2008-06-30

项目摘要

项目成果

Matthias Felleisen的其他基金

相似基金

相关文献

中文摘要
翻译
可互换部件的市场给制造商带来了改进产品的压力。 如果市场上有关于组件质量的快速传播信息,这一点尤其如此。 但现有的软件组件市场缺乏质量保证机制。 在这个探索性的项目中,PI将研究软件市场,质量保证和设计之间的关系。 PI推测,如果软件组件市场配备了统一执行的质量控制机制,它将迫使软件生产商不断修改其产品设计。 为了验证这一假设,PI将对小型可控组件市场进行实验,其中产品带有明确的软件合同,底层软件平台监控这些合同并公开报告违规行为。 生产者可以选择对这些报告做出技术贡献(测试用例,改进的合同等)。 在这种情况下,PI将通过进行代码检查和与生产者的访谈来验证他们的猜想。 这一探索性调查的结果将帮助其他人构建类似的市场和机制,有些人甚至可能直接受益于作为项目的一部分开发的软件。更广泛的影响:这个项目有可能改变软件组件的生产方式和软件重用的方式。 如果PI关于市场的猜想得到证实,它将为公共市场和组织内部市场的推动者提供论据。 建立一个具有质量保证机制的市场,必然会使软件的生产更有效率,并提高市场上交易的组件的质量。 独立的实验结果,使用市场的课程的想法可能会帮助教师处理在课堂上的软件重用的教学。 他们可以使用PI的经验,也可能使用他们的软件来创建以课程为中心的市场;他们可以使用这些市场来证明软件重用的价值。
英文摘要
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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SHF: Small: Programming, and Reasoning about, Actors that Share State
  • 批准号:
    2315884
  • 项目类别:
    Standard Grant
  • 资助金额:
    $54.0万
  • 财政年份:
    2023
  • 负责人:
    Matthias Felleisen
  • 依托单位:
SHF: Small: Beyond Behavioral Software Contracts
  • 批准号:
    2116372
  • 项目类别:
    Standard Grant
  • 资助金额:
    $49.86万
  • 财政年份:
    2021
  • 负责人:
    Matthias Felleisen
  • 依托单位:
SHF: Small: A Mechanism for Extending A Programming Language with Interactive Syntax
  • 批准号:
    2007686
  • 项目类别:
    Standard Grant
  • 资助金额:
    $44.99万
  • 财政年份:
    2020
  • 负责人:
    Matthias Felleisen
  • 依托单位:
CRI: CI-SUSTAIN: Racket on Alternative Platforms
  • 批准号:
    1823244
  • 项目类别:
    Continuing Grant
  • 资助金额:
    $99.94万
  • 财政年份:
    2018
  • 负责人:
    Matthias Felleisen
  • 依托单位:
海外基金