Monterey Workshop 2001-- Engineering Automation for Software Intensive System Integration
Monterey Workshop 2001-- Engineering Automation for Software Intensive System Integration
批准号:
0105166
负责人:
Dr Luqi
金额:
$1.5万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2001
资助国家:
美国
项目状态:
已结题
起止时间:
2001-07-01 至 2002-06-30
中文摘要
CCR-0105166陆基海军研究生院“蒙特利研讨会2001--软件密集系统集成的工程自动化”为期3天的研讨会将于6月19-21日在加利福尼亚州蒙特利举行,旨在传播和整合与在不同环境中生产可靠的成本效益软件有关的最新研究成果。研讨会的一个主要目标是帮助软件工程界关注对改善软件工程实践状况至关重要的问题,包括与支持可靠、经济高效、集成的分布式软件开发过程的工程自动化有关的所有主题。讲习班活动的目的是评估这一领域目前的研究工作,确定可提高自动化程度的结果和方向,通过建立共同理解来协助工具集成,并增加正式方法的实际使用。
英文摘要
CCR-0105166LuqiNaval Postgraduate School"Monterey Workshop 2001- Engineering Automation for Software Intensive System Integration"A 3-day workshop, to be held in Monterey, CA on June 19-21, is organized for the dissemination and integration of recent research results related to the production of reliable cost-effective software in heterogeneous environments. A major goal of the workshop is to help the software engineering community focus on issues that are vital to improving the state of software engineering practice, including all topics related to supporting engineering automation of reliable, cost-effective, integrated, distributed software development processes. The workshop activities aim to assess current research efforts in this area, identify results and directions that can increase the degree of automation, aid tool integration by building a common understanding, and increase the practical use of formal methods.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Workshop: Engineering Automation for Computer-Based Systems on October 26-29, 1998 at Carmel, CA
-
批准号:9813820
-
项目类别:Interagency Agreement
-
资助金额:$1.5万
-
财政年份:1998
-
负责人:Dr Luqi
-
依托单位:
Formal Methods for Software Development Workshop, Monterey, CA.
-
批准号:9415054
-
项目类别:Interagency Agreement
-
资助金额:$0.5万
-
财政年份:1994
-
负责人:Dr Luqi
-
依托单位:
PYI: Computer-Aided Prototyping of Real-Time Systems
-
批准号:9058453
-
项目类别:Interagency Agreement
-
资助金额:$31.25万
-
财政年份:1990
-
负责人:Dr Luqi
-
依托单位:
US-Federal Republic of Germany Cooperative Research: (Computer Science) Rapid prototyping for Distributed Applications
-
批准号:8922521
-
项目类别:Standard Grant
-
资助金额:$0.91万
-
财政年份:1990
-
负责人:Dr Luqi
-
依托单位:
Automated Rapid Prototyping Environment
-
批准号:8710737
-
项目类别:Interagency Agreement
-
资助金额:$6.0万
-
财政年份:1987
-
负责人:Dr Luqi
-
依托单位:
海外基金