课题基金 / 基金详情

CAREER: Toward a Scientific Basis for the design of Integrated Systems

CAREER: Toward a Scientific Basis for the design of Integrated Systems
职业:为集成系统设计奠定科学基础
批准号:
9502029
负责人:
Kevin Sullivan
金额:
$12.87万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
1995
资助国家:
美国
项目状态:
已结题
起止时间:
1995-06-01 至 1998-08-31

项目摘要

项目成果

Kevin Sullivan的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
The broad objective of this CAREER project is to help cement the status of software engineering as a discipline that uses models, methods, and mechanisms based on generalizable scientific knowledge. The research component of this project addresses three important problems in software design. The mediator method is an approach to design in which the behavioral relationships needed to integrate independent behaviors are separately identified and represented as objects external to the objects representing those behaviors. Externalizing relationships as mediators depends in turn on a careful application of both explicit and implicit invocation mechanisms. The first research focus is an attempt to improve scientific foundations for software design, scientifically testing the claim that common methods for designing integrated systems are poorer than the mediator method with respect to ease of evolution of integration requirements. Second is the exploration, through pilot projects, of using the mediator method to aid the design of distributed systems. Third is the investigation of a new approach to helping designers balance multiple objectives as software designs evolve. An environment that reflects how well a design meets each of several objectives by depicting divergences of the design from each of several a models, where each model is defined by the designer as good with respect to one particular objective. The teaching focus is intended to develop engineers who understand software design to be a multi-objective, risky activity, done with incomplete information and thus demanding creativity and reflective, rigorous, risk-reducing methods. To help students understand how to manage the complexity and risk of real software systems, courses focus on realistic development projects, such as a mobile robot system.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SHF: Small: Explicating and Exploiting the Physical Semantics of Code
  • 批准号:
    1909414
  • 项目类别:
    Standard Grant
  • 资助金额:
    $51.5万
  • 财政年份:
    2019
  • 负责人:
    Kevin Sullivan
  • 依托单位:
Collaborative Research: Developing a Constructive Logic-Based Theory of Value-Based Systems Engineering
  • 批准号:
    1400294
  • 项目类别:
    Standard Grant
  • 资助金额:
    $15.0万
  • 财政年份:
    2014
  • 负责人:
    Kevin Sullivan
  • 依托单位:
EAGER: Software Engineering Research for Societal Grand Challenge Problems
  • 批准号:
    1052874
  • 项目类别:
    Standard Grant
  • 资助金额:
    $10.0万
  • 财政年份:
    2010
  • 负责人:
    Kevin Sullivan
  • 依托单位:
Collaborative Proposal: Center for Software-Intensive Ultra-Large-Scale Systems
  • 批准号:
    0700600
  • 项目类别:
    Standard Grant
  • 资助金额:
    $1.0万
  • 财政年份:
    2007
  • 负责人:
    Kevin Sullivan
  • 依托单位:
国内基金
海外基金
Toward a general theory of intermittent aeolian and fluvial nonsuspended sediment transport
  • 批准号:
    --
  • 项目类别:
    --
  • 资助金额:
    55万元
  • 批准年份:
    2022
  • 负责人:
    Thomas Pahtz
  • 依托单位: