{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:48:53Z","timestamp":1740098933910,"version":"3.37.3"},"publisher-location":"Cham","reference-count":35,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319642178"},{"type":"electronic","value":"9783319642185"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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-64218-5_32","type":"book-chapter","created":{"date-parts":[[2017,8,11]],"date-time":"2017-08-11T03:44:03Z","timestamp":1502423043000},"page":"381-398","source":"Crossref","is-referenced-by-count":0,"title":["Graceful Integration of Process Capability Improvement, Formal Modeling and Web Technology for Traceability"],"prefix":"10.1007","author":[{"given":"Mikl\u00f3s","family":"Bir\u00f3","sequence":"first","affiliation":[]},{"given":"Felix","family":"Kossak","sequence":"additional","affiliation":[]},{"given":"J\u00f3zsef","family":"Klespitz","sequence":"additional","affiliation":[]},{"given":"Levente","family":"Kov\u00e1cs","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,8,12]]},"reference":[{"key":"32_CR1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139195881","volume-title":"Modeling in Event-B System and Software Design","author":"J-R Abrial","year":"2010","unstructured":"Abrial, J.-R.: Modeling in Event-B System and Software Design. Cambridge University Press, Cambridge (2010)"},{"key":"32_CR2","unstructured":"Ambler, S.: Tracing your design. Dr. Dobb\u2019s J. World Softw. Dev. (1999). http:\/\/www.drdobbs.com\/tracing-your-design\/184415675 . Accessed 08 Apr 2016)"},{"key":"32_CR3","unstructured":"Ambler, S.: Agile Requirements best practices. In: Agile Modeling (2014) http:\/\/www.agilemodeling.com\/essays\/agileRequirementsBestPractices.htm . Accessed 08 Apr 2016"},{"key":"32_CR4","unstructured":"University of Milan: \u201cAsmeta\u201d. http:\/\/asmeta.sourceforge.net\/ . Accessed 31 Mar 2017"},{"key":"32_CR5","unstructured":"Automotive SIG. VDA QMC Working Group 13: Automotive SPICE Process As-sessment\/Reference Model, v3.0 (2015). http:\/\/www.automotivespice.com\/fileadmin\/software-download\/Automotive_SPICE_PAM_30.pdf . Accessed 08 Apr 2016"},{"key":"32_CR6","unstructured":"Biehl,M.: OSLC-Style Tool Adapter for MATLAB\/Simulink. http:\/\/open-services.net\/pub\/Main\/PLMWorkgroupWorkingMeetingJune282011\/simulink-oslc-demo-2.pdf . Accessed 07 Apr 2017"},{"key":"32_CR7","unstructured":"Bir\u00f3, M., Feuer, \u00c9., Haase, V.H., Koch, G.R., Kugler, H.J., Messnarz, R., Remzs\u0151, T.: BOOTSTRAP and ISCN: a current look at the European software quality network. In: Sima, D., Haring, G. (eds.) Proceedings of the Conference on the Challenge of Networking: Connecting Equipment, Humans, Institutions (CON 1993), R. Oldenbourg Verlag GmbH, pp. 97\u2013105 (1993). http:\/\/dl.acm.org\/citation.cfm?id=200895.200906 . Accessed 07 Apr 2017"},{"key":"32_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-04298-5_1","volume-title":"SOFSEM 2014: Theory and Practice of Computer Science","author":"M Biro","year":"2014","unstructured":"Biro, M.: Open Services for software process compliance engineering. In: Geffert, V., Preneel, B., Rovan, B., \u0160tuller, J., Tjoa, A.M. (eds.) SOFSEM 2014. LNCS, vol. 8327, pp. 1\u20136. Springer, Cham (2014). doi: 10.1007\/978-3-319-04298-5_1"},{"key":"32_CR9","unstructured":"Bir\u00f3, M.: Functional safety, traceability, and open services. In: Madeyski, L., Ochodek, M. (ed.) Software Engineering from Research and Practice Perspective. Wyd. Nakom, Poznan, pp. 73\u201382. ISBN 978-83-63919-16-0"},{"key":"32_CR10","series-title":"Communications in Computer and Information Science","first-page":"73","volume-title":"Systems, Software and Services Process Improvement","author":"M Bir\u00f3","year":"2016","unstructured":"Bir\u00f3, M., Klespitz, J., Gmeiner, J., Illibauer, C., Kov\u00e1cs, L.: Towards Automated Traceability Assessment through Augmented Lifecycle Space. In: Kreiner, C., O\u2019Connor, R., Poth, A., Messnarz, R. (eds.) EuroSPI 2016. CCIS, vol. 633, pp. 73\u201382. Springer, Cham (2016)"},{"key":"32_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-18216-7","volume-title":"Abstract State Machines","author":"E B\u00f6rger","year":"2003","unstructured":"B\u00f6rger, E., St\u00e4rk, R.: Abstract State Machines. A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003)"},{"key":"32_CR12","unstructured":"Chapman, D.: What is application lifecycle management? (2010) http:\/\/www.davidchappell.com\/writing\/white_papers\/What_is_ALM_v2.0\u2013Chappell.pdf . Accessed 08 Apr 2016"},{"key":"32_CR13","doi-asserted-by":"crossref","unstructured":"Cleland-Huang, J, Gotel, O. C., Huffman Hayes, J., M\u00e4der, P., Zisman, A.: Software trace-ability: trends and future directions. In: Proceedings of the on Future of Software Engineering, pp. 55\u201369. ACM (2014)","DOI":"10.1145\/2593882.2593891"},{"key":"32_CR14","unstructured":"Generate C and C++ code optimized for embedded systems. https:\/\/www.mathworks.com\/products\/embedded-coder.html"},{"issue":"3","key":"32_CR15","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1109\/MS.2013.44","volume":"30","author":"A Ferrari","year":"2013","unstructured":"Ferrari, A., Fantechi, A., Gnesi, S., Magnani, G.: Model-based development and formal methods in the railway industry. IEEE software 30(3), 28\u201334 (2013). ( https:\/\/doi.ieeecomputersociety.org\/cms\/Computer.org\/dl\/mags\/so\/2013\/03\/figures\/mso20130300281.gif ), (source of the mentioned picture)","journal-title":"IEEE software"},{"key":"32_CR16","doi-asserted-by":"crossref","unstructured":"Gotel, O., Cleland-Huang, J., Hayes, J.H., Zisman, A., Egyed, A., Gr\u00fcnbacher, P., Dekhtyar, A., Antoniol, G., Maletic, J.: The grand challenge of traceability (v1.0). In: Cleland-Huang, J., Gotel, O., Zisman, A. (eds.) Software and Systems Traceability, pp. 343\u2013409. Springer, London (2012)","DOI":"10.1007\/978-1-4471-2239-5_16"},{"issue":"1","key":"32_CR17","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1145\/343369.343384","volume":"1","author":"Y Gurevich","year":"2000","unstructured":"Gurevich, Y.: Sequential abstract state machines capture sequential algorithms. ACM Trans. Comput. Logic 1(1), 77\u2013111 (2000)","journal-title":"ACM Trans. Comput. Logic"},{"key":"32_CR18","unstructured":"Ibrahim, S., Idris, N.B., Munro, M., Deraman, A.: Implementing a document-based requirements traceability: a case study. In: IASTED International Conference on Software Engineering, pp. 124\u2013131 (2005)"},{"key":"32_CR19","unstructured":"Functional safety. International Electrotechnical Commission\u00ae. http:\/\/www.iec.ch\/about\/brochures\/pdf\/technology\/functional_safety.pdf . Accessed 31 Mar 2017"},{"issue":"10","key":"32_CR20","first-page":"39","volume":"9","author":"M Kamalrudin","year":"2015","unstructured":"Kamalrudin, M., Sidek, S.: A review on software requirements validation and consistency management. Int. J. Softw. Eng. Appl. 9(10), 39\u201358 (2015)","journal-title":"Int. J. Softw. Eng. Appl."},{"key":"32_CR21","doi-asserted-by":"crossref","unstructured":"Lacheiner, H., Ramler, R.: Application lifecycle management as infrastructure for software processes improvement and evolution: Experience and insights from industry. In: Biffl, S., Koivuluoma, M., Abrahamsson, P. (eds.) Proceedings of the 37th EUROMICRO Conference on Software Engineering and Advanced Applications - SEAA 2011, pp. 286\u2013293. IEEE, August\/September 2011","DOI":"10.1109\/SEAA.2011.51"},{"key":"32_CR22","unstructured":"Eclipse Lyo: Enabling tool integration with OSLC. http:\/\/www.eclipse.org\/lyo\/ . Accessed 31 Mar 2017"},{"key":"32_CR23","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1007\/978-3-319-13251-8_8","volume-title":"Software Quality. Software and Systems Quality in Distributed and Mobile Environments","author":"A Mashkoor","year":"2015","unstructured":"Mashkoor, A., Biro, M., Dolgos, M., Timar, P.: Refinement-based development of software-controlled safety-critical active medical devices. In: Winkler, D., Biffl, S., Bergsmann, J. (eds.) SWQD 2015. LNBIP, vol. 200, pp. 120\u2013132. Springer, Cham (2015). doi: 10.1007\/978-3-319-13251-8_8"},{"key":"32_CR24","first-page":"321","volume-title":"Software and Systems Traceability","author":"F McCaffery","year":"2012","unstructured":"McCaffery, F., Casey, V., Sivakumar, M.S., Coleman, G., Donnelly, P., Burton, J.: Medical device software traceability. In: Cleland-Huang, J., Gotel, O., Zisman, A. (eds.) Software and Systems Traceability, pp. 321\u2013339. Springer, London (2012)"},{"key":"32_CR25","unstructured":"Open Services for Lifecycle Collaboration: an open community building practical specifications for integrating software. http:\/\/open-services.net\/ . Accessed 31 Mar 2017"},{"key":"32_CR26","doi-asserted-by":"crossref","unstructured":"Pirklbauer, G., Ramler, R., Zeilinger, R.: An integration-oriented model for application lifecycle management. In: Proceedings of the 11th International Conference con Enterprise Information Systems (ICEIS 2009), pp. 399\u2013403. INSTICC (2009)","DOI":"10.5220\/0002007203990402"},{"issue":"1","key":"32_CR27","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1109\/32.895989","volume":"27","author":"B Ramesh","year":"2001","unstructured":"Ramesh, B., Jarke, M.: Towards reference models for requirements traceability. IEEE Trans. Software Eng. 27(1), 58\u201393 (2001)","journal-title":"IEEE Trans. Software Eng."},{"key":"32_CR28","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/978-3-642-31199-4_4","volume-title":"Systems, Software and Services Process Improvement","author":"Rudolf Ramler","year":"2012","unstructured":"Ramler, Rudolf, Lacheiner, Hermann, Kern, Albin: Rule-Based Detection of Process Conformance Violations in Application Lifecycle Management. In: Winkler, Dietmar, O\u2019Connor, Rory V., Messnarz, Richard (eds.) EuroSPI 2012. CCIS, vol. 301, pp. 37\u201348. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-31199-4_4"},{"key":"32_CR29","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1007\/978-3-662-43896-1_18","volume-title":"Systems, Software and Services Process Improvement","author":"Gilbert Regan","year":"2014","unstructured":"Regan, Gilbert, Biro, Miklos, Mc Caffery, Fergal, Mc Daid, Kevin, Flood, Derek: A traceability process assessment model for the medical device domain. In: Barafort, B\u00e9atrix, O\u2019Connor, R.V., Poth, Alexander, Messnarz, Richard (eds.) EuroSPI 2014. CCIS, vol. 425, pp. 206\u2013216. Springer, Heidelberg (2014). doi: 10.1007\/978-3-662-43896-1_18"},{"issue":"8","key":"32_CR30","doi-asserted-by":"crossref","first-page":"591","DOI":"10.1002\/smr.1728","volume":"27","author":"G Regan","year":"2015","unstructured":"Regan, G., Biro, M., Flood, D., McCaffery, F.: Assessing traceability\u2014practical experiences and lessons learned. J. Softw. Evol. Process 27(8), 591\u2013601 (2015). http:\/\/dx.doi.org\/10.1002\/smr.1728 . Accessed 31 Mar 2017","journal-title":"J. Softw. Evol. Process"},{"key":"32_CR31","unstructured":"Reichwein, A.: Java-based Implementation of OSLC Simulink Adapter. https:\/\/github.com\/ld4mbse\/oslc-adapter-simulink . Accessed 07 Apr 2017"},{"issue":"99","key":"32_CR32","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1109\/TSE.2016.2622264","volume":"PP","author":"P Rempel","year":"2016","unstructured":"Rempel, P., M\u00e4der, P.: Preventing defects: the impact of requirements traceability completeness on software quality. IEEE Trans. Softw. Eng. PP(99), 1 (2016)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"32_CR33","unstructured":"Event-B and the Rodin Platform. http:\/\/www.event-b.org\/ . Accessed 31 Mar 2017"},{"key":"32_CR34","unstructured":"OMG: OMG Systems Modeling Language (OMG SYSMLTM), Version 1.4. http:\/\/www.omg.org\/spec\/SysML\/1.4\/ . Accessed 31 Mar 2017"},{"key":"32_CR35","unstructured":"Apache Wink. https:\/\/wink.apache.org\/ . Accessed 31 Mar 2017"}],"container-title":["Communications in Computer and Information Science","Systems, Software and Services Process Improvement"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-64218-5_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,2]],"date-time":"2019-10-02T04:04:51Z","timestamp":1569989091000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-64218-5_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319642178","9783319642185"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-64218-5_32","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2017]]}}}