Integration of Well Posedness Analysis in Software Engineering

被引:0
|
作者
Liebrock, Lorie M. [1 ]
机构
[1] New Mexico Inst Min & Technol, Dept Comp Sci, Socorro, NM 87801 USA
关键词
Software Engineering; Well Posedness Analysis; Requirements Analysis; Specifications; Design; Verification; Validation;
D O I
暂无
中图分类号
TP39 [计算机的应用];
学科分类号
081203 ; 0835 ;
摘要
This paper advocates the use of well posedness analysis as a tool to use in software engineering. Well posedness analysis as a problem solving tool has seen too little use, especially in computer science and software engineering. A problem is well posed if and only if. (1) at least one solution exists, (2) at most one solution exists, and (3) the solution is stable. Here well posedness analysis is described as an augmentation to software engineering as an approach to improving software quality.
引用
收藏
页码:1479 / 1483
页数:5
相关论文
共 50 条
  • [31] Well-Posedness and Stability Analysis of a Landscape Evolution Model
    Julie Binard
    Pierre Degond
    Pascal Noble
    Journal of Nonlinear Science, 2024, 34
  • [32] The Well-Posedness and Stability Analysis of a Computer Series System
    Qiao, Xing
    Ma, Dan
    Zheng, Fu
    Zhu, Guangtian
    JOURNAL OF APPLIED MATHEMATICS, 2013,
  • [33] Well-posedness analysis of multicomponent incompressible flow models
    Bothe, Dieter
    Druet, Pierre-Etienne
    JOURNAL OF EVOLUTION EQUATIONS, 2021, 21 (04) : 4039 - 4093
  • [34] ANALYSIS OF A SOFTWARE ENGINEERING FAILURE
    MAMRAK, S
    RANDAL, JM
    COMPUTER JOURNAL, 1977, 20 (04): : 316 - 320
  • [35] Editorial: analysis in software engineering
    Robert J. Hall
    Automated Software Engineering, 2012, 19 : 231 - 232
  • [36] Well Posedness for Pressureless Flow
    Feimin Huang
    Zhen Wang
    Communications in Mathematical Physics, 2001, 222 : 117 - 146
  • [37] THE WELL─POSEDNESS OF THE POIN CAREBOUNDARYVALUEPROBLEMFORHARMONICFUNCTIONS
    闻国椿
    康世祥
    四川师范大学学报(自然科学版), 1996, (02) : 52 - 57
  • [38] Well posedness and optimization on problems
    Pusillo, L
    Variational Analysis and Applications, 2005, 79 : 889 - 904
  • [39] Well posedness for pressureless flow
    Huang, FM
    Wang, Z
    COMMUNICATIONS IN MATHEMATICAL PHYSICS, 2001, 222 (01) : 117 - 146
  • [40] Fuzz Testing & Software Composition Analysis in Software Engineering
    Yang, Eugene
    2018 INTERNATIONAL SYMPOSIUM ON VLSI DESIGN, AUTOMATION AND TEST (VLSI-DAT), 2018,