{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:12:50Z","timestamp":1759032770543,"version":"3.41.0"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319210698"},{"type":"electronic","value":"9783319210704"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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-3-319-21070-4_35","type":"book-chapter","created":{"date-parts":[[2015,7,20]],"date-time":"2015-07-20T10:07:10Z","timestamp":1437386830000},"page":"345-357","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Analyzing Requirements Using Environment Modelling"],"prefix":"10.1007","author":[{"given":"Dominique","family":"M\u00e9ry","sequence":"first","affiliation":[]},{"given":"Neeraj Kumar","family":"Singh","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,7,21]]},"reference":[{"key":"35_CR1","doi-asserted-by":"crossref","unstructured":"Bubenko Jr., J.A.: Challenges in requirements engineering. In: Proceedings of the Second IEEE International Symposium on Requirements Engineering, pp. 160\u2013162, March 1995","DOI":"10.1109\/ISRE.1995.512557"},{"key":"35_CR2","volume-title":"Software Engineer\u2019s Reference Book","author":"J McDermid","year":"1991","unstructured":"McDermid, J.: Software Engineer\u2019s Reference Book. CRC Press Inc, Boca Raton (1991)"},{"key":"35_CR3","doi-asserted-by":"crossref","unstructured":"Lutz, R.: Analyzing software requirements errors in safety-critical, embedded systems. In: Proceedings of IEEE International Symposium on Requirements Engineering, pp. 126\u2013133, January 1993","DOI":"10.1109\/ISRE.1993.324825"},{"key":"35_CR4","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1109\/52.156899","volume":"9","author":"AM Davis","year":"1992","unstructured":"Davis, A.M.: Operational prototyping: a new development approach. IEEE Softw. 9, 70\u201378 (1992)","journal-title":"IEEE Softw."},{"key":"35_CR5","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1145\/1006258.1006273","volume":"7","author":"J Goguen","year":"1982","unstructured":"Goguen, J., Meseguer, J.: Rapid prototyping: in the obj executable specification language. SIGSOFT Softw. Eng. Notes 7, 75\u201384 (1982)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"35_CR6","doi-asserted-by":"crossref","unstructured":"Fickas, S., Feather, M.S.: Requirements monitoring in dynamic environments. In: Proceedings of the Second IEEE International Symposium on Requirements Engineering, RE 1995, pp. 140\u2013147. IEEE Computer Society, Washington, DC (1995)","DOI":"10.1109\/ISRE.1995.512555"},{"key":"35_CR7","doi-asserted-by":"crossref","unstructured":"Noda, N., Kishi, T.: Aspect-oriented modeling for embedded software design. In: 14th Asia-Pacific Software Engineering Conference, APSEC 2007, pp. 342\u2013349, December 2007","DOI":"10.1109\/ASPEC.2007.68"},{"issue":"1","key":"35_CR8","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1016\/j.scico.2008.05.006","volume":"73","author":"G Karsai","year":"2008","unstructured":"Karsai, G., Neema, S., Sharp, D.: Model-driven architecture for embedded software: a synopsis and an example. Sci. Comput. Program. 73(1), 26\u201338 (2008)","journal-title":"Sci. Comput. Program."},{"key":"35_CR9","unstructured":"Choi, K., Jung, S., Kim, H., hwan Bae, D.: Uml-based modeling and simulation method for mission-critical real-time embedded. In: System Development, IASTED Conference on Software Engineering 2006, pp. 160\u2013165. Mittal, Zeigler and De la Cruz. (2006)"},{"key":"35_CR10","doi-asserted-by":"crossref","unstructured":"Kreiner, C., Steger, C., Weiss, R.: Improvement of control software for automatic logistic systems using executable environment models. In: Proceedings of 24th Euromicro Conference, vol. 2, pp. 919\u2013923, August 1998","DOI":"10.1109\/EURMIC.1998.708122"},{"issue":"10","key":"35_CR11","doi-asserted-by":"publisher","first-page":"971","DOI":"10.1016\/j.infsof.2006.03.005","volume":"48","author":"M Auguston","year":"2006","unstructured":"Auguston, M., Michael, J.B., Shing, M.T.: Environment behavior models for automation of testing and assessment of system safety. Inf. Softw. Technol. 48(10), 971\u2013980 (2006). Advances in Model-based Testing","journal-title":"Inf. Softw. Technol."},{"key":"35_CR12","unstructured":"Heisel, M., Hatebur, D., Seifert, T.S.D.: Testing against requirements using uml environment models. In: Fachgruppentreffen Requirements Engineering und Test, Analyse and Verifikation, pp. 28\u201331 (2008)"},{"key":"35_CR13","doi-asserted-by":"crossref","unstructured":"du Bousquet, L., Ouabdesselam, F., Richier, J.L., Zuanon, N.: Lutess: a specification-driven testing environment for synchronous software. In: Proceedings of the 21st International Conference on Software Engineering, ICSE 1999, pp. 267\u2013276. ACM, New York (1999)","DOI":"10.1145\/302405.302634"},{"key":"35_CR14","unstructured":"IEEE Standard: IEEE Standard Glossary of Software Engineering Terminology. IEEE Std 610. 12-1990, pp. 1\u201384, December 1990"},{"key":"35_CR15","volume-title":"Requirements Engineering: A Good Practice Guide","author":"I Sommerville","year":"1997","unstructured":"Sommerville, I., Sawyer, P.: Requirements Engineering: A Good Practice Guide, 1st edn. Wiley, New York (1997)","edition":"1"},{"key":"35_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/978-3-642-32355-3_9","volume-title":"Foundations of Health Informatics Engineering and Systems","author":"D M\u00e9ry","year":"2012","unstructured":"M\u00e9ry, D., Singh, N.K.: Formalization of heart models based on the conduction of electrical impulses and cellular automata. In: Liu, Z., Wassyng, A. (eds.) FHIES 2011. LNCS, vol. 7151, pp. 140\u2013159. Springer, Heidelberg (2012)"},{"key":"35_CR17","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-5260-6","volume-title":"Using Event-B for Critical Device Software Systems","author":"NK Singh","year":"2013","unstructured":"Singh, N.K.: Using Event-B for Critical Device Software Systems. Springer, London (2013)"},{"key":"35_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-642-39088-3_10","volume-title":"Foundations of Health Information Engineering and Systems","author":"D M\u00e9ry","year":"2013","unstructured":"M\u00e9ry, D., Singh, N.K.: Closed-loop modeling of cardiac pacemaker and heart. In: Weber, J., Perseil, I. (eds.) FHIES 2012. LNCS, vol. 7789, pp. 151\u2013166. Springer, Heidelberg (2013)"}],"container-title":["Lecture Notes in Computer Science","Digital Human Modeling. Applications in Health, Safety, Ergonomics and Risk Management: Ergonomics and Health"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-21070-4_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,29]],"date-time":"2025-05-29T12:39:40Z","timestamp":1748522380000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-21070-4_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319210698","9783319210704"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-21070-4_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"21 July 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}