位置：成果数据库 > 期刊 > 期刊详情页
基于PAR方法的管理信息系统需求建模研究
  • ISSN号：1006-8228
  • 期刊名称：《计算机时代》
  • 时间：0
  • 分类：TP311.5[自动化与计算机技术—计算机软件与理论;自动化与计算机技术—计算机科学与技术]
  • 作者机构：[1]湖南科技大学数学与计算科学学院,湖南湘潭411201, [2]浙江大学计算机科学与技术学院,浙江杭州310027
  • 相关基金：国家自然科学基金（60273092）
作者： 李英龙[1], 施炜[2]
关键词： MIS, PAR, 形式化方法, 需求模型, Radl
中文摘要：

采用PAR方法中严格定义的形式化语言Radl描述MIS（管理信息系统）系统的性质和行为模式，并建立对应的需求数学模型，为构建高质量的软件需求模型进行了有益的探索。

同期刊论文项目
基于PAR方法的算法设计形式化和自动化研究
期刊论文 23 著作 17
同项目期刊论文
Radl算法到Apla程序的生成系统
AOP及其在状态机工作流中的应用
基于软件体系结构的可复用构件模型
若干算法程序的形式化推导与生成技术研究
算法及其时间复杂度可同步形式化推导的方法
基于Spring框架的轻量级J2EE架构与应用
General-Service Ballistic Computer Programming Based on B-Method
树非递归遍历统一的新解法及其形式证明
面向装备联勤保障的约束程序设计框架
UNITY与典型程序设计模型的比较
Hanoi塔非递归算法的形式化推导和正确性验证
一种基于Apla—Java可重用部件库的并行（并发）程序开发方法
基于软构件技术的OA系统的设计与实现
Floyd不变式断言法在程序设计教学中的应用
基于方面构件模型及其组装与实现
一种基于规约精化的货物分发问题求解方案分析
基于XML的可适应性工作流系统研究
基于构件开发与传统面向对象开发之比较
基于复杂递归类问题的可重用程序模板研究
基于Smart Client的远程教学系统的研究
期刊信息
  • 《计算机时代》
  • 主管单位:浙江省科技厅
  • 主办单位:浙江省计算技术研究所 浙江省计算机学会
  • 主编：陈纯
  • 地址：杭州市环城西路33-2号省计算所大楼
  • 邮编：310006
  • 邮箱：computer_era@21cn.com
  • 电话：0571-87054111
  • 国际标准刊号：ISSN：1006-8228
  • 国内统一刊号：ISSN：33-1094/TP
  • 邮发代号:32-81
  • 获奖情况:
  • 国内外数据库收录:
  • 被引量:8022