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
中文摘要
点击翻译按钮获取中文摘要
英文摘要
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
-
依托单位:
Collaborative Research: SoD-TEAM: Representations for a Science of Design
-
批准号:0613840
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2006
-
负责人:Kevin Sullivan
-
依托单位:
A Logic-Based, Value-Oriented Science of Design
-
批准号:0438898
-
项目类别:Standard Grant
-
资助金额:$15.0万
-
财政年份:2005
-
负责人:Kevin Sullivan
-
依托单位:
Collaborative Proposal: Advances in Aspect-Oriented Languages, Methods, and Tools
-
批准号:0429786
-
项目类别:Continuing Grant
-
资助金额:$13.28万
-
财政年份:2004
-
负责人:Kevin Sullivan
-
依托单位:
Workshops on the Science of Design
-
批准号:0346938
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2003
-
负责人:Kevin Sullivan
-
依托单位:
ITR: Strategic Software Design: Value-Driven Software Definition, Development, Deployment and Evolution
-
批准号:0086003
-
项目类别:Continuing Grant
-
资助金额:$136.0万
-
财政年份:2000
-
负责人:Kevin Sullivan
-
依托单位:
Foundations of Software Design in Theories of Contingent Value
-
批准号:9804078
-
项目类别:Standard Grant
-
资助金额:$20.0万
-
财政年份:1998
-
负责人:Kevin Sullivan
-
依托单位:
Core Laboratory for DNA Structure Analysis
-
批准号:8804654
-
项目类别:Standard Grant
-
资助金额:$18.64万
-
财政年份:1988
-
负责人:Kevin Sullivan
-
依托单位:
国内基金
海外基金
Toward a general theory of intermittent aeolian and fluvial nonsuspended sediment transport
-
批准号:--
-
项目类别:--
-
资助金额:55万元
-
批准年份:2022
-
负责人:Thomas Pahtz
-
依托单位: