{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,21]],"date-time":"2026-04-21T14:02:24Z","timestamp":1776780144876,"version":"3.51.2"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319929699","type":"print"},{"value":"9783319929705","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","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":[[2018]]},"DOI":"10.1007\/978-3-319-92970-5_4","type":"book-chapter","created":{"date-parts":[[2018,5,29]],"date-time":"2018-05-29T08:54:12Z","timestamp":1527584052000},"page":"54-69","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":13,"title":["Bridging the Gap Between Informal Requirements and Formal Specifications Using Model Federation"],"prefix":"10.1007","author":[{"given":"Fahad Rafique","family":"Golra","sequence":"first","affiliation":[]},{"given":"Fabien","family":"Dagnat","sequence":"additional","affiliation":[]},{"given":"Jeanine","family":"Souqui\u00e8res","sequence":"additional","affiliation":[]},{"given":"Imen","family":"Sayar","sequence":"additional","affiliation":[]},{"given":"Sylvain","family":"Guerin","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,5,30]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Coram, M., Bohner, S.: The impact of agile methods on software project management. In: 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS, pp. 363\u2013370. IEEE (2005)","DOI":"10.1109\/ECBS.2005.68"},{"issue":"3","key":"4_CR2","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1023\/A:1008752609513","volume":"6","author":"RG Clark","year":"1999","unstructured":"Clark, R.G., Moreira, A.M.: Formal specifications of user requirements. Autom. Softw. Eng. 6(3), 217\u2013232 (1999)","journal-title":"Autom. Softw. Eng."},{"key":"4_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/978-3-540-30187-5_15","volume-title":"\u00abUML\u00bb 2004 \u2014 The Unified Modeling Language. Modeling Languages and Applications","author":"M Giese","year":"2004","unstructured":"Giese, M., Heldal, R.: From informal to formal specifications in UML. In: Baar, T., Strohmeier, A., Moreira, A., Mellor, S.J. (eds.) UML 2004. LNCS, vol. 3273, pp. 197\u2013211. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-30187-5_15"},{"issue":"2","key":"4_CR4","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/s00766-007-0048-y","volume":"12","author":"R Seater","year":"2007","unstructured":"Seater, R., Jackson, D., Gheyi, R.: Requirement progression in problem frames: deriving specifications from requirements. Requir. Eng. 12(2), 77\u2013102 (2007)","journal-title":"Requir. Eng."},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Mavin, A., Wilkinson, P., Harwood, A., Novak, M.: Easy approach to requirements syntax (EARS). In: International Requirements Engineering Conference, pp. 317\u2013322. IEEE (2009)","DOI":"10.1109\/RE.2009.9"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Sayar, I., Souqui\u00e8res, J.: La validation dans les premires \u00e9tapes du processus de d\u00e9veloppement. ISI-DAT 22(4), 11\u201341 (2017)","DOI":"10.3166\/isi.22.4.11-41"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Golra, F.R., Beugnard, A., Dagnat, F., Guerin, S., Guychard, C.: Addressing modularity for heterogeneous multi-model systems using model federation. In: Companion Proceedings of the International Conference on Modularity, pp. 206\u2013211. ACM (2016)","DOI":"10.1145\/2892664.2892701"},{"key":"4_CR8","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-07512-9_1","volume-title":"ABZ 2014: The Landing Gear Case Study","author":"F Boniol","year":"2014","unstructured":"Boniol, F., Wiels, V.: The landing gear system case study. In: Boniol, F., Wiels, V., Ait Ameur, Y., Schewe, K.-D. (eds.) ABZ 2014. CCIS, vol. 433, pp. 1\u201318. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-07512-9_1"},{"key":"4_CR9","doi-asserted-by":"crossref","DOI":"10.1201\/9781315218168","volume-title":"Developing Safety-Critical Software: A Practical Guide for Aviation Software and DO-178C Compliance","author":"L Rierson","year":"2017","unstructured":"Rierson, L.: Developing Safety-Critical Software: A Practical Guide for Aviation Software and DO-178C Compliance. CRC Press, Boca Raton (2017)"},{"key":"4_CR10","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139195881","volume-title":"Modeling in Event-B: System and Software Engineering","author":"JR Abrial","year":"2010","unstructured":"Abrial, J.R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)"},{"issue":"6","key":"4_CR11","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1007\/s10009-010-0145-y","volume":"12","author":"JR Abrial","year":"2010","unstructured":"Abrial, J.R., Butler, M., Hallerstede, S., Hoang, T.S., Mehta, F., Voisin, L.: Rodin: an open toolset for modelling and reasoning in Event-B. Int. J. Softw. Tools Technol. Transf. 12(6), 447\u2013466 (2010)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"4_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"515","DOI":"10.1007\/978-3-319-69926-4_41","volume-title":"Product-Focused Software Process Improvement","author":"W Behutiye","year":"2017","unstructured":"Behutiye, W., Karhap\u00e4\u00e4, P., Costal, D., Oivo, M., Franch, X.: Non-functional requirements documentation in agile software development: challenges and solution proposal. In: Felderer, M., M\u00e9ndez Fern\u00e1ndez, D., Turhan, B., Kalinowski, M., Sarro, F., Winkler, D. (eds.) PROFES 2017. LNCS, vol. 10611, pp. 515\u2013522. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-69926-4_41"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Golra, F.R., Beugnard, A., Dagnat, F., Guerin, S., Guychard, C.: Continuous requirements engineering using model federation. In: 24th International Requirements Engineering Conference (RE), pp. 347\u2013352, September 2016","DOI":"10.1109\/RE.2016.42"},{"key":"4_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"436","DOI":"10.1007\/978-3-642-41533-3_27","volume-title":"Model-Driven Engineering Languages and Systems","author":"R Hebig","year":"2013","unstructured":"Hebig, R., Giese, H., Stallmann, F., Seibel, A.: On the complex nature of MDE evolution. In: Moreira, A., Sch\u00e4tz, B., Gray, J., Vallecillo, A., Clarke, P. (eds.) MODELS 2013. LNCS, vol. 8107, pp. 436\u2013453. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-41533-3_27"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Golra, F.R., Beugnard, A., Dagnat, F., Guerin, S., Guychard, C.: Using free modeling as an agile method for developing domain specific modeling languages. In: Proceedings of the ACM\/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, MODELS 2016, pp. 24\u201334. ACM, New York (2016)","DOI":"10.1145\/2976767.2976807"},{"key":"4_CR16","unstructured":"ECSS: Space Engineering - Technical Requirements Specification. Standard ECSS-E-ST-10-06C, European Cooperation for Space Standardization (2009)"},{"issue":"10","key":"4_CR17","doi-asserted-by":"crossref","first-page":"944","DOI":"10.1109\/TSE.2015.2428709","volume":"41","author":"C Arora","year":"2015","unstructured":"Arora, C., Sabetzadeh, M., Briand, L., Zimmer, F.: Automated checking of conformance to requirements templates using natural language processing. IEEE Trans. Softw. Eng. 41(10), 944\u2013968 (2015)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"4_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1007\/978-3-319-33600-8_29","volume-title":"Abstract State Machines, Alloy, B, TLA, VDM, and Z","author":"A Mashkoor","year":"2016","unstructured":"Mashkoor, A.: The hemodialysis machine case study. In: Butler, M., Schewe, K.-D., Mashkoor, A., Biro, M. (eds.) ABZ 2016. LNCS, vol. 9675, pp. 329\u2013343. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-33600-8_29"},{"issue":"5","key":"4_CR19","doi-asserted-by":"crossref","first-page":"454","DOI":"10.1109\/32.90448","volume":"17","author":"MD Fraser","year":"1991","unstructured":"Fraser, M.D., Kumar, K., Vaishnavi, V.K.: Informal and formal requirements specification languages: bridging the gap. IEEE Trans. Softw. Eng. 17(5), 454\u2013466 (1991)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"4_CR20","volume-title":"Requirements Engineering: From System Goals to UML Models to Software","author":"A Lamsweerde Van","year":"2009","unstructured":"Van Lamsweerde, A.: Requirements Engineering: From System Goals to UML Models to Software, vol. 10. Wiley, Chichester (2009)"},{"key":"4_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/978-3-319-16101-3_11","volume-title":"Requirements Engineering: Foundation for Software Quality","author":"F-L Li","year":"2015","unstructured":"Li, F.-L., Horkoff, J., Borgida, A., Guizzardi, G., Liu, L., Mylopoulos, J.: From stakeholder requirements to formal specifications through refinement. In: Fricker, S.A., Schneider, K. (eds.) REFSQ 2015. LNCS, vol. 9013, pp. 164\u2013180. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-16101-3_11"},{"key":"4_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/978-3-642-15057-9_7","volume-title":"Verified Software: Theories, Tools, Experiments","author":"M Jastram","year":"2010","unstructured":"Jastram, M., Hallerstede, S., Leuschel, M., Russo, A.G.: An approach of requirements tracing in formal refinement. In: Leavens, G.T., O\u2019Hearn, P., Rajamani, S.K. (eds.) VSTTE 2010. LNCS, vol. 6217, pp. 97\u2013111. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-15057-9_7"},{"key":"4_CR23","unstructured":"Jastram, M.: ProR, an open source platform for requirements engineering based RIF. In: Systems Engineering Infrastructure Conference, SEISCONF (2010)"},{"key":"4_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1007\/3-540-47866-3_21","volume-title":"Conceptual Modeling \u2014 ER 1999","author":"M Heisel","year":"1999","unstructured":"Heisel, M., Souqui\u00e8res, J.: A method for requirements elicitation and formal specification. In: Akoka, J., Bouzeghoub, M., Comyn-Wattiau, I., M\u00e9tais, E. (eds.) ER 1999. LNCS, vol. 1728, pp. 309\u2013325. Springer, Heidelberg (1999). https:\/\/doi.org\/10.1007\/3-540-47866-3_21"},{"issue":"8","key":"4_CR25","doi-asserted-by":"crossref","first-page":"633","DOI":"10.1016\/j.scico.2009.09.010","volume":"76","author":"PY Wong","year":"2011","unstructured":"Wong, P.Y., Gibbons, J.: Formalisations and applications of BPMN. Sci. Comput. Program. 76(8), 633\u2013650 (2011)","journal-title":"Sci. Comput. Program."}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-92970-5_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,18]],"date-time":"2019-10-18T15:23:22Z","timestamp":1571412202000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-92970-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319929699","9783319929705"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-92970-5_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]}}}