Skip to main content
SpringerLink
Log in

Object-Oriented Requirements: Reusable, Understandable, Verifiable

  • Conference paper
  • First Online:
Software Technology: Methods and Tools (TOOLS 2019)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 11771))

Included in the following conference series:

Abstract

Insufficient requirements reusability, understandability and verifiability jeopardize software projects. Empirical studies show little success in improving these qualities separately. Applying object-oriented thinking to requirements leads to their unified treatment. An online library of reusable requirement templates implements recurring requirement structures, offering a starting point for practicing the unified approach.

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

Access this chapter

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

Institutional subscriptions

Notes

  1. 1.

    https://tinyurl.com/ycn526rm.

  2. 2.

    https://tinyurl.com/ybocy485.

  3. 3.

    https://tinyurl.com/y6w7nlcs.

  4. 4.

    https://tinyurl.com/ybd4b5un.

  5. 5.

    https://1drv.ms/u/s!AsXOYPvbmuEyh4IsDdYj-i6V5yX0OA.

  6. 6.

    http://patterns.projects.cs.ksu.edu.

  7. 7.

    https://tinyurl.com/y96rj2v3.

References

  1. Dalpiaz, F., Ferrari, A., Franch, X., Palomares, C.: Natural language processing for requirements engineering: the best is yet to come. IEEE Softw. (2018). https://doi.org/10.1109/MS.2018.3571242

    Article  Google Scholar 

  2. Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: Proceedings of the 21st International Conference on Software Engineering, ICSE 1999 (1999). https://doi.org/10.1145/302405.302672

  3. Hoare, C.A.R.: An axiomatic basis for computer programming. Commun. ACM 12(10), 576–580 (1969)

    Article  Google Scholar 

  4. Irshad, M., Petersen, K., Poulding, S.: A systematic literature review of software requirements reuse approaches. Inf. Softw. Technol. 93, 223–245 (2018). https://doi.org/10.1016/j.infsof.2017.09.009

    Article  Google Scholar 

  5. Meyer, B.: On formalism in specifications. In: Colburn, T.R., Fetzer, J.H., Rankin, T.L. (eds.) Program Verification. COGS, vol. 14, pp. 155–189. Springer, Dordrecht (1993). https://doi.org/10.1007/978-94-011-1793-7_8

    Chapter  Google Scholar 

  6. Meyer, B.: Multirequirements. In: Seyff, N., Koziolek, A. (eds.) Modelling and Quality in Requirements Engineering (Martin Glinz Festscrhift). MV Wissenschaft (2013)

    Google Scholar 

  7. Naumchev, A., Meyer, B.: Complete contracts through specification drivers. In: Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016 (2016). https://doi.org/10.1109/TASE.2016.13

  8. Naumchev, A., Meyer, B.: Seamless requirements. Comput. Lang. Syst. Struct. 49, 119–132 (2017). https://doi.org/10.1016/j.cl.2017.04.001. http://linkinghub.elsevier.com/retrieve/pii/S1477842416301981

    Article  Google Scholar 

  9. Naumchev, A., Meyer, B., Mazzara, M., Galinier, F., Bruel, J.M., Ebersold, S.: Expressing and verifying embedded software requirements. CoRR abs/1710.0 (2017). http://arxiv.org/abs/1710.02801

  10. Naumchev, A., Meyer, B., Rivera, V.: Unifying requirements and code: an example. In: Mazzara, M., Voronkov, A. (eds.) PSI 2015. LNCS, vol. 9609, pp. 233–244. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-41579-6_18

    Chapter  Google Scholar 

  11. Palomares, C., Quer, C., Franch, X.: Requirements reuse and requirement patterns: a state of the practice survey. Empirical Softw. Eng. 22, 2719–2762 (2017). https://doi.org/10.1007/s10664-016-9485-x

    Article  Google Scholar 

  12. Sindre, G., Firesmith, D.G., Opdahl, A.L.: A reuse-based approach to determining security requirements. In: The 9th International Workshop on Requirements Engineering: Foundation for Software Quality, REFSQ 2003, vol. 8, pp. 127–136 (2003)

    Google Scholar 

  13. Tillmann, N., Schulte, W.: Parameterized unit tests. ACM SIGSOFT Softw. Eng. Notes 30(5), 253 (2005). https://doi.org/10.1145/1095430.1081749. http://portal.acm.org/citation.cfm?doid=1095430.1081749

    Article  Google Scholar 

  14. Tschannen, J., Furia, C.A., Nordio, M., Polikarpova, N.: AutoProof: auto-active functional verification of object-oriented programs. In: Baier, C., Tinelli, C. (eds.) TACAS 2015. LNCS, vol. 9035, pp. 566–580. Springer, Heidelberg (2015). https://doi.org/10.1007/978-3-662-46681-0_53

    Chapter  Google Scholar 

  15. Whittle, J., Hutchinson, J., Rouncefield, M.: The state of practice in model-driven engineering. IEEE Softw. (2014). https://doi.org/10.1109/MS.2013.65

    Article  Google Scholar 

  16. Zaimi, A., et al.: An empirical study on the reuse of third-party libraries in open-source software development. In: Proceedings of the 7th Balkan Conference on Informatics Conference, BCI 2015 (2015). https://doi.org/10.1145/2801081.2801087

Download references

Author information

Authors and Affiliations

  1. Innopolis University, Innopolis, 420500, Russian Federation

    Alexandr Naumchev

  2. Paul Sabatier University, Toulouse, France

    Alexandr Naumchev

Authors
  1. Alexandr Naumchev
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Alexandr Naumchev .

Editor information

Editors and Affiliations

  1. Innopolis University, Innopolis, Russia

    Manuel Mazzara

  2. IUT de Blagnac , Blagnac, France

    Jean-Michel Bruel

  3. Innopolis University, Innopolis, Russia

    Bertrand Meyer

  4. Ivannikov Institute for System Programming, Russian Academy of Sciences, Moscow, Russia

    Alexander Petrenko

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Naumchev, A. (2019). Object-Oriented Requirements: Reusable, Understandable, Verifiable. In: Mazzara, M., Bruel, JM., Meyer, B., Petrenko, A. (eds) Software Technology: Methods and Tools. TOOLS 2019. Lecture Notes in Computer Science(), vol 11771. Springer, Cham. https://doi.org/10.1007/978-3-030-29852-4_12

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-29852-4_12

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-29851-7

  • Online ISBN: 978-3-030-29852-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation