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] The integration of HCI and software engineering
    Phillips, C
    Kemp, E
    1998 INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: EDUCATION & PRACTICE, PROCEEDINGS, 1998, : 399 - 401
  • [2] Integration of software tools in software engineering education
    Ozcan, MB
    NINTH CONFERENCE ON SOFTWARE ENGINEERING EDUCATION, PROCEEDINGS, 1996, : 149 - 161
  • [3] TOOL INTEGRATION IN SOFTWARE ENGINEERING ENVIRONMENTS
    WASSERMAN, AI
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 467 : 137 - 149
  • [4] Formal methods integration in software engineering
    Perseil, Isabelle
    Pautet, Laurent
    INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2010, 6 (1-2) : 5 - 11
  • [5] Perspectives on manufacturing engineering software integration
    McLean, CR
    INFORMATION INFRASTRUCTURE SYSTEMS FOR MANUFACTURING, 1997, : 20 - 31
  • [6] TOOL INTEGRATION IN SOFTWARE ENGINEERING ENVIRONMENTS
    STORK, B
    ANGEWANDTE INFORMATIK, 1985, (02): : 49 - 57
  • [7] Usability-Engineering-Requirements as a Basis for the Integration with Software Engineering
    Nebe, Karsten
    Paelke, Volker
    HUMAN-COMPUTER INTERACTION, PT I, 2009, 5610 : 652 - +
  • [8] INTEGRATION OF COMPUTER-SYSTEMS AND SOFTWARE ENGINEERING
    ATTARD, R
    ONDE ELECTRIQUE, 1993, 73 (03): : 1 - 1
  • [9] Integration of the original software applications for mechanical engineering
    Oanta, E.
    MODTECH INTERNATIONAL CONFERENCE - MODERN TECHNOLOGIES IN INDUSTRIAL ENGINEERING VIII, 2020, 916
  • [10] Tool Integration in Software Engineering Environments.
    Stork, Burkhard
    Angewandte Informatik, Applied Informatics, 1985, 27 (02): : 49 - 57
12345