课题基金 / 基金详情

Automated Rapid Prototyping Environment

Automated Rapid Prototyping Environment
自动化快速原型环境
批准号:
8710737
负责人:
Dr Luqi
金额:
$6.0万
依托单位:
依托单位国家:
美国
项目类别:
Interagency Agreement
财政年份:
1987
资助国家:
美国
项目状态:
已结题
起止时间:
1987-09-15 至 1990-08-31

项目摘要

项目成果

Dr Luqi的其他基金

相似基金

相关文献

中文摘要
翻译
软件系统的自动化快速原型开发环境有三个主要组成部分:(现有的)原型语言、软件库和(现有的)原型方法。该项目的研究目标是能够建立一个软件库,具有根据形式化组件规范检索可复用软件的能力,并开发原型语言的实现技术。该办法将加强原型语言的部件说明方面,使之能够简化为标准形式,这将减少从软件库检索部件时的不精确匹配问题。还将调查如何使用按类别概括来构建软件库,以帮助检索组件。将建立规范语言和软件库操作符之间的关系。将寻求实现原型语言的有效解释技术,并借助于基于属性语法的翻译工具进行评估。理由和建议本研究将实现基于可重用软件的自动原型设计,这将使通过快速原型验证软件需求成为现实。
英文摘要
An automated rapid prototyping environment for software systems has three major components: an (existing) prototyping language, a software base, and an (existing) prototyping method. The research objectives of the project are to enable the construction of a software base with capabilities for retrieving reusable software based on formalized component specifications and to develop implementation techniques for the prototyping language. The approach will be to enhance the component specification aspect of the prototyping language to allow reduction to a normal form, which will alleviate inexact match problems in retrieving components from the software base. The use of generalization per category for structuring the software base to aid component retrieval will also be investigated. The relation between the specification language and the software base operators will be established. Efficient interpretive techniques for implementing the prototyping language will be sought, and evaluated with the aid of an attribute grammar based translation tool. Justification and Recommendation The research will enable automated prototyping based on reusable software, which will make it practical to validate software requirements via rapid prototyping.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Monterey Workshop 2001-- Engineering Automation for Software Intensive System Integration
  • 批准号:
    0105166
  • 项目类别:
    Standard Grant
  • 资助金额:
    $1.5万
  • 财政年份:
    2001
  • 负责人:
    Dr Luqi
  • 依托单位:
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
  • 依托单位:
国内基金
海外基金
Research on the Rapid Growth Mechanism of KDP Crystal
  • 批准号:
    10774081
  • 项目类别:
    面上项目
  • 资助金额:
    45.0万元
  • 批准年份:
    2007
  • 负责人:
    滕冰
  • 依托单位: