Abstract
Scenario-based software requirements specifications, due to limitations of natural language and scenarios, lack precision and abstraction. Formal methods address this problem, but are rarely used. A Unified Object-Oriented (OO) approach complements the simplicity and appeal of scenario techniques with the rigor and clarity of software contracts. In this study we conduct a teaching experiment to evaluate the perception of usefulness and difficulty of the approach. The obtained results demonstrate that the unified OO requirements approach has a potential to be adopted by requirements engineering practitioners.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Askarpour, M., Bersani, M.M.: Teaching formal methods: an experience report. In: Frontiers in Software Engineering Education: First International Workshop, FISEE 2019, Villebrumier, France, Nov 11–13, pp. 3–18. Springer, Berlim (2020)
Briand, L., Labiche, Y., Di Penta, M., Yan-Bondoc, H.: An experimental investigation of formality in uml-based development. IEEE Trans. Softw. Eng. 31(10), 833–849 (2005)
Briand, L.C., Labiche, Y., Madrazo-Rivera, R.: An experimental evaluation of the impact of system sequence diagrams and system operation contracts on the quality of the domain model. In: 2011 International Symposium on Empirical Software Engineering and Measurement, pp. 157–166 (2011)
Cohn, M.: User Stories Applied: For Agile Software Development. Addison-Wesley Professional (2004)
Cook, S., Bock, C., Rivett, P., Rutt, T., Seidewitz, E., Selic, B., Tolbert, D.: Unified Modeling Language (UML) Version 2.5.1. Standard, Object Management Group (OMG), Dec (2017)
Fricker, S.A., Grau, R., Zwingli, A.: Requirements engineering: best practice. In: Requirements Engineering for Digital Health, pp. 25–46. Springer, Berlin (2014)
Frosch-Wilke, D.: Using uml in software requirements analysis-experiences from practical student project work. In: InSITE-Informing Science and IT Education Conference, pp. 175–183 (2003)
Galinier, F.: Seamless development of complex systems: a multirequirements approach. Ph.D. thesis, Université Paul Sabatier-Toulouse III (2021)
Jacobson, I., Christerson, M., Jonsson, P., Övergaard, G.: Object Oriented Software Engineering: A Use Case Driven Approach. Addison-Wesley, Boston MA (1992)
Jacobson, I., Spence, I., Kerr, B.: Use-case 2.0: The hub of software development. Queue 14(1), 94–123, Jan (2016)
Khazeev, M., Aslam, H., de Carvalho, D., Mazzara, M., Bruel, J.-M., Brown, J.A.: Reflections on teaching formal methods for software development in higher education. In: Frontiers in Software Engineering Education: First International Workshop, FISEE 2019, Villebrumier, France, Nov 11–13, pp. 28–41. Springer, Berlin (2020)
Larman, C.: Applying UML and Patterns: An Introduction to Object Oriented Analysis and Design and Interative Development. Pearson Education India (2012)
Madrazo-Rivera, R.: An experimental evaluation of the impact of system sequence diagrams and system operation contracts on the quality of the domain model. PhD thesis, Carleton University (2007)
Meyer, B.: Applying “design by contract.” Computer 25(10), 40–51 (1992)
Meyer, B.: Handbook of Requirements and Business Analysis. Springer, Berlin (2022)
Nadine Diaz-Infante, S.R., Michael Lazar, Ray, A.: Demand for online education is growing. are providers ready? McKinsey & Company (2022). https://www.mckinsey.com/industries/education/our-insights/demand-for-online-education-is-growing-are-providers-ready Accessed on 10 Feb 2023
Naumcheva, M., Ebersold, S., Naumchev, A., Bruel, J.-M., Galinier, F., Meyer, B.: Object-oriented requirements: a unified framework for specifications, scenarios and tests. arXiv preprint. arXiv:2209.02189 (2022)
Wohlin, C., Höst, M., Henningsson, K.: Empirical research methods in web and software engineering. In: Web Engineering, pp. 409–430. Springer, Berlin (2006)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2023 The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.
About this paper
Cite this paper
Naumcheva, M. (2023). Teaching Object-Oriented Requirements Techniques: An Experiment. In: Jezic, G., Chen-Burger, J., Kusek, M., Sperka, R., Howlett, R.J., Jain, L.C. (eds) Agents and Multi-agent Systems: Technologies and Applications 2023. KES-AMSTA 2023. Smart Innovation, Systems and Technologies, vol 354. Springer, Singapore. https://doi.org/10.1007/978-981-99-3068-5_32
Download citation
DOI: https://doi.org/10.1007/978-981-99-3068-5_32
Published:
Publisher Name: Springer, Singapore
Print ISBN: 978-981-99-3067-8
Online ISBN: 978-981-99-3068-5
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)