{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T10:40:08Z","timestamp":1746355208288,"version":"3.40.4"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319125671"},{"type":"electronic","value":"9783319125688"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-44736-9_79","type":"book-chapter","created":{"date-parts":[[2014,8,26]],"date-time":"2014-08-26T02:55:44Z","timestamp":1409021744000},"page":"650-657","source":"Crossref","is-referenced-by-count":1,"title":["Modelling Requirements in Service to PLM for Long Lived Products in the Nuclear Field"],"prefix":"10.1007","author":[{"given":"Alb\u00e9ric","family":"Corni\u00e8re","sequence":"first","affiliation":[]},{"given":"Virginie","family":"Fortineau","sequence":"additional","affiliation":[]},{"given":"Thomas","family":"Paviot","sequence":"additional","affiliation":[]},{"given":"Samir","family":"Lamouri","sequence":"additional","affiliation":[]},{"given":"Jean-Louis","family":"Goblet","sequence":"additional","affiliation":[]},{"given":"Audrey","family":"Platon","sequence":"additional","affiliation":[]},{"given":"C\u00e9cile","family":"Dutertre","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"79_CR1","doi-asserted-by":"crossref","unstructured":"Cheng, B.H., Atlee, J.M.: Research directions in requirements engineering. In: 2007 Future of Software Engineering, pp. 285\u2013303. IEEE Computer Society (2007)","DOI":"10.1109\/FOSE.2007.17"},{"key":"79_CR2","doi-asserted-by":"crossref","unstructured":"Cholvy, L.: Checking regulation consistency by using sol-resolution. In: Proceedings of the 7th International Conference on Artificial Intelligence and Law, pp. 73\u201379. ACM (1999)","DOI":"10.1145\/323706.323717"},{"key":"79_CR3","doi-asserted-by":"crossref","unstructured":"Corniere, A., Fortineau, V., Paviot, T., Lamouri, S.: Aconcept-based approach to Modeling shared ontology-based models for industrial applications. In: Proceedings of the 19th IFAC World Congress (2014)","DOI":"10.3182\/20140824-6-ZA-1003.01561"},{"key":"79_CR4","doi-asserted-by":"crossref","unstructured":"Ernst, N., Borgida, A., Jureta, I.J., Mylopoulos, J.: An overview of requirements evolution. In: Evolving Software Systems, pp. 3\u201332. Springer (2014)","DOI":"10.1007\/978-3-642-45398-4_1"},{"key":"79_CR5","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1016\/j.compind.2013.01.001","volume":"64","author":"V. Fortineau","year":"2013","unstructured":"Fortineau, V., Paviot, T., Lamouri, S.: Improving the interoperability of industrial Information systems with description logic-based models-the state of the art. Computers in Industry\u00a064, 363\u2013375 (2013)","journal-title":"Computers in Industry"},{"key":"79_CR6","unstructured":"Garion,C.: Apports de la logique math\u00e9matique en ing\u00e9nierie des exigences. Ph.D. thesis, Universit\u00e9 de Toulouse (2002)"},{"key":"79_CR7","unstructured":"Garion, C., Roussel, S., Cholvy, L.: A modal logic for reasoning on consistency and Completeness of regulations (2009)"},{"key":"79_CR8","doi-asserted-by":"crossref","unstructured":"Greenspan, S., Mylopoulos, J., Borgida, A.: Onformal requirements modeling languages: Rml revisited. In: Proceedings of the 16th International Conference on Software Engineering, pp. 135\u2013147. IEEE Computer Society Press (1994)","DOI":"10.1109\/ICSE.1994.296773"},{"issue":"5","key":"79_CR9","doi-asserted-by":"publisher","first-page":"907","DOI":"10.1006\/ijhc.1995.1081","volume":"43","author":"T. Gruber","year":"1995","unstructured":"Gruber, T.: Towards principles for the design of ontologies used for knowledge sharing. International Journal of Human Computer Studies\u00a043(5), 907\u2013928 (1995)","journal-title":"International Journal of Human Computer Studies"},{"key":"79_CR10","doi-asserted-by":"crossref","unstructured":"Guarino, N., Welty, C.: An overview of OntoClean. In: Handbook on Ontologies, pp. 201\u2013220 (2009)","DOI":"10.1007\/978-3-540-92673-3_9"},{"key":"79_CR11","doi-asserted-by":"crossref","unstructured":"Helming, J., Koegel, M., Schneider, F., Haeger, M., Kaminski, C., Bruegge, B., Berenbach, B.: Towards a unified requirements modeling language. In: 2010 Fifth International Workshop on Requirements Engineering Visualization (REV), pp. 53\u201357. IEEE (2010)","DOI":"10.1109\/REV.2010.5625659"},{"key":"79_CR12","doi-asserted-by":"crossref","unstructured":"Jureta, I.J., Mylopoulos, J., Faulkner, S.: Revisiting the coreontology and problem in requirements engineering. In: 16th IEEE International Requirements Engineering, RE 2008, pp. 71\u201380. IEEE (2008)","DOI":"10.1109\/RE.2008.13"},{"issue":"3","key":"79_CR13","doi-asserted-by":"crossref","first-page":"169","DOI":"10.3233\/AO-2009-0069","volume":"4","author":"I.J. Jureta","year":"2009","unstructured":"Jureta, I.J., Mylopoulos, J., Faulkner, S.: Acoreontology for requirements. Applied Ontology\u00a04(3), 169\u2013244 (2009)","journal-title":"Applied Ontology"},{"key":"79_CR14","unstructured":"Masolo, C., Borgo, S., Gangemi, A., Guarino, N., Oltramari, A., Oltramari, R., Schneider, L., Istc-Cnr, L.P., Horrocks, I.: Wonderweb deliverable d17. The wonder- web library of foundational ontologies and the dolce ontology (2002)"},{"key":"79_CR15","unstructured":"OMG:Sysmlv1.3 (2012), http:\/\/www.omg.org\/spec\/SysML\/1.3"},{"key":"79_CR16","unstructured":"W3C: Rifcoredialect (2013), http:\/\/www.w3.org\/TR\/rif-core\/"},{"issue":"1","key":"79_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/237432.237434","volume":"6","author":"P. Zave","year":"1997","unstructured":"Zave, P., Jackson, M.: Four dark corners of requirements engineering. ACM Transactions on Software Engineering and Methodology (TOSEM)\u00a06(1), 1\u201330 (1997)","journal-title":"ACM Transactions on Software Engineering and Methodology (TOSEM)"}],"container-title":["Lecture Notes in Computer Science","Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-44736-9_79","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T10:17:25Z","timestamp":1746353845000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-44736-9_79"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319125671","9783319125688"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-44736-9_79","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}