您的位置： 专家智库 > >

蒋良

作品数：2 被引量：6H指数：1
供职机构：复旦大学信息科学与工程学院计算机科学系更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇中文期刊文章

领域

  • 2篇自动化与计算...

主题

  • 1篇形式化
  • 1篇形式化规格说...
  • 1篇形式语言
  • 1篇软件工程
  • 1篇计算机

机构

  • 2篇复旦大学

作者

  • 2篇蒋良
  • 1篇王世业
  • 1篇钱乐秋
  • 1篇黄海宁
  • 1篇赵文耘

传媒

  • 1篇计算机工程
  • 1篇计算机工程与...

年份

  • 2篇1998
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
一种基于模型的创建形式化规格说明的方法被引量：1
1998年
本文介绍一种基于模型的从非形式化规格说明文档中提取形式化规格说明的方法。本方法对非形式化的规格说明采用了结构化分类和渐进优化的技术。当非形式化的规格说明可以被归结成能用某一种规格说明语言表示之后，渐进优化就结束了。对于如何将需求的变化、已有的自动化支持技术以及非形式化的设计集合到优化技术中，给予了指导。本方法在设计ＲＳ２３２中继器的应用中已得到了检验。
蒋良王世业
关键词：形式语言计算机
一种基于重用的领域模型分类方法被引量：5
1998年
文中提出了一种领域模型的分类方法，以促进软件重用。虽然领域分析在软件重用中扮演了重要的角色，但是却很难运用，特别是对于新的应用领域更是如此。软件重用中的类比方法，通过提供相似领域的软件模型来支持领域分析。为了实现这种类比的方法，领域模型需要分类。文中所提出的方法是分层枚举（enumerativehierarchy）和封面方法（facetedscheme）的综合。从而使领域分析者可以很方便地确定一个相类似的领域来进行分析和建模。
蒋良黄海宁钱乐秋赵文耘
关键词：软件工程
全选 清除 导出
共1页<1>
聚类工具0