skip to main content
10.1145/1244002.1244318acmconferencesArticle/Chapter ViewAbstractPublication PagessacConference Proceedingsconference-collections
Article

Integration of well posedness analysis in software engineering

Published: 11 March 2007 Publication History

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.

References

[1]
Adrion, W. R., Branstad, M. A., Cherniavsky, J. C., Validation, Verification, and Testing of Computer Software, Computing Surveys, V14, N2, June 1982.
[2]
Aggarwal, C. C., Towards Systematic Design of Distance Functions for Data Mining Applications, SIGKDD '03, 2003.
[3]
Ammar-Boudjelal, F., Lafaye, J. Y., and Louis, G., Evaluating, Comparing and Improving the Quality of System Structure During the Specification Process, Software Quality Journal, 7, 1998.
[4]
Asaithambi, N. S., Numerical Analysis Theory and Practice, Saunders College Publishing, 1995.
[5]
Arthur, J. D., and Groner, M. K., An Operational Model for Structuring the Requirements Generation Process, Requirements Engineering, 10, 2005.
[6]
Berztiss, A. T., Requirements Engineering, Handbook of Software Engineering and Knowledge Engineering Vol. I, World Scientific Publishing Co., 2002.
[7]
Berztiss, A. T., Verification and Validation, Handbook of Software Engineering and Knowledge Engineering Vol. I, World Scientific Publishing Co., 2002.
[8]
Boehm, B., A View of the 20th and 21st Century Software Engineering, ICSE'06, 2006.
[9]
Boehm, B., Using Risk to Balance Agility and Discipline: A Quantitative Analysis, EDSER-5 Proceedings, 2003.
[10]
Kaski, S. and Sinkkonen, J., Principle of Learning Metrics for Exloratory Data Analysis, Journal of VLSI Signal Processing, 37, 177--188, 2004.
[11]
Liebrock, L. M., Empirical Sensitivity Analysis for Computational Procedures, Proceedings of the ACM Tapia Conference, Albuquerque, NM, October 19--22, 2005.
[12]
Liebrock, L. M., Problem Solving with Well Posedness Analysis: Part 1, Applied Mathematics and Computation, Vol 181/2, pp 1671--1682, 2006.
[13]
McConnell, S., Code Complete, 2nd Edition, Microsoft Press, 2004.
[14]
Samurin, A., Equivalence Class Partioning, Software Testing (main page), www.geocities.com/xtremetesting/, Jan. 2002.

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
SAC '07: Proceedings of the 2007 ACM symposium on Applied computing
March 2007
1688 pages
ISBN:1595934804
DOI:10.1145/1244002
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 11 March 2007

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. design
  2. requirements analysis
  3. software engineering
  4. specifications
  5. validation
  6. verification
  7. well posedness analysis

Qualifiers

  • Article

Conference

SAC07
Sponsor:

Acceptance Rates

Overall Acceptance Rate 1,650 of 6,669 submissions, 25%

Upcoming Conference

SAC '25
The 40th ACM/SIGAPP Symposium on Applied Computing
March 31 - April 4, 2025
Catania , Italy

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • 0
    Total Citations
  • 157
    Total Downloads
  • Downloads (Last 12 months)2
  • Downloads (Last 6 weeks)0
Reflects downloads up to 13 Feb 2025

Other Metrics

Citations

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media