Integration of well posedness analysis in software engineering

Authors:
Lorie M. Liebrock
Affiliations:
New Mexico Institute of Mining and Technology, Socorro, NM
Venue:
Proceedings of the 2007 ACM symposium on Applied computing
Year:
2007

Citing 8
Cited 0

Validation, Verification, and Testing of Computer Software

ACM Computing Surveys (CSUR)
Evaluating, comparing and improving the quality of system structure during the specification process. Application example with SDL

Software Quality Control
Towards systematic design of distance functions for data mining applications

Proceedings of the ninth ACM SIGKDD international conference on Knowledge discovery and data mining
Principle of Learning Metrics for Exploratory Data Analysis

Journal of VLSI Signal Processing Systems
An operational model for structuring the requirements generation process

Requirements Engineering
Empirical sensitivity analysis for computational procedures

Proceedings of the 2005 conference on Diversity in computing
Code Complete, Second Edition

Code Complete, Second Edition
A view of 20th and 21st century software engineering

Proceedings of the 28th international conference on Software engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.