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
来源：
APPLIED COMPUTING 2007, VOL 1 AND 2 | 2007年
关键词：
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] Research of the Software Engineering Methods Applied in Nuclear Fuel Analysis Software Development
    Peng, Ying
    Zhang, Hong-yang
    Wang, Song-cheng
    INTERNATIONAL CONFERENCE ON COMPUTER, MECHATRONICS AND ELECTRONIC ENGINEERING (CMEE 2016), 2016,
  • [32] A Case for Human Values in Software Engineering
    Whittle, Jon
    Ferrario, Maria Angela
    Simm, Will
    Hussain, Waqar
    IEEE SOFTWARE, 2021, 38 (01) : 106 - 113
  • [33] A Quantum Algorithm for Software Engineering Search
    Hall, Robert J.
    2009 IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2009, : 40 - 51
  • [34] Development of Software Engineering: A Research Perspective
    Hong Mei
    Dong-Gang Cao
    Fu-Qing Yang
    Journal of Computer Science and Technology, 2006, 21 : 682 - 696
  • [35] Supporting software engineering with open hypermedia
    Anderson, KM
    ACM COMPUTING SURVEYS, 1999, 31 : U104 - U108
  • [36] Language-based software engineering
    Gupta, Gopal
    SCIENCE OF COMPUTER PROGRAMMING, 2015, 97 : 37 - 40
  • [37] Software Engineering Meets Control Theory
    Filieri, Antonio
    Maggio, Martina
    Angelopoulos, Konstantinos
    D'Ippolito, Nicolas
    Gerostathopoulos, Ilias
    Hempel, Andreas Berndt
    Hoffmann, Henry
    Jamshidi, Pooyan
    Kalyvianaki, Evangelia
    Klein, Cristian
    Krikava, Filip
    Misailovic, Sasa
    Papadopoulos, Alessandro Vittorio
    Ray, Suprio
    Sharifloo, Amir M.
    Shevtsov, Stepan
    Ujma, Mateusz
    Vogel, Thomas
    2015 IEEE/ACM 10TH INTERNATIONAL SYMPOSIUM ON SOFTWARE ENGINEERING FOR ADAPTIVE AND SELF-MANAGING SYSTEMS, 2015, : 71 - 82
  • [38] The role of model checking in software engineering
    Karna, Anil Kumar
    Chen, Yuting
    Yu, Haibo
    Zhong, Hao
    Zhao, Jianjun
    FRONTIERS OF COMPUTER SCIENCE, 2018, 12 (04) : 642 - 668
  • [39] Software Engineering Approach on Administrative Management
    Pop, Emil
    Padurariu, Emilia
    Leba, Monica
    Dacian, Ciodaru
    PROCEEDINGS OF THE 8TH WSEAS INTERNATIONAL CONFERENCE ON CIRCUITS, SYSTEMS, ELECTRONICS, CONTROL & SIGNAL PROCESSING (CSECS'09), 2009, : 186 - +
  • [40] Runtime analysis of search heuristics on software engineering problems
    Lehre, Per Kristian
    Yao, Xin
    FRONTIERS OF COMPUTER SCIENCE IN CHINA, 2009, 3 (01): : 64 - 72
12345