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 条
  • [41] Differential Algebra-Based Multiple Gaussian Particle Filter for Orbit Determination
    Servadio, Simone
    Zanetti, Renato
    JOURNAL OF OPTIMIZATION THEORY AND APPLICATIONS, 2021, 191 (2-3) : 459 - 485
  • [42] A coordination process based on UML and a software architectural description
    Inverardi, P
    Muccini, H
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-V, 2000, : 809 - 815
  • [43] Differential Algebra-Based Multiple Gaussian Particle Filter for Orbit Determination
    Simone Servadio
    Renato Zanetti
    Journal of Optimization Theory and Applications, 2021, 191 : 459 - 485
  • [44] A Performance Evaluation Process Algebra-Based Fluid Approximation Approach to Evaluate Large Scale Content Adaptation Systems
    Ding, Jie
    Zhu, Xin-Shan
    Li, Bin
    SENSOR LETTERS, 2012, 10 (08) : 1698 - 1707
  • [45] Use Of Structure Maps To Facilitate Problem Solving In Algebra-Based Physics
    Mateycik, Fran
    Jonassen, David H.
    Rebello, N. Sanjay
    2008 PHYSICS EDUCATION RESEARCH CONFERENCE, 2008, 1064 : 151 - +
  • [46] Algebra-Based Students and Vector Representations: Arrow vs. ijk
    Buncher, John B.
    2015 PHYSICS EDUCATION RESEARCH CONFERENCE, 2015, : 75 - 78
  • [47] A Scrutiny of the Software Requirement Engineering process
    Geogy, Manju
    Dharani, Andhe
    1ST GLOBAL COLLOQUIUM ON RECENT ADVANCEMENTS AND EFFECTUAL RESEARCHES IN ENGINEERING, SCIENCE AND TECHNOLOGY - RAEREST 2016, 2016, 25 : 405 - 410
  • [48] A Survey on Current Requirement Process Practices in Software Companies and Requirement Process Problems
    Ilyas, Fauqia
    Zahra, Kinza
    Ambreen, Nadia
    Butt, Wasi Haider
    2016 INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE & COMPUTATIONAL INTELLIGENCE (CSCI), 2016, : 1280 - 1285
  • [49] Clifford algebra-based structure filtering analysis for geophysical vector fields
    Yu, Z.
    Luo, W.
    Yi, L.
    Hu, Y.
    Yuan, L.
    NONLINEAR PROCESSES IN GEOPHYSICS, 2013, 20 (04) : 563 - 570
  • [50] Identifying Low Pharmaceutical Calculation Performers Using an Algebra-Based Pretest
    Aronson, Benjamin D.
    Eddy, Emily
    Long, Brittany
    Welch, Olivia K.
    Grundey, Jennifer
    Hinson, Jessica L.
    AMERICAN JOURNAL OF PHARMACEUTICAL EDUCATION, 2022, 86 (01)
12345