{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:01:23Z","timestamp":1725562883063},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642156502"},{"type":"electronic","value":"9783642156519"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15651-9_24","type":"book-chapter","created":{"date-parts":[[2010,8,10]],"date-time":"2010-08-10T05:12:19Z","timestamp":1281417139000},"page":"317-331","source":"Crossref","is-referenced-by-count":22,"title":["A UML Profile for Requirements Analysis of Dependable Software"],"prefix":"10.1007","author":[{"given":"Denis","family":"Hatebur","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maritta","family":"Heisel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"24_CR1","unstructured":"Common Methodology for Information Technology Security Evaluation (August 2005), http:\/\/www.commoncriteriaportal.org\/public\/expert\/"},{"key":"24_CR2","unstructured":"Common Criteria for Information Technology Security Evaluation, Version 3.1 (September 2006), http:\/\/www.commoncriteriaportal.org\/public\/expert\/"},{"key":"24_CR3","unstructured":"Eclipse - An Open Development Platform (May 2008), http:\/\/www.eclipse.org\/"},{"key":"24_CR4","unstructured":"Eclipse Modeling Framework Project (EMF) (May 2008), http:\/\/www.eclipse.org\/modeling\/emf\/"},{"key":"24_CR5","unstructured":"Papyrus UML Modelling Tool (January 2010), http:\/\/www.papyusuml.org\/"},{"key":"24_CR6","unstructured":"Charfi, A., Gamati\u00e9, A., Honor\u00e9, A., Dekeyser, J.-L., Abid, M.: Validation de mod\u00e8les dans un cadre d\u2019IDM d\u00e9di\u00e9 \u00e0 la conception de syst\u00e8mes sur puce. In: 4\u00e8mes Joun\u00e9es sur l\u2019Ing\u00e9nierie Dirig\u00e9e par les Mod\u00e8les, IDM 2008 (2008)"},{"issue":"2","key":"24_CR7","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/s10270-004-0062-1","volume":"4","author":"J.G. Hall","year":"2005","unstructured":"Hall, J.G., Rapanotti, L., Jackson, M.: Problem frame semantics for software development. Software and System Modeling\u00a04(2), 189\u2013198 (2005)","journal-title":"Software and System Modeling"},{"key":"24_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/978-3-642-04468-7_25","volume-title":"Computer Safety, Reliability, and Security","author":"D. Hatebur","year":"2009","unstructured":"Hatebur, D., Heisel, M.: A foundation for requirements analysis of dependable software. In: Buth, B., Rabe, G., Seyfarth, T. (eds.) SAFECOMP 2009. LNCS, vol.\u00a05775, pp. 311\u2013325. Springer, Heidelberg (2009)"},{"key":"24_CR9","doi-asserted-by":"crossref","unstructured":"Hatebur, D., Heisel, M.: A UML profile for requirements analysis of dependable software (technical report). Technical report, Universit\u00e4t Duisburg-Essen (2010), http:\/\/swe.uni-due.de\/techrep\/depprofile.pdf","DOI":"10.1007\/978-3-642-15651-9_24"},{"key":"24_CR10","doi-asserted-by":"publisher","first-page":"356","DOI":"10.1109\/ARES.2007.12","volume-title":"IEEE Transactions Proceedings of the International Conference on Availability, Reliability and Security (AReS)","author":"D. Hatebur","year":"2007","unstructured":"Hatebur, D., Heisel, M., Schmidt, H.: A pattern system for security requirements engineering. In: Werner, B. (ed.) IEEE Transactions Proceedings of the International Conference on Availability, Reliability and Security (AReS), pp. 356\u2013365. IEEE, Los Alamitos (2007)"},{"key":"24_CR11","unstructured":"International Electrotechnical Commission IEC. Functional safety of electrical\/electronic\/programmable electronic safty-relevant systems (2000)"},{"key":"24_CR12","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, Reading (2001)"},{"key":"24_CR13","unstructured":"Lencastre, M., Botelho, J., Clericuzzi, P., Ara\u00fajo, J.: A meta-model for the problem frames approach. In: WiSME 2005: 4th Workshop in Software Modeling Engineering (2005)"},{"issue":"2","key":"24_CR14","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/s00766-007-0048-y","volume":"12","author":"R. Seater","year":"2007","unstructured":"Seater, R., Jackson, D., Gheyi, R.: Requirement progression in problem frames: deriving specifications from requirements. Requirements Engineering\u00a012(2), 77\u2013102 (2007)","journal-title":"Requirements Engineering"},{"key":"24_CR15","unstructured":"UML Revision Task Force. OMG Object Constraint Language: Reference (May 2006), http:\/\/www.omg.org\/docs\/formal\/06-05-01.pdf"},{"key":"24_CR16","unstructured":"UML Revision Task Force. OMG Systems Modeling Language (OMG SysML) (November 2008), http:\/\/www.omg.org\/spec\/SysML\/1.1\/"},{"key":"24_CR17","unstructured":"UML Revision Task Force. OMG Unified Modeling Language: Superstructure (February 2009), http:\/\/www.omg.org\/docs\/formal\/09-02-02.pdf"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15651-9_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T22:11:12Z","timestamp":1606169472000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15651-9_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642156502","9783642156519"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15651-9_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}