{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T10:40:09Z","timestamp":1746355209177,"version":"3.40.4"},"publisher-location":"New Delhi","reference-count":13,"publisher":"Springer India","isbn-type":[{"type":"print","value":"9788132219873"},{"type":"electronic","value":"9788132219880"}],"license":[{"start":{"date-parts":[[2014,8,27]],"date-time":"2014-08-27T00:00:00Z","timestamp":1409097600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-81-322-1988-0_4","type":"book-chapter","created":{"date-parts":[[2014,8,26]],"date-time":"2014-08-26T08:45:57Z","timestamp":1409042757000},"page":"53-65","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Using Semiformal and Formal Methods in Software Design: An Integrated Approach for Intelligent Learning Management System"],"prefix":"10.1007","author":[{"given":"Souvik","family":"Sengupta","sequence":"first","affiliation":[]},{"given":"Ranjan","family":"Dasgupta","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,8,27]]},"reference":[{"unstructured":"Booch, G., Rumbaugh, J, Jacobson, I.: The Unified Modeling Language User Guide. Pearson Education India, New Delhi (1999)","key":"4_CR1"},{"unstructured":"OMG: Unified modeling language specification, version 2.0. Available at http:\/\/www.omg.org\/uml","key":"4_CR2"},{"doi-asserted-by":"crossref","unstructured":"Dascalu, S.M.: combining semi-formal and formal notations in software specification: an approach to modelling time-constrained systems. PhD thesis. Department of Computer Science, Dalhousie University, Halifax, Sept 2001","key":"4_CR3","DOI":"10.1145\/508791.508988"},{"unstructured":"Sengupta, S., Bhattacharya,S.: Formalization of functional requirements and their traceability in uml diagrams\u2014A Z notation based approach. In: Proceedings of the 11th Systems Engineering Test and Evaluation Conference (SETE\u201906), Melbourne, Australia, 25\u201327 Sept 2006","key":"4_CR4"},{"unstructured":"Lausdahl, K.G., Lintrup, H.K: Coupling overture to MDA and UML. Overture Workshop, Newcastle (2009)","key":"4_CR5"},{"key":"4_CR6","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/j.entcs.2004.04.008","volume":"95","author":"E Mota","year":"2004","unstructured":"Mota, E., Clarke, E., Groce, A., Oliveira, W., Falcao, M., Kanda, J.: VeriAgent: an approach to integrating UML and formal verification tools. Electron. Notes Theor. Comput. Sci. 95, 111\u2013129 (2004)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"unstructured":"Sengupta, S., Dasgupta, R.: Identifying, analysing and testing of software requirements in learning management system. In: Proceedings of 7th International Conference on Virtual\u00a0Learning (ICVL) (2012)","key":"4_CR7"},{"doi-asserted-by":"crossref","unstructured":"Sowa, J.: Conceptual graphs: draft proposed american national standard, conceptual structures: standards and practices. Lecture Notes in Computer Science, vol. 1640, pp. 1\u201365 (1999)","key":"4_CR8","DOI":"10.1007\/3-540-48659-3_1"},{"doi-asserted-by":"crossref","unstructured":"Yue, T., Briand, L.C., Labiche, Y.: An automated approach to transform use cases into activity diagrams, modelling foundations and applications. Lecture Notes in Computer Science, vol. 6138, pp. 337\u2013353 (2010)","key":"4_CR9","DOI":"10.1007\/978-3-642-13595-8_26"},{"doi-asserted-by":"publisher","unstructured":"Liwu L.: A semi-automatic approach to translating use cases to sequence diagrams. In: Proceedings of Technology of Object-Oriented Languages and Systems, pp. 184\u2013193, Jul 1999. doi:10.1109\/TOOLS.1999.779011","key":"4_CR10","DOI":"10.1109\/TOOLS.1999.779011"},{"doi-asserted-by":"crossref","unstructured":"Liwu, L.: Translating use cases to sequence diagrams. In: Proceeding of ASE \u201900, 15th IEEE International Conference on Automated Software Engineering, p. 293","key":"4_CR11","DOI":"10.1109\/ASE.2000.873681"},{"doi-asserted-by":"publisher","unstructured":"Sengupta, S., Dasgupta, R.: Integration of functional and interface requirements of an web based software: a VDM based formal approach. In: Proceeding of IASTED International Conference on Software Engineering (2013). doi:10.2316\/P.2013.796-017","key":"4_CR12","DOI":"10.2316\/P.2013.796-017"},{"doi-asserted-by":"crossref","unstructured":"Larsen, P.G., Battle, N., Ferreira, M., Fitzgerald, J., Lausdahl, K., Verhoef, M.: The overture initiative\u2013integrating tools for VDM. ACM Softw. Eng. Notes 35(1), Jan 2010","key":"4_CR13","DOI":"10.1145\/1668862.1668864"}],"container-title":["Advances in Intelligent Systems and Computing","Applied Computation and Security Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-81-322-1988-0_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T10:22:16Z","timestamp":1746354136000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-81-322-1988-0_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,8,27]]},"ISBN":["9788132219873","9788132219880"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-81-322-1988-0_4","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2014,8,27]]},"assertion":[{"value":"27 August 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}