integration of well posedness analysis in software engineering
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.
well posedness analysis software engineering verification specifications design validation requirements analysis