Process Algebra-Based Description for Software Requirement

被引：0
|
作者：
Zhan, Haomin [1 ]
Yin, Guisheng [1 ]
Sun, Changsong [1 ]
Shen, Linshan [1 ]
Ni, Jun [2 ]
机构：
[1] Harbin Engn Univ, Coll Comp Sci & Technol, Harbin 150001, Peoples R China
[2] Univ Iowa, Dept Comp Sci, Iowa City, IA 52242 USA
来源：
2008 INTERNATIONAL MULTISYMPOSIUMS ON COMPUTER AND COMPUTATIONAL SCIENCES (IMSCCS) | 2008年
关键词：
requirement; requirement engineering; requirement process; process algebra;
D O I：
10.1109/IMSCCS.2008.32
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
A requirement process plays very important part in software engineering process. In order to truly meet the needs requested by customers, a software engineering system should include a high-quality requirement management process, which can accurately describes the software requirements. In this paper addresses and defines the requirement process to be implemented on a software system. It also reports on how we analyze the process in a perspective of system engineering. Based on the analysis and certain simplification, a process algebraic expression is proposed to establish a Software Requirement Process. The results show that development cycle is shortened, resources are saved; hence the efficiency is significantly improved.
引用
收藏
页码：184 / +
页数：3
相关论文
共 50 条
  • [31] An environment for generating FPGA architectures for image algebra-based algorithms
    Crookes, D
    Alotaibi, K
    Bouridane, A
    Donachy, P
    Benkrid, A
    1998 INTERNATIONAL CONFERENCE ON IMAGE PROCESSING - PROCEEDINGS, VOL 3, 1998, : 990 - 994
  • [32] Software performance prediction approach based on stochastic process algebra
    Xitong Fangzhen Xuebao, 2008, 15 (3996-3999+4024):
  • [33] Compositional software verification based on game semantics and process algebra
    Dimovski A.
    Lazić R.
    International Journal on Software Tools for Technology Transfer, 2007, 9 (1) : 37 - 51
  • [34] Geometric Algebra-based Method for Inverse Dynamic Modeling of Parallel Robots
    Xu L.
    Ye W.
    Li Q.
    Jixie Gongcheng Xuebao/Journal of Mechanical Engineering, 2022, 58 (07): : 1 - 11
  • [35] A Clifford Algebra-based mathematical model for the determination of critical temperatures in superconductors
    Sudharsan Thiruvengadam
    Matthew Murphy
    Karol Miller
    Journal of Mathematical Chemistry, 2020, 58 : 1926 - 1986
  • [36] Assessing physics quantitative literacy in algebra-based physics: lessons learned
    Zimmerman, Charlotte
    McCarty, Andrew
    Brahmia, Suzanne White
    Olsho, Alexis
    de Cock, Mieke
    Boudreaux, Andrew
    Smith, Trevor, I
    Eaton, Philip
    2022 PHYSICS EDUCATION RESEARCH CONFERENCE (PERC), 2022, : 519 - 524
  • [37] CAUSTA: Clifford Algebra-based Unified Spatio-Temporal Analysis
    Yuan, Linwang
    Yu, Zhaoyuan
    Chen, Shaofei
    Luo, Wen
    Wang, Yongjun
    Lue, Guonian
    TRANSACTIONS IN GIS, 2010, 14 : 59 - 83
  • [38] A Clifford Algebra-based mathematical model for the determination of critical temperatures in superconductors
    Thiruvengadam, Sudharsan
    Murphy, Matthew
    Miller, Karol
    JOURNAL OF MATHEMATICAL CHEMISTRY, 2020, 58 (09) : 1926 - 1986
  • [39] Set algebra-based algebraic evolutionary algorithm for binary optimization problems
    He, Yichao
    Sun, Hailu
    Wang, Yuan
    Zhang, Xinlu
    Mirjalili, Seyedali
    APPLIED SOFT COMPUTING, 2023, 143
  • [40] Semantic Cache Replacement Strategy for XML Algebra-Based Query Optimization
    XU Fangfang
    LI Yaoyao
    GU Jinguang
    Wuhan University Journal of Natural Sciences, 2015, 20 (02) : 165 - 172
12345