{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:45:44Z","timestamp":1742913944849,"version":"3.40.3"},"publisher-location":"Cham","reference-count":34,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319661964"},{"type":"electronic","value":"9783319661971"}],"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-66197-1_21","type":"book-chapter","created":{"date-parts":[[2017,8,12]],"date-time":"2017-08-12T01:02:30Z","timestamp":1502499750000},"page":"332-348","source":"Crossref","is-referenced-by-count":3,"title":["Specification and Semantic Analysis of Embedded Systems Requirements: From Description Logic to Temporal Logic"],"prefix":"10.1007","author":[{"given":"Nesredin","family":"Mahmud","sequence":"first","affiliation":[]},{"given":"Cristina","family":"Seceleanu","sequence":"additional","affiliation":[]},{"given":"Oscar","family":"Ljungkrantz","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,8,13]]},"reference":[{"key":"21_CR1","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/j.infsof.2016.04.002","volume":"75","author":"LEG Martins","year":"2016","unstructured":"Martins, L.E.G., Gorschek, T.: Requirements engineering for safety-critical systems: a systematic literature review. Inf. Softw. Technol. 75, 71\u201389 (2016)","journal-title":"Inf. Softw. Technol."},{"key":"21_CR2","volume-title":"Requirements Engineering","author":"E Hull","year":"2010","unstructured":"Hull, E., Jackson, K., Dick, J.: Requirements Engineering. Springer, Heidelberg (2010)"},{"key":"21_CR3","doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002), pp. 411\u2013420, May 1999","DOI":"10.1145\/302405.302672"},{"key":"21_CR4","doi-asserted-by":"crossref","unstructured":"Konrad, S., Cheng, B.H.C.: Real-time specification patterns. In: 27th International Conference on Software Engineering (ICSE), pp. 372\u2013381, May 2005","DOI":"10.1145\/1062455.1062526"},{"key":"21_CR5","volume-title":"An Introduction to the Syntax\/Semantics Interface","author":"P Jacobson","year":"2014","unstructured":"Jacobson, P., Semantics, C.: An Introduction to the Syntax\/Semantics Interface. Oxford University Press, Oxford (2014)"},{"key":"21_CR6","doi-asserted-by":"crossref","unstructured":"Farfeleder, S., Moser, T., Krall, A., Stlhane, T., Zojer, H., Panis, C.: DODT: Increasing requirements formalism using domain ontologies for improved embedded systems development. In: 14th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems, pp. 271\u2013274, April 2011","DOI":"10.1109\/DDECS.2011.5783092"},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"Arora, C., Sabetzadeh, M., Briand, L.C., Zimmer, F.: Requirement Boilerplates: Transition from manually-enforced to automatically-verifiable natural language patterns. In: 2014 IEEE 4th International Workshop on Requirements Patterns (RePa), pp. 1\u20138, August 2014","DOI":"10.1109\/RePa.2014.6894837"},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"Kaiya, H., Saeki, M.: Ontology based requirements analysis: Lightweight semantic processing approach. In: Fifth International Conference on Quality Software (QSIC 2005), pp. 223\u2013230, September 2005","DOI":"10.1109\/QSIC.2005.46"},{"key":"21_CR9","doi-asserted-by":"crossref","unstructured":"Mahmud, N., Seceleanu, C., Ljungkrantz, O.: ReSA: An ontology-based requirement specification language tailored to automotive systems. In: 10th IEEE International Symposium on Industrial Embedded Systems (SIES), June 2015","DOI":"10.1109\/SIES.2015.7185035"},{"key":"21_CR10","doi-asserted-by":"crossref","unstructured":"Mahmud, N., Seceleanu, C., Ljungkrantz, O.: ReSA tool: Structured requirements specification and SAT-based consistency-checking. In: Proceedings of 2016 Federated Conference on Computer Science and Information Systems (FedCSIS), September 2016","DOI":"10.15439\/2016F404"},{"key":"21_CR11","doi-asserted-by":"publisher","DOI":"10.1093\/0199246270.001.0001","volume-title":"Essays on Actions and Events: Philosophical Essays","author":"D Davidson","year":"2001","unstructured":"Davidson, D.: Essays on Actions and Events: Philosophical Essays. Clarendon Press, Oxford (2001)"},{"issue":"4","key":"21_CR12","first-page":"635","volume":"26","author":"T Parsons","year":"1995","unstructured":"Parsons, T.: Thematic relations and arguments. Linguist. Inq. 26(4), 635\u2013662 (1995)","journal-title":"Linguist. Inq."},{"key":"21_CR13","unstructured":"The Description Logic Handbook: Theory, Implementation and Applications"},{"key":"21_CR14","doi-asserted-by":"crossref","first-page":"2008","DOI":"10.1007\/978-0-387-39940-9_1073","volume-title":"Encyclopedia of Database Systems","author":"S Bechhofer","year":"2009","unstructured":"Bechhofer, S.: OWL: Web ontology language. In: Ling, L., \u00d6zsu, T. (eds.) Encyclopedia of Database Systems, pp. 2008\u20132009. Springer, Heidelberg (2009)"},{"key":"21_CR15","first-page":"109","volume-title":"Studying Visual and Spatial Reasoning for Design Creativity","author":"Mehul Bhatt","year":"2014","unstructured":"Bhatt, M., Freksa, C.: Spatial computing for design an artificial intelligence perspective. In: Studying Visual and Spatial Reasoning for Design Creativity, pp. 109\u2013127. Springer, Heidelberg (2015)"},{"key":"21_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/11837787_9","volume-title":"Reasoning Web","author":"A Rector","year":"2006","unstructured":"Rector, A., Rogers, J.: Ontological and practical issues in using a description logic to represent medical concept systems: experience from GALEN. In: Barahona, P., Bry, F., Franconi, E., Henze, N., Sattler, U. (eds.) Reasoning Web 2006. LNCS, vol. 4126, pp. 197\u2013231. Springer, Heidelberg (2006). doi: 10.1007\/11837787_9"},{"key":"21_CR17","unstructured":"Shearer, R., Motik, B., Horrocks, I.: HermiT: A highly-efficient OWL reasoner. In: OWL: Experiences and Directions, vol. 432, p. 91 (2008)"},{"issue":"1","key":"21_CR18","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1006\/inco.1993.1024","volume":"104","author":"R Alur","year":"1993","unstructured":"Alur, R., Courcoubetis, C., Dill, D.: Model-checking in dense real-time. Inf. Comput. 104(1), 2\u201334 (1993)","journal-title":"Inf. Comput."},{"key":"21_CR19","unstructured":"Schuler, K.K.: VerbNet: A Broad-coverage, Comprehensive Verb Lexicon. Dissertations available from ProQuest. AAI3179808 (2005)"},{"key":"21_CR20","unstructured":"Palmer, M.: Semlink: Linking propbank, verbnet and framenet. In: Proceedings of the Generative Lexicon Conference, Italy, pp. 9\u201315 (2009)"},{"issue":"11","key":"21_CR21","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1145\/219717.219748","volume":"38","author":"GA Miller","year":"1995","unstructured":"Miller, G.A.: WordNet: a lexical database for english. Commun. ACM 38(11), 39\u201341 (1995)","journal-title":"Commun. ACM"},{"key":"21_CR22","volume-title":"Events in the Semantics of English","author":"T Parsons","year":"1990","unstructured":"Parsons, T.: Events in the Semantics of English, vol. 5. MIT Press, Cambridge (1990)"},{"issue":"1","key":"21_CR23","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/s10988-014-9162-8","volume":"38","author":"L Champollion","year":"2015","unstructured":"Champollion, L.: The Interaction of compositional semantics and event semantics. Linguist. Philos. 38(1), 31 (2015)","journal-title":"Linguist. Philos."},{"key":"21_CR24","doi-asserted-by":"crossref","DOI":"10.4324\/9780203412015","volume-title":"Functional Categories and Parametric Variation","author":"J Ouhalla","year":"2003","unstructured":"Ouhalla, J.: Functional Categories and Parametric Variation. Routledge, London (2003)"},{"issue":"3","key":"21_CR25","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1016\/0010-0277(93)90042-T","volume":"48","author":"HS Kurtzman","year":"1993","unstructured":"Kurtzman, H.S., MacDonald, M.C.: Resolution of quantifier scope ambiguities. Cognition 48(3), 243\u2013279 (1993)","journal-title":"Cognition"},{"issue":"4","key":"21_CR26","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1006\/cogp.1999.0730","volume":"40","author":"VS Ferreira","year":"2000","unstructured":"Ferreira, V.S., Dell, G.S.: Effect of ambiguity and lexical availability on syntactic and lexical production. Cogn. Psychol. 40(4), 296\u2013340 (2000)","journal-title":"Cogn. Psychol."},{"key":"21_CR27","unstructured":"Finlayson, M.A.: Java libraries for accessing the princeton wordnet: comparison and evaluation. In: Proceedings of the 7th Global Wordnet Conference, Tartu, Estonia (2014)"},{"issue":"1","key":"21_CR28","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/s00766-011-0145-9","volume":"17","author":"A Post","year":"2012","unstructured":"Post, A., Menzel, I., Hoenicke, J., Podelski, A.: Automotive behavioral requirements expressed in a specification pattern system: a case study at BOSCH. Requirements Eng. 17(1), 19\u201333 (2012)","journal-title":"Requirements Eng."},{"issue":"1\u20132","key":"21_CR29","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0167-6423(93)90021-G","volume":"20","author":"A Dardenne","year":"1993","unstructured":"Dardenne, A., Van Lamsweerde, A., Fickas, S.: Goal-directed requirements acquisition. Sci. Comput. Programm. 20(1\u20132), 3\u201350 (1993)","journal-title":"Sci. Comput. Programm."},{"key":"21_CR30","doi-asserted-by":"crossref","unstructured":"Zowghi, D., Gervasi, V., McRae, A.: Using default reasoning to discover inconsistencies in natural language requirements. In: Proceedings Eighth Asia-Pacific Software Engineering Conference, pp. 133\u2013140, December 2001","DOI":"10.1109\/APSEC.2001.991469"},{"issue":"3","key":"21_CR31","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1109\/32.75413","volume":"17","author":"HB Reubenstein","year":"1991","unstructured":"Reubenstein, H.B., Waters, R.C.: The requirements apprentice: automated assistance for requirements acquisition. IEEE Trans. Softw. Eng. 17(3), 226\u2013240 (1991)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"21_CR32","doi-asserted-by":"crossref","unstructured":"Kaiya, H., Saeki, M.: Using domain ontology as domain knowledge for requirements elicitation. In: 14th IEEE International Requirements Engineering Conference (RE 2006), pp. 189\u2013198, September 2006","DOI":"10.1109\/RE.2006.72"},{"key":"21_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/978-3-642-21064-8_15","volume-title":"The Semanic Web: Research and Applications","author":"S Farfeleder","year":"2011","unstructured":"Farfeleder, S., Moser, T., Krall, A., St\u00e5lhane, T., Omoronyia, I., Zojer, H.: Ontology-driven guidance for requirements elicitation. In: Antoniou, G., Grobelnik, M., Simperl, E., Parsia, B., Plexousakis, D., Leenheer, P., Pan, J. (eds.) ESWC 2011. LNCS, vol. 6644, pp. 212\u2013226. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-21064-8_15"},{"key":"21_CR34","unstructured":"Roth, M., Klein, E.: Parsing software requirements with an ontology-based semantic role labeler. In: Language and Ontologies, p. 15 (2015)"}],"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-66197-1_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,15]],"date-time":"2020-10-15T03:09:34Z","timestamp":1602731374000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66197-1_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319661964","9783319661971"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66197-1_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}