{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T12:17:03Z","timestamp":1743077823379,"version":"3.40.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319480022"},{"type":"electronic","value":"9783319480039"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-48003-9_4","type":"book-chapter","created":{"date-parts":[[2016,12,1]],"date-time":"2016-12-01T02:46:36Z","timestamp":1480560396000},"page":"43-57","source":"Crossref","is-referenced-by-count":8,"title":["SPES XT Context Modeling Framework"],"prefix":"10.1007","author":[{"given":"Marian","family":"Daun","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bastian","family":"Tenbergen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jennifer","family":"Brings","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thorsten","family":"Weyer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,12,2]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"[Alfaro and Henzinger 2001] L. de Alfaro, T. Henzinger: Interface Automata. In: Proc. 8th European Software Engineering Conf. and 9th ACM SIGSOFT Int. Symp. on Foundations of Software Engineering (ESEC\/FSE-9), ACM, New York, 2001. pp. 109-120.","DOI":"10.1145\/503209.503226"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"[Bergh and Coninx 2006] J. Bergh, K. Coninx: CUP 2.0: High-Level Modeling of Context-Sensitive Interactive Applications. In: Model Driven Engineering Languages and Systems, Springer, Berlin Heidelberg, 2006, pp. 140-154.","DOI":"10.1007\/11880240_11"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"[Daun et al. 2012] M. Daun, B. Tenbergen, T. Weyer: Requirements Viewpoint. In: Model-Based Engineering of Embedded Systems: The SPES 2020 Methodology. Springer, Heidelberg\/New York, 2012.","DOI":"10.1007\/978-3-642-34614-9_4"},{"key":"4_CR4","unstructured":"[Daun et al. 2014a] M. Daun, J. Brings, B. Tenbergen, T. Weyer: On the Model\u00adBased Documentation of Knowledge Sources in the Engineering of Embedded Systems. ln: Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2014, Vol. 1129, CEUR-WS.org, 2014, pp. 67-76."},{"key":"4_CR5","unstructured":"[Daun et al. 2014b] M. Daun, T. Weyer, K. Pohl: Validating the Functional Design of Embedded Systems against Stakeholder Intentions. In: Proc. 2nd Int. Conf. on Model-Driven Engineering and Software Development, SciTePress, 2014, pp. 333-339."},{"key":"4_CR6","unstructured":"[Daun et al. 2015a] M. Daun, J. Brings, T. Bandyszak, P. Bohn, T. Weyer: Collaborating Multiple System Instances of Smart Cyber-Physical Systems: A Problem Situation, Solution Idea, and Remaining Research Challenges. In: Proc. lCSE WS \u2013 Int. WS on Software Engineering for Smart Cyber-Physical Systems (SEsCPS'15), 2015, pp. 48-51."},{"key":"4_CR7","unstructured":"[Daun et al. 2015b] M. Daun, H. Tenbergen, J. Brings, T. Weyer: Documenting Assumptions about the Operational Context of Long-Living Collaborative Embedded Systems. In: Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, Vol. 1337, CEUR-WS.org, 2015, pp. 115-117."},{"key":"4_CR8","unstructured":"[Daun et al. 2016] M. Daun, J. Brings, T. Weyer, B. Tenbergen: Fostering Concurrent Engineering of Cyber-physical Systems \u2013 A Proposal for an Ontological Context Framework: In: 3rd International Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems (EITEC), IEEE Computer Society, Los Alamitos, 20 16, pp. 5-10."},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"[Dhaussy et al. 2009] P. Dhaussy, P. Pillain, S. Creff, A. Raji, Y. Traon, B. Baudry: Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation. In: Model-Driven Engineering Languages and Systems. Springer, 2009, pp. 438\u2013452.","DOI":"10.1007\/978-3-642-04425-0_34"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"[Finkelstein et al. 1992] A. Finkelstein, J. Kramer, L. Finkelstein, M. Goedicke: Viewpoints: A Framework for Integrating Multiple Perspectives in System Development. In: Int. Journal of Software Engineering and Knowledge Engineering, Vol. 2, 1992, pp. 31-59.","DOI":"10.1142\/S0218194092000038"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"[Gause 2005] D. C. Gause: Why context matters - and what can we do about it? In: IEEE Software, Vol. 22, No. 5, 2005, pp. 13\u201315.","DOI":"10.1109\/MS.2005.143"},{"key":"4_CR12","unstructured":"[Georgia 2013] State of Georgia: Motor Vehicles and Traffic - Horns, Exhaust Systems, Mirrors, Windshields, Tires, Safety Belts, Energy Absorption Systems. Official Code of Georgia: Title 40, Ch. 8, Art. 1, Part 4, 2013."},{"key":"4_CR13","unstructured":"[Gong 2005] L. Gong: Contextual modeling and applications. In: Int. Conf. on Systems, Man and Cybernetics, 2005, pp. 381-386."},{"key":"4_CR14","unstructured":"[ISO\/IEC 25010] ISO\/IEC: ISO\/IEC 25010:2011-03 \u2013 Systems and software engineering - Systems and software Quality Requirements and Evaluation (SQuaRE) - System and sofnvare quality models. 2011."},{"key":"4_CR15","unstructured":"[Jackson 2006] M. Jackson: Problem frames. Addison-Wesley, Harlow, 2006."},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"[Jin and Liu 2006] Z. Jin, L. Liu: Towards Automatic Problem Decomposition: An Ontology-Based Approach. In: Proc. Int. WS on Advances and Applications of Problem Frames, ACM, 2006, pp. 41\u201348.","DOI":"10.1145\/1138670.1138678"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"[Strang et al. 2003] T. Strang, C. Linnhoff-Popien, K. Frank: CoOL: A Context Ontology Language to Enable Contextual lnteroperability. In: Distributed Applications and Interoperable Systems, Springer, 2003, pp. 236\u2013247.","DOI":"10.1007\/978-3-540-40010-3_21"},{"key":"4_CR18","unstructured":"[StVZO 2013] Federal Republic of Germany: Scheiben, Scheibenwischer, Scheibenwascher, Entfrostungs- und Trocknungsanlagen f\u00fcr Scheiben. StVZO \u00a740 Absatz 1, 2013."},{"key":"4_CR19","unstructured":"[Van Lamsweerde 2010] A. Van Lamsweerde: Requirements engineering. Wiley, Chichester, 2010."},{"key":"4_CR20","unstructured":"[Yu 1995] E. Yu: Modelling Strategic Relationships for Process Reengineering. Dept. of Computer Science. Ph.D. Thesis, Univ. of Toronto, 1995."},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"[Zave and Jackson 1997] P. Zave, M. Jackson: Four Dark Corners of Requirements Engineering. TOSEM, Vol. 6, No. 1, 1997, pp. 1\u201330.","DOI":"10.1145\/237432.237434"}],"container-title":["Advanced Model-Based Engineering of Embedded Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-48003-9_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,25]],"date-time":"2017-06-25T00:57:34Z","timestamp":1498352254000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-48003-9_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319480022","9783319480039"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-48003-9_4","relation":{},"subject":[],"published":{"date-parts":[[2016]]}}}