Publisher
Springer Nature Singapore
Reference18 articles.
1. 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)
2. 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)
3. 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)
4. Cohn, M.: User Stories Applied: For Agile Software Development. Addison-Wesley Professional (2004)
5. 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)