{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T09:18:34Z","timestamp":1725873514167},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319491028"},{"type":"electronic","value":"9783319491035"}],"license":[{"start":{"date-parts":[[2016,12,9]],"date-time":"2016-12-09T00:00:00Z","timestamp":1481241600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-49103-5_8","type":"book-chapter","created":{"date-parts":[[2016,12,8]],"date-time":"2016-12-08T07:19:14Z","timestamp":1481181554000},"page":"95-111","source":"Crossref","is-referenced-by-count":0,"title":["Incremental Modeling Methodology of Railway System Specifications"],"prefix":"10.1007","author":[{"given":"Melissa","family":"Issad","sequence":"first","affiliation":[]},{"given":"Leila","family":"Kloul","sequence":"additional","affiliation":[]},{"given":"Antoine","family":"Rauzy","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,12,9]]},"reference":[{"key":"8_CR1","unstructured":"Abrial, J.-R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press (2005)"},{"key":"8_CR2","unstructured":"Friedenthal, S., Moore, A., Steiner, R.: A Practical Guide to SysML: the Systems Modeling Language. Elsevier (2011)"},{"issue":"4","key":"8_CR3","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1002\/inst.12060","volume":"18","author":"M Issad","year":"2015","unstructured":"Issad, M., Kloul, L., Rauzy, A., Berkani, K.: ScOLa, a scenario oriented modeling language for railway systems. INSIGHT 18(4), 34\u201337 (2015)","journal-title":"INSIGHT"},{"key":"8_CR4","unstructured":"White, S.A.: Introduction to bpmn. IBM Cooperation 2, (2004)"},{"issue":"3","key":"8_CR5","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D Harel","year":"1987","unstructured":"Harel, D.: Statecharts: a visual formalism for complex systems. Sci. Comput. Program. 8(3), 231\u2013274 (1987)","journal-title":"Sci. Comput. Program."},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Naumann, J.D., Jenkins, A.M.: Prototyping: the new paradigm for systems development. Mis Q. 29\u201344 (1982)","DOI":"10.2307\/248654"},{"key":"8_CR7","unstructured":"Lykins, H., Friedenthal, S., Meilich, A.: Adapting uml for an object oriented systems engineering method (oosem). In: Proceedings of the 10th Annual INCOSE Symposium, International Council on Systems Engineering (July 2000). http:\/\/www.omg.org\/docs\/syseng\/02-06-11.pdf (2000)"},{"key":"8_CR8","unstructured":"Wiley, et\u00a0al.: INCOSE Systems Engineering Handbook: A Guide for System Life Cycle Processes and Activities. John Wiley & Sons (2015)"},{"key":"8_CR9","volume-title":"Rup se: The rational unified process for systems engineering","author":"Murray Cantor","year":"2001","unstructured":"Cantor, Murray: Rup se: The rational unified process for systems engineering. Ration. Edge Ration, Softw (2001)"},{"key":"8_CR10","unstructured":"Voirin, J.-L., Bonnet, S.: Arcadia: model-based collaboration for system, software and hardware engineering. In: Complex Systems Design & Management, poster workshop (CSD&M 2013) (2013)"},{"key":"8_CR11","unstructured":"OMG CORBA and IIOP Specification: Object management group. Joint revised submission OMG document orbos\/99-02 (1999)"},{"key":"8_CR12","unstructured":"Muller, P.-A., Gaertner, N.: Mod\u00e9lisation objet avec UML, vol. 514. Eyrolles Paris (2000)"},{"key":"8_CR13","first-page":"3b","volume":"3","author":"JD Piques","year":"2011","unstructured":"Piques, J.D., Andrianarison, E.: Sysml for embedded automotive systems: lessons learned. Interfaces 3, 3b (2011)","journal-title":"Interfaces"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"G\u00f3ngora, H.G., Ferrogalini, M., Moreau, C.: How to boost product line engineering with mbse-a case study of a rolling stock product line. In: Complex Systems Design & Management, pp. 239\u2013256. Springer (2015)","DOI":"10.1007\/978-3-319-11617-4_17"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Abdulla, P.A., Deneux, J., St\u00e5lmarck, G., \u00c5gren, H., \u00c5kerlund, O.: Designing safe, reliable systems using scade. In: Leveraging Applications of Formal Methods, pp. 115\u2013129. Springer (2006)","DOI":"10.1007\/11925040_8"},{"key":"8_CR16","doi-asserted-by":"crossref","DOI":"10.21236\/ADA455842","volume-title":"The architecture analysis & design language (aadl): an introduction","author":"PH Feiler","year":"2006","unstructured":"Feiler, P.H., Gluch, D.P., Hudak, J.J.: The architecture analysis & design language (aadl): an introduction. Technical report, DTIC Document (2006)"},{"issue":"1","key":"8_CR17","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"KG Larsen","year":"1997","unstructured":"Larsen, K.G., Pettersson, P., Yi, W.: Uppaal in a nutshell. Int. J. Soft. Tools Technol. Transfer (STTT) 1(1), 134\u2013152 (1997)","journal-title":"Int. J. Soft. Tools Technol. Transfer (STTT)"},{"issue":"98","key":"8_CR18","first-page":"22","volume":"58","author":"P Saqui-Sannes De","year":"2011","unstructured":"De Saqui-Sannes, P., Apvrille, L., et al.: Avatar\/ttool: un environnement en mode libre pour sysml temps r\u00e9el. G\u00e9nie Logiciel 58(98), 22\u201326 (2011)","journal-title":"G\u00e9nie Logiciel"},{"issue":"1","key":"8_CR19","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1145\/1125808.1125811","volume":"15","author":"C Snook","year":"2006","unstructured":"Snook, C., Butler, M.: Uml-b: Formal modeling and design aided by uml. ACM Trans. Soft. Eng. Methodol. (TOSEM) 15(1), 92\u2013122 (2006)","journal-title":"ACM Trans. Soft. Eng. Methodol. (TOSEM)"},{"key":"8_CR20","unstructured":"Cressent, R., David, P., Idasiak, V., Kratz, F.: Apports de sysml \u00e0 la mod\u00e9lisation des syst\u00e8mes complexes \u00e0 fortes contraintes de s\u00fbret\u00e9 de fonctionnement. In: ITT\u201909 (Technological Innovation and Transport Systems 2009), p. p39 (2009)"}],"container-title":["Complex Systems Design & Management"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-49103-5_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,16]],"date-time":"2019-09-16T09:48:10Z","timestamp":1568627290000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-49103-5_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12,9]]},"ISBN":["9783319491028","9783319491035"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-49103-5_8","relation":{},"subject":[],"published":{"date-parts":[[2016,12,9]]}}}