{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,6]],"date-time":"2026-05-06T02:13:11Z","timestamp":1778033591757,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642346132","type":"print"},{"value":"9783642346149","type":"electronic"}],"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_4","type":"book-chapter","created":{"date-parts":[[2012,11,8]],"date-time":"2012-11-08T11:02:07Z","timestamp":1352372527000},"page":"51-68","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":13,"title":["Requirements Viewpoint"],"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":"Thorsten","family":"Weyer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,10,26]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"[Alfaro and Henziger 2001] L. de Alfaro, T. A. Henzinger: Interface automata. In: Proceedings of the 8th European Software Engineering Conference ESEC\/FSE-9, 2001.","DOI":"10.1145\/503209.503226"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"[Braun et al. 2010] P. Braun, M. Broy, F. Houdek, M. Kirchmayr, M. M\u00fcller, B. Penzenstadler, K. Pohl, T. Weyer: Guiding requirements engineering for softwareintensive embedded systems in the automotive industry. Computer Science - Research and Development. DOI: 10.1007\/s00450-010-0136-y, 2010.","DOI":"10.1007\/s00450-010-0136-y"},{"key":"4_CR3","unstructured":"[Cockburn 2001] A. Cockburn: Writing Effective Use Cases. Addison-Wesley, 2001."},{"key":"4_CR4","unstructured":"[Davis 1993] A. M. Davis: Software Requirements \u2013 Objects, Functions, States. 2nd Edition, Prentice Hall, Englewood Cliffs, New Jersey, 1993."},{"key":"4_CR5","unstructured":"[Hammond et al. 2001] J. Hammond, R. Rawlings, A. Hall: Will it work? In: Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE\u201901), IEEE Computer Society Press, Los Alamitos, 2001, pp. 102-109."},{"key":"4_CR6","unstructured":"[ITU 2004] International Telecommunication Union: ITU-T Z.120: Message Sequence Chart (MSC), 2004."},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"[Jarke and Pohl 1994] M. Jarke, K. Pohl: Requirements engineering in the year 2001 \u2013 (Virtually) managing a changing reality. Software Engineering Journal, Vol. 9, No. 6, 1994, pp. 257-266.","DOI":"10.1049\/sej.1994.0035"},{"key":"4_CR8","volume-title":"Requirements Engineering \u2013 From System Goals to UML Models to Software Specifications","author":"A van Lamsweerde","year":"2009","unstructured":"[Lamsweerde 2009] A. van Lamsweerde: Requirements Engineering \u2013 From System Goals to UML Models to Software Specifications. Wiley, West Sussex, 2009."},{"issue":"1","key":"4_CR9","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1109\/32.825764","volume":"26","author":"N Leveson","year":"2000","unstructured":"[Leveson 2000] N. Leveson: Intent specifications \u2013 An approach to building humancentered specifications. IEEE Transactions on Software Engineering, Vol. 26, No. 1, 2000, pp. 15-35.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"4_CR10","unstructured":"[Lynch and Tuttle 1989] N. A. Lynch, M. R. Tuttle: An introduction to input\/output automata. CWI Quarterly, Vol. 2, 1989, pp. 219-246."},{"key":"4_CR11","unstructured":"[McMenamin and Palmer 1984] S. M. McMenamin, J. F. Palmer: Essential Systems Analysis. Prentice Hall, London, 1984."},{"key":"4_CR12","unstructured":"[OMG 2010a] Object Management Group: OMG Systems Modeling Language\u2122 (OMG SysML) Language Specification v1.2. OMG Document Number: formal\/2010-06-02."},{"key":"4_CR13","unstructured":"[OMG 2010b] Object Management Group: OMG Unified Modeling Language\u2122 (OMG UML), Infrastructure v2.3. OMG Document Number: formal\/2010-05-03."},{"key":"4_CR14","volume-title":"Requirements Engineering \u2013 Fundamentals, Principles","author":"K Pohl","year":"2010","unstructured":"[Pohl 2010] K. Pohl: Requirements Engineering \u2013 Fundamentals, Principles, Techniques. Springer, Germany, 2010."},{"key":"4_CR15","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"},{"issue":"1","key":"4_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(91)90203-E","volume":"80","author":"W Reisig","year":"1991","unstructured":"[Reisig 1991] W. Reisig: Petri nets and algebraic specifications. Theoretical Computer Science, Vol. 80, No 1, 1991, pp. 1-34.","journal-title":"Theoretical Computer Science"},{"key":"4_CR17","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":"4_CR18","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_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,16]],"date-time":"2023-02-16T19:09:08Z","timestamp":1676574548000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-34614-9_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642346132","9783642346149"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34614-9_4","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"}}]}}