Skip to main content
SpringerLink
Log in
Book cover

International Conference on Software Process Improvement and Capability Determination

SPICE 2016: Software Process Improvement and Capability Determination pp 431–436Cite as

Smart Requirements: How Smart Can They Get?

  • Conference paper
  • First Online:

  • 1146 Accesses

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 609))

Abstract

In current practice requirements engineering is a text based process. The available theory and tools do not address the internal elements–the semantic structure–of requirements. We present an approach to extract a first domain model, which can also serve as basis for the system architecture, directly from the requirements. Besides the model, the approach provides also new and insightful metrics, which focus on product characteristics instead of process characteristics. The model and metrics can be used to fulfill the SPiCE (and AutomotiveSPICE 3) requirements, concerning consistency and completeness of requirement specifications.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Notes

  1. 1.

    Why incomplete? Many things we expect from the system are just basic needs, which are not specified anymore. It is basic knowledge of the domain. Refer to the Kano model for deeper insight on this topic [9, 10].

  2. 2.

    <pattern indicator> is the predefined text segment from our basic patterns above.

References

  1. ISO 33060

    Google Scholar 

  2. ISO 12207 (2008)

    Google Scholar 

  3. Hagge, L., Houdek, F., Lappe, K., Paech, B.: Using patterns for sharing requirements engineering process rationales. In: Dutoit, A.H., McCall, R., Mistrík, I., Paech, B., et al. (eds.) Rationale Management in Software Engineering, vol. 1. Springer, Heidelberg (2006)

    Google Scholar 

  4. Konrad, S., Cheng, B.H.C.: Requirements patterns for embedded systems. In: Proceedings of the 10th Anniversary IEEE Joint International Conference on Requirements Engineering, pp. 127–136 (2002)

    Google Scholar 

  5. van Lamsweerde, A.: Requirements engineering in the year 00: a research perspective. In: Proceedings of the 22nd international conference on Software engineering, pp. 5–19, New York (2000)

    Google Scholar 

  6. Coplien, J.O.: Software design patterns: common questions and answers. In: Rising L. (ed.) The Patterns Handbook: Techniques, Strategies, and Applications, pp. 311–320 (1998)

    Google Scholar 

  7. Houdek, F.: Messung in der Erstellung und Prüfung von Lastenheften, Metrikon (2014)

    Google Scholar 

  8. Houdek, F.: Anforderungen verbessern mit DESIRe, REConf (2008)

    Google Scholar 

  9. Noriaki, K., Seraku, N., Takahashi, F., Tsuji, S.: Attractive quality and must-be quality. J. Japanese Soc. Quality Control (in Japanese) 14(2), 39–48 (1984). ISSN: 0386-8230

    Google Scholar 

  10. Cadotte, E.R., Normand, T.: Dissatisfiers and satisfiers: suggestions from consumer complaints and compliments. J. Consum. Satisfaction, Dissatisfaction Complaining Behavior 1, 74–79 (1988). ISBN: 0-922279-01-2, ISSN: 0899-8620

    Google Scholar 

  11. Behm, P., Benoit, P., Faivre, A., Meynadier, J.-M.: Météor: a successful application of B in a large project. In: Wing, J.M., Woodcock, J. (eds.) FM 1999. LNCS, vol. 1708, pp. 369–387. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  12. Bernot, G., Gaudel, M.C., Marre, B.: Software testing based on formal specifications: a theory and a tool. Softw. Eng. J. 6(6), 387–405 (1991)

    Article  Google Scholar 

  13. Clarke, E.M., Wing, J.M., et al.: Formal methods: state of the art and future directions. ACM Comput. Surv. 28(4), 626–643 (1996)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Vector Informatik GmbH, Ingersheimer Str. 24, 70499, Stuttgart, Germany

    Danilo Assmann

Authors
  1. Danilo Assmann
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Danilo Assmann .

Editor information

Editors and Affiliations

  1. Lero Irish Software Research Centre, Dublin City University Lero Irish Software Research Centre, Dublin, Ireland

    Paul M. Clarke

  2. Dublin City University , Dublin 9, Ireland

    Rory V. O'Connor

  3. Software Quality Institue, Griffith University Software Quality Institue, Brisbane, Queensland, Australia

    Terry Rout

  4. Impronova AB , Drabergsvagen, Lindome, Sweden

    Alec Dorling

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing Switzerland

About this paper

Cite this paper

Assmann, D. (2016). Smart Requirements: How Smart Can They Get?. In: Clarke, P., O'Connor, R., Rout, T., Dorling, A. (eds) Software Process Improvement and Capability Determination. SPICE 2016. Communications in Computer and Information Science, vol 609. Springer, Cham. https://doi.org/10.1007/978-3-319-38980-6_32

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-38980-6_32

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-38979-0

  • Online ISBN: 978-3-319-38980-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation