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 条
  • [1] Usability-Engineering-Requirements as a Basis for the Integration with Software Engineering
    Nebe, Karsten
    Paelke, Volker
    HUMAN-COMPUTER INTERACTION, PT I, 2009, 5610 : 652 - +
  • [2] Problem solving with well posedness analysis: Part I
    Liebrock, Lorie M.
    APPLIED MATHEMATICS AND COMPUTATION, 2006, 181 (02) : 1671 - 1682
  • [3] Formal Methods and Software Engineering
    Serna Montoya, Edgar
    REVISTA VIRTUAL UNIVERSIDAD CATOLICA DEL NORTE, 2010, 30 : 158 - 184
  • [4] Interferometer software development at JPL: Using software engineering to reduce integration headaches
    Deck, MD
    Hines, BE
    ASTRONOMICAL INTERFEROMETRY, PTS 1 AND 2, 1998, 3350 : 163 - 172
  • [5] Notes on the study of the tools integration level of software engineering environments
    Wu, YF
    Chen, Y
    Gu, XL
    Li, F
    OBJECT-ORIENTED TECHNOLOGY, 1998, : 100 - 104
  • [6] Control integration like verification dimension in software engineering environment
    Tiako, PF
    Perrin, O
    Derniame, JC
    CARI'96 - PROCEEDINGS OF THE 3RD AFRICAN CONFERENCE ON RESEARCH IN COMPUTER SCIENCE, 1996, : 195 - 204
  • [7] Using ontologies to improve knowledge integration in Software Engineering Environments
    Falbo, RD
    de Menezes, CS
    da Rocha, ARC
    WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL 1, PROCEEDINGS: ISAS '98, 1998, : 296 - 303
  • [8] Land and water resources model integration: software engineering and beyond
    Argent, RM
    Houghton, B
    ADVANCES IN ENVIRONMENTAL RESEARCH, 2001, 5 (04): : 351 - 359
  • [9] Analysis of the Application of Engineering Software Pro/E in Engineering Analysis and Manufacture
    Chen Lin
    Zhang Yunbiao
    Xie Lei
    Tan Zhilin
    PROCEEDINGS OF 2012 2ND INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND NETWORK TECHNOLOGY (ICCSNT 2012), 2012, : 1728 - 1731
  • [10] Comparative Analysis of Software Engineering Paradigms
    Verma, Amit
    Kaur, Iqbaldeep
    Arora, Namita
    PROCEEDINGS OF THE 10TH INDIACOM - 2016 3RD INTERNATIONAL CONFERENCE ON COMPUTING FOR SUSTAINABLE GLOBAL DEVELOPMENT, 2016, : 994 - 999
12345