{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T16:41:41Z","timestamp":1725727301230},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642386008"},{"type":"electronic","value":"9783642386015"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38601-5_7","type":"book-chapter","created":{"date-parts":[[2013,5,26]],"date-time":"2013-05-26T21:25:01Z","timestamp":1369603501000},"page":"95-108","source":"Crossref","is-referenced-by-count":3,"title":["Using Ontologies in the Integration of Structural, Functional, and Process Perspectives in the Development of Safety Critical Systems"],"prefix":"10.1007","author":[{"given":"Irene","family":"Bicchierai","sequence":"first","affiliation":[]},{"given":"Giacomo","family":"Bucci","sequence":"additional","affiliation":[]},{"given":"Carlo","family":"Nocentini","sequence":"additional","affiliation":[]},{"given":"Enrico","family":"Vicario","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"7_CR1","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/TDSC.2004.2","volume":"1","author":"A. Avizienis","year":"2004","unstructured":"Avizienis, A., Laprie, J., Randell, B., Landwehr, C.: Basic Concepts and Taxonomy of Dependable and Secure Computing. IEEE Transactions on Dependable and Secure Computing\u00a01(1), 11\u201333 (2004)","journal-title":"IEEE Transactions on Dependable and Secure Computing"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Bicchierai, I., Bucci, G., Nocentini, C., Vicario, E.: Integrating metrics in an ontological framework supporting sw-fmea. In: 2012 3rd International Workshop on Emerging Trends in Software Metrics, WETSoM, pp. 35\u201341 (2012)","DOI":"10.1109\/WETSoM.2012.6226991"},{"key":"7_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/978-3-642-33678-2_15","volume-title":"SAFECOMP 2012","author":"I. Bicchierai","year":"2012","unstructured":"Bicchierai, I., Bucci, G., Nocentini, C., Vicario, E.: An ontological approach to systematization of SW-FMEA. In: Ortmeier, F., Lipaczewski, M. (eds.) SAFECOMP 2012. LNCS, vol.\u00a07612, pp. 173\u2013184. Springer, Heidelberg (2012)"},{"key":"7_CR4","unstructured":"BWB - Federal Office for Military Technology and Procurement of Germany. V-Model 97, Lifecycle Process Model-Developing Standard for IT Systems of the Federal Republic of Germany. General Directive No. 250 (June 1997)"},{"key":"7_CR5","unstructured":"CENELEC European Committee for Electrotechnical Standardization. CENELEC EN 50128 Railway applications - Communications, signalling and processing systems - Software for railway control and protection systems (March 2001)"},{"key":"7_CR6","unstructured":"Dokas, I.M., Ireland, C.: Ontology to support knowledge representation and risk analysis for the development of early warning system in solid waste management operations. In: Int. Symp. on Environmental Software Systems, ISESS 2007 (2007)"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Eaddy, M., Aho, A., Murphy, G.C.: Identifying, assigning, and quantifying crosscutting concerns. In: Proc. of the First International Workshop on Assessment of Contemporary Modularization Techniques, ACoM 2007, Washington, USA (2007)","DOI":"10.1109\/ACOM.2007.4"},{"key":"7_CR8","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1109\/TSE.2003.1183929","volume":"29","author":"T. Eisenbarth","year":"2003","unstructured":"Eisenbarth, T., Koschke, R., Simon, D.: Locating features in source code. IEEE Trans. Softw. Eng.\u00a029, 210\u2013224 (2003)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"7_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1007\/978-3-642-24270-0_34","volume-title":"Computer Safety, Reliability, and Security","author":"A. Fiaschetti","year":"2011","unstructured":"Fiaschetti, A., Lavorato, F., Suraci, V., Palo, A., Taglialatela, A., Morgagni, A., Baldelli, R., Flammini, F.: On the Use of Semantic Technologies to Model and Control Security, Privacy and Dependability in Complex Systems. In: Flammini, F., Bologna, S., Vittorini, V. (eds.) SAFECOMP 2011. LNCS, vol.\u00a06894, pp. 467\u2013479. Springer, Heidelberg (2011)"},{"issue":"2","key":"7_CR10","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1006\/knac.1993.1008","volume":"5","author":"T.R. Gruber","year":"1993","unstructured":"Gruber, T.R.: A Translation Approach to Portable Ontology Specifications. Knowledge Acquisition\u00a05(2), 199\u2013220 (1993)","journal-title":"Knowledge Acquisition"},{"key":"7_CR11","unstructured":"Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: A Semantic Web Rule Language Combining OWL and RuleML (May 2004), \n \n http:\/\/www.w3.org\/Submission\/SWRL\/"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Jordan, P.: IEC 62304 International Standard Edition 1.0 Medical device software - Software life cycle processes. The Institution of Engineering and Technology Seminar on Software for Medical Devices (2006)","DOI":"10.1049\/ic:20060141"},{"key":"7_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/BFb0053381","volume-title":"ECOOP \u201997 - Object-Oriented Programming","author":"G. Kiczales","year":"1997","unstructured":"Kiczales, G., Lamping, J., Mehdhekar, A., Maeda, C., Lopes, C.V., Loingtier, J., Irwin, J.: Aspect-Oriented Programming. In: Ak\u015fit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol.\u00a01241, pp. 220\u2013242. Springer, Heidelberg (1997)"},{"key":"7_CR14","unstructured":"McGuinness, D.L., van Harmelen, F.: OWL Web Ontology Language (February 2004), \n \n http:\/\/www.w3.org\/TR\/owl-features\/"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Mokos, K., Meditskos, G., Katsaros, P., Bassiliades, N., Vasiliades, V.: Ontology-based model driven engineering for safety verification. In: 2010 36th EUROMICRO Conference on Softw. Eng. and Advanced Applications, SEAA, pp. 47\u201354 (2010)","DOI":"10.1109\/SEAA.2010.60"},{"key":"7_CR16","unstructured":"Object Management Group. Ontology Definition Metamodel v1.0 (2009)"},{"key":"7_CR17","unstructured":"Prud\u2019hommeaux, E., Seaborne, A.: SPARQL query language for RDF (January 2008), \n \n http:\/\/www.w3.org\/TR\/rdf-sparql-query\/"},{"key":"7_CR18","unstructured":"QA Systems - The Software Quality Company. Cantata++, \n \n http:\/\/www.qa-systems.com\/cantata.html"},{"key":"7_CR19","unstructured":"Radio Technical Commission for Aeronautics. DO-178B, Software Considerations in Airborne Systems and Equipment Certification (1992)"},{"key":"7_CR20","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1109\/MS.2011.128","volume":"29","author":"L. Ridi","year":"2012","unstructured":"Ridi, L., Torrini, J., Vicario, E.: Developing a scheduler with difference-bound matrices and the floyd-warshall algorithm. IEEE Software\u00a029, 76\u201383 (2012)","journal-title":"IEEE Software"},{"key":"7_CR21","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-2367-3","volume-title":"Performance and reliability analysis of computer systems: an example-based approach using the SHARPE software package","author":"R.A. Sahner","year":"1996","unstructured":"Sahner, R.A., Trivedi, K.S., Puliafito, A.: Performance and reliability analysis of computer systems: an example-based approach using the SHARPE software package. Kluwer Academic Publishers, Norwell (1996)"},{"issue":"2","key":"7_CR22","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/j.websem.2007.03.004","volume":"5","author":"E. Sirin","year":"2007","unstructured":"Sirin, E., Parsia, B., Grau, B.C., Kalyanpur, A., Katz, Y.: Pellet: A practical OWL-DL reasoner. J. Web Sem.\u00a05(2), 51\u201353 (2007)","journal-title":"J. Web Sem."},{"key":"7_CR23","unstructured":"Spinczyk, O., Gal, A., Schr\u00f6der-Preikschat, W.: AspectC++: An Aspect-Oriented Extension to C++. In: Proc. of the 40th Int. Conf. on Technology of Object-Oriented Languages and Systems, TOOLS, pp. 53\u201360 (2002)"},{"key":"7_CR24","unstructured":"United States Department of Defense. MIL-STD-498, Military Standard For Software Development And Documentation. Technical report, USDoD (1994)"},{"key":"7_CR25","unstructured":"USC Center for Software Engineering. UCC: Unified Code Count, \n \n http:\/\/sunset.usc.edu\/research\/CODECOUNT\/"},{"key":"7_CR26","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1016\/0952-1976(96)00014-0","volume":"9","author":"R. Wirth","year":"1996","unstructured":"Wirth, R., Berthold, B., Kr\u00e4mer, A., Peter: Knowledge-Based Support of System Analysis for Failure Mode and Effects Analysis. Engineering Applications of Artificial Intelligence\u00a09, 219\u2013229 (1996)","journal-title":"Engineering Applications of Artificial Intelligence"},{"key":"7_CR27","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/S0164-1212(00)00029-7","volume":"54","author":"W.E. Wong","year":"2000","unstructured":"Wong, W.E., Gokhale, S.S., Horgan, J.R.: Quantifying the closeness between program components and features. J. Syst. Softw.\u00a054, 87\u201398 (2000)","journal-title":"J. Syst. Softw."}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies \u2013 Ada-Europe 2013"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38601-5_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T03:31:55Z","timestamp":1557718315000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38601-5_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642386008","9783642386015"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38601-5_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}