Imperfect Requirements in Software Development

  • Joost Noppen
  • Pim van den Broek
  • Mehmet Aksit
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4542)


Requirement Specifications are very difficult to define. Due to lack of information and differences in interpretation, software engineers are faced with the necessity to redesign and iterate. This imperfection in software requirement specifications is commonly addressed by incremental design. In this paper, we advocate an approach where the imperfect requirements in requirement specifications are modeled by fuzzy sets. By supporting this approach with a requirement tracing and an optimization approach, the necessity for design iteration can be reduced.


requirements design optimization decision support  fuzzy 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Aksit, M., Marcelloni, F.: Leaving Inconsistency Using Fuzzy Logic. Information and Software Technology 43(10), 725–741 (2001)Google Scholar
  2. 2.
    Bowen, J., O’Grady, P., Smith, L.: A Constraint Programming Language for Life-Cycle Engineering, Artificial Intelligence in Engineering 5(4), 206–220 (1990)CrossRefGoogle Scholar
  3. 3.
    Brown, P.G.: QFD: Echoing the Voice of the Customer, AT&T Technical Journal, 21–31 (March/April 1991)Google Scholar
  4. 4.
    Davis, A.M.: Software Requirements: Analysis and Specification’. Prentice-Hall, Inc., Englewood Cliffs (1990)Google Scholar
  5. 5.
    Finkelstein, A., Kramer, J., Nuseibeh, B.: Software process modelling and technology, Research Studies Press Ltd (1994)Google Scholar
  6. 6.
    Jacobson, I., Booch, G., Rumbaugh, J.: The Unified Software Development Process. Addison Wesley, London, UK (1999)Google Scholar
  7. 7.
    Kaindl, H.: The Missing Link in Requirements Engineering, ACM SIGSOFT Software Engineering Notes 18(2), 30–39 (1993)CrossRefGoogle Scholar
  8. 8.
    Kaiser, G.E., Popovich, S., Ben-Shaul, I.Z.: A Bi-Level Language for Software Process Modeling. In: Tichy, W. (ed.) Configuration Management, John Wiley and Sons, Ltd.Baffins Lane, Chichester, West Sussex PO19 1UD, England, pp. 39-72 (1994)Google Scholar
  9. 9.
    Liu, X., Da, Q.: A Decision Tree Solution Considering the Decision Maker’s Attitude. In: Fuzzy Sets and Systems, pp. 437–454. Elsevier, North-Holland, Amsterdam (2005)Google Scholar
  10. 10.
    Law, W.S., Antonsson, E.K.: Optimization Methods for Calculating Design Imprecision, in Advances in Design Automation, ASME, pp. 471–476 (1995)Google Scholar
  11. 11.
    Marcelloni, F., Aksit, M.: Reducing Quantization Error and Contextual Bias Problems in Software Development Processes by Applying Fuzzy Logic. In: Proceedings 18th Int. Conference of NAFIPS, IEEE (1999) ISBN 0-7803-5211-4Google Scholar
  12. 12.
    Noppen, J., Aksit, M., Nicola, V., Tekinerdogan, B.: Market-Driven Approach Based on Markov Decision Theory for Optimal Use of Resources in Software Development. IEE Proceedings Software 151(2), 85–94 (2004)CrossRefGoogle Scholar
  13. 13.
    Smithers, T., Tang, M.X., Tomes, N.: The Maintenance of Design History in AI-Based Design. In: Proceedings of the Colloquium by the Institution of Electrical Engineers Professional Group C1 (Software Engineers), London, pp. 8/1–8/3 (1991)Google Scholar
  14. 14.
    Tekinerdogan, B.: Synthesis-Based Software Architecture Design, Ph.D. Thesis, Print Partners Ipskamp, Enschede (2000) ISBN 90-365-1430-4, Also available through
  15. 15.
    Tekinerdogan, B., Aksit, M.: Classifying and evaluating architecture design methods. In: Aksit, M. (ed.) Software Architecture and Component Technology, pp. 3–28. Kluwer Academic Publishers, Boston, MA (2002)Google Scholar
  16. 16.
    Yen, J., Lee, J.: Logic as a Basis for Specifying Imprecise Requirements. In: Proceedings of 2nd IEEE International Conference on Fuzzy Systems (FUZZ-IEEE’93), pp. 745–749. IEEE Computer Society Press, Washington, DC (1993)Google Scholar
  17. 17.
    Yourdon, E., Constantine, L.L.: Structured Design: Fundamentals of a Discipline of Computer Program and Systems Design. Prentice-Hall, Englewood Cliffs (1979)MATHGoogle Scholar

Copyright information

© Springer Berlin Heidelberg 2007

Authors and Affiliations

  • Joost Noppen
    • 1
  • Pim van den Broek
    • 1
  • Mehmet Aksit
    • 1
  1. 1.TRESE Software Engineering, Dept. of Computer Science, University of Twente, P.O. Box 217, 7500 AE EnschedeThe Netherlands

Personalised recommendations