{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,26]],"date-time":"2025-06-26T09:07:56Z","timestamp":1750928876494,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642346132"},{"type":"electronic","value":"9783642346149"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34614-9_3","type":"book-chapter","created":{"date-parts":[[2012,11,8]],"date-time":"2012-11-08T11:02:07Z","timestamp":1352372527000},"page":"31-49","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Introduction to the SPES Modeling Framework"],"prefix":"10.1007","author":[{"given":"Manfred","family":"Broy","sequence":"first","affiliation":[]},{"given":"Werner","family":"Damm","sequence":"additional","affiliation":[]},{"given":"Stefan","family":"Henkler","sequence":"additional","affiliation":[]},{"given":"Klaus","family":"Pohl","sequence":"additional","affiliation":[]},{"given":"Andreas","family":"Vogelsang","sequence":"additional","affiliation":[]},{"given":"Thorsten","family":"Weyer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,10,26]]},"reference":[{"key":"3_CR31","doi-asserted-by":"crossref","unstructured":"[Parnas and Madey 1995] D. L. Parnas, J. Madey: Functional documents for computer systems. In: Science of Computer Programming, Vol. 25, No. 1, pp. 41-61.","DOI":"10.1016\/0167-6423(95)96871-J"},{"key":"3_CR32","volume-title":"Requirements Engineering \u2013 Fundamentals, Principles","author":"K Pohl","year":"2010","unstructured":"[Pohl 2010] K. Pohl: Requirements Engineering \u2013 Fundamentals, Principles, Techniques. Springer, Berlin\/Heidelberg, 2010."},{"key":"3_CR33","doi-asserted-by":"crossref","unstructured":"[Potts 1995] C. Potts: Using schematic scenarios to understand user needs. In: Proceedings of the ACM Symposium on Designing Interactive Systems \u2013 Processes, Practices, Methods and Techniques (DIS\u201995). ACM, New York, 1995, pp. 247-266.","DOI":"10.1145\/225434.225462"},{"key":"3_CR34","unstructured":"[Sage and Rouse 2009] A. P. Sage, W. B. Rouse: Handbook of Systems Engineering and Management. John Wiley and Sons, 2nd Edition, 2009."},{"key":"3_CR35","unstructured":"[Sch\u00e4tz 2005] B. Sch\u00e4tz. Building components from functions. In: Electronic Notes in Theoretical Computer Science, Vol. 160. Proceedings of the International Workshop on Formal Aspects of Component Software FACS 2005."},{"key":"3_CR36","doi-asserted-by":"crossref","unstructured":"[Sikora et al. 2010] E. Sikora, M. Daun, K. Pohl: Supporting the consistent specification of scenarios across multiple sbstraction levels. In: R. Wieringa, A. Persson (Hrsg.): Proceesdings of the 16th Intl. Working Conf. on Requirements Engineering: Foundation for Software Quality. LNCS 6182, Springer, Berlin\/Heidelberg, 2010, pp. 45-59.","DOI":"10.1007\/978-3-642-14192-8_6"},{"key":"3_CR37","doi-asserted-by":"crossref","unstructured":"[Sikora et al. 2012] E. Sikora, B. Tenbergen, K. Pohl. Industry needs and research directions in requirements engineering for embedded systems. In: Requirements Engineering Journal, Vol. 17, No.1, 2012, pp. 57-78.","DOI":"10.1007\/s00766-011-0144-x"},{"key":"3_CR38","unstructured":"[Sommerville 2010] I. Sommerville: Software Engineering. Pearson, 9th Edition, 2010."},{"key":"3_CR39","unstructured":"[Tarr et al. 1999] P. Tarr, H. Ossher, W. Harrison, Jr. S. M. Sutton: N degrees of separation: multi-dimensional separation of concerns. In: ICSE '99: Proceedings of the 21st international conference on Software engineering, ACM, New York, 1999, pp. 107- 119."},{"key":"3_CR310","unstructured":"[Weyer 2011] T. Weyer: Koh\u00e4renzpr\u00fcfung von Anforderungsspezifikationen: Ein Ansatz zur Pr\u00fcfung der Koh\u00e4renz von Verhaltensspezifikationen gegen Eigenschaften des operationellen Kontexts. S\u00fcdwestdeutscher Verlag f\u00fcr Hochschulschriften, 2011."},{"key":"3_CR311","unstructured":"[Yu 1997] E. Yu: Towards modelling and reasoning support for early-phase requirements engineering. In: Proceedings of the 3rd IEEE International Symposium on Requirements Engineering (RE\u201997), IEEE Computer Society Press, Los Alamitos, 1997, pp. 226-235."}],"container-title":["Model-Based Engineering of Embedded Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34614-9_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,9]],"date-time":"2023-02-09T11:46:08Z","timestamp":1675943168000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-34614-9_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642346132","9783642346149"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34614-9_3","relation":{},"subject":[],"published":{"date-parts":[[2012]]},"assertion":[{"value":"26 October 2012","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}