{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T18:40:20Z","timestamp":1742582420247,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642259746"},{"type":"electronic","value":"9783642259753"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-25975-3_14","type":"book-chapter","created":{"date-parts":[[2012,2,24]],"date-time":"2012-02-24T13:44:15Z","timestamp":1330091055000},"page":"148-159","source":"Crossref","is-referenced-by-count":3,"title":["On Constructing Software Environment Ontology for Time-Continuous Environment"],"prefix":"10.1007","author":[{"given":"Xiaohong","family":"Chen","sequence":"first","affiliation":[]},{"given":"Jing","family":"Liu","sequence":"additional","affiliation":[]},{"given":"Zuohua","family":"Ding","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"14_CR1","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/0167-6423(95)96871-J","volume":"25","author":"D.L. Parnas","year":"1995","unstructured":"Parnas, D.L., Madey, J.: Functional documentation for computer systems. Science Computing Program\u00a025(1), 41\u201361 (1995)","journal-title":"Science Computing Program"},{"key":"14_CR2","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1018990005598","volume":"3","author":"M.A. Jackson","year":"1997","unstructured":"Jackson, M.A.: The meaning of requirements. Annals of Software Engineering\u00a03, 5\u201321 (1997)","journal-title":"Annals of Software Engineering"},{"issue":"1","key":"14_CR3","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\u00a06(1), 1\u201330 (1997)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"van Lamsweerde, A.: Formal refinement patterns for goal-driven requirements elaboration. In: Proceedings of the 4th ACM Symposium on the Foundations of Software Engineering (FSE4), San Francisco, USA, pp. 179\u2013190 (1996)","DOI":"10.1145\/250707.239131"},{"issue":"2","key":"14_CR5","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/BF03250789","volume":"43","author":"E. Yu","year":"2001","unstructured":"Yu, E.: Agent orientation as a modeling paradigm. Wirtschaftsinformatik\u00a043(2), 123\u2013132 (2001)","journal-title":"Wirtschaftsinformatik"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"Yu, E., Giorgini, P., Maiden, N., Mylopoulos, J. (eds.): Social Modelling for Requirements Engineering. MTI Press (2011)","DOI":"10.7551\/mitpress\/7549.001.0001"},{"key":"14_CR7","volume-title":"Problem Frames: Analyzing and Structuring software development problems","author":"M. Jackson","year":"2001","unstructured":"Jackson, M.: Problem Frames: Analyzing and Structuring software development problems. Addison-Wesley, Harlow (2001)"},{"issue":"2","key":"14_CR8","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1109\/TSE.2007.70769","volume":"34","author":"J.G. Hall","year":"2008","unstructured":"Hall, J.G., Rapanotti, L., Jackson, M.: Problem oriented software engineering: Solving the package router control problem. IEEE Transactions on Software Engineering\u00a034(2), 226\u2013241 (2008)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"1","key":"14_CR9","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R. Alur","year":"1995","unstructured":"Alur, R., Courcoubetis, C., Halbwachs, N.E.A.: The algorithmic analysis of hybrid systems. Theoretical Computer Science\u00a0138(1), 3\u201334 (1995)","journal-title":"Theoretical Computer Science"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Henzinger, T.A.: The theory of hybrid automata. In: 11th Annual Symposium on Logic in Computer Science (LICS), pp. 278\u2013292. IEEE Computer Society Press (1996)","DOI":"10.1109\/LICS.1996.561342"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"\u0150tter, K.B., Bisanz, S., Hannemann, U., Peleska, J.: The hybriduml profile for uml 2.0, pp. 167\u2013176 (2006)","DOI":"10.1007\/s10009-005-0211-z"},{"key":"14_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"384","DOI":"10.1007\/978-3-540-76719-0_38","volume-title":"Knowledge Science, Engineering and Management","author":"X. Chen","year":"2007","unstructured":"Chen, X., Jin, Z., Yi, L.: An Ontology of Problem Frames for Guiding Problem Frame Specification. In: Zhang, Z., Siekmann, J.H. (eds.) KSEM 2007. LNCS (LNAI), vol.\u00a04798, pp. 384\u2013395. Springer, Heidelberg (2007)"}],"container-title":["Lecture Notes in Computer Science","Knowledge Science, Engineering and Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-25975-3_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T18:22:16Z","timestamp":1742581336000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-25975-3_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642259746","9783642259753"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-25975-3_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}