{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:58:00Z","timestamp":1725569880059},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642169007"},{"type":"electronic","value":"9783642169014"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-16901-4_18","type":"book-chapter","created":{"date-parts":[[2010,11,8]],"date-time":"2010-11-08T12:40:06Z","timestamp":1289220006000},"page":"253-269","source":"Crossref","is-referenced-by-count":10,"title":["Making Pattern- and Model-Based Software Development More Rigorous"],"prefix":"10.1007","author":[{"given":"Denis","family":"Hatebur","sequence":"first","affiliation":[]},{"given":"Maritta","family":"Heisel","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","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":"4","key":"18_CR2","first-page":"198","volume":"152","author":"C. Choppy","year":"2005","unstructured":"Choppy, C., Hatebur, D., Heisel, M.: Architectural patterns for problem frames. IEE Proceedings \u2013 Software, Special Issue on Relating Software Requirements and Architectures\u00a0152(4), 198\u2013208 (2005)","journal-title":"IEE Proceedings \u2013 Software, Special Issue on Relating Software Requirements and Architectures"},{"key":"18_CR3","first-page":"27","volume-title":"Proc. XIII Asia Pacific Software Engineering Conference (APSEC)","author":"C. Choppy","year":"2006","unstructured":"Choppy, C., Hatebur, D., Heisel, M.: Component composition through architectural patterns for problem frames. In: Proc. XIII Asia Pacific Software Engineering Conference (APSEC), pp. 27\u201334. IEEE, Los Alamitos (2006)"},{"key":"18_CR4","first-page":"1","volume-title":"IWAAPF 2008: Proceedings of the 3rd international workshop on Applications and advances of problem frames","author":"P. Colombo","year":"2008","unstructured":"Colombo, P., del Bianco, V., Lavazza, L.: Towards the integration of SysML and problem frames. In: IWAAPF 2008: Proceedings of the 3rd international workshop on Applications and advances of problem frames, pp. 1\u20138. ACM, New York (2008)"},{"key":"18_CR5","volume-title":"Advanced C++ Programming Styles and Idioms","author":"J.O. Coplien","year":"1992","unstructured":"Coplien, J.O.: Advanced C++ Programming Styles and Idioms. Addison-Wesley, Reading (1992)"},{"key":"18_CR6","unstructured":"C\u00f4t\u00e9, I., Hatebur, D., Heisel, M., Schmidt, H., Wentzlaff, I.: A systematic account of problem frames. In: Proceedings of the European Conference on Pattern Languages of Programs (EuroPLoP 2007), Universit\u00e4tsverlag Konstanz (2008)"},{"key":"18_CR7","unstructured":"Eclipse Foundation. Eclipse - An Open Development Platform (May 2008), \n                    \n                      http:\/\/www.eclipse.org\/"},{"key":"18_CR8","unstructured":"Eclipse Foundation. Eclipse Modeling Framework Project (EMF) (May 2008), \n                    \n                      http:\/\/www.eclipse.org\/modeling\/emf\/"},{"key":"18_CR9","volume-title":"Analysis Patterns: Reusable Object Models","author":"M. Fowler","year":"1997","unstructured":"Fowler, M.: Analysis Patterns: Reusable Object Models. Addison-Wesley, Reading (1997)"},{"key":"18_CR10","volume-title":"Design Patterns \u2013 Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns \u2013 Elements of Reusable Object-Oriented Software. Addison Wesley, Reading (1995)"},{"key":"18_CR11","unstructured":"Haley, C.B.: Using problem frames with distributed architectures: A case for cardinality on interfaces. In: The Second International Software Requirements to Architectures Workshop (STRAW 2003) (May 2003)"},{"issue":"2","key":"18_CR12","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":"18_CR13","series-title":"LNCS","volume-title":"Proc. SAFECOMP 2010","author":"D. Hatebur","year":"2010","unstructured":"Hatebur, D., Heise, M.: A UML profile for requirements analysis of dependable software. In: Schoitsch, E. (ed.) Proc. SAFECOMP 2010. LNCS, vol.\u00a06351. Springer, Heidelberg (2010)"},{"key":"18_CR14","doi-asserted-by":"publisher","first-page":"356","DOI":"10.1109\/ARES.2007.12","volume-title":"Proceedings of the International Conference on Availability, Reliability and Security (AReS) IEEE Transactions","author":"D. Hatebur","year":"2007","unstructured":"Hatebur, D., Heisel, M., Schmidt, H.: A pattern system for security requirements engineering. In: Werner, B. (ed.) Proceedings of the International Conference on Availability, Reliability and Security (AReS) IEEE Transactions, pp. 356\u2013365. IEEE, Los Alamitos (2007)"},{"key":"18_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/978-3-540-87875-9_5","volume-title":"Model Driven Engineering Languages and Systems","author":"D. Hatebur","year":"2008","unstructured":"Hatebur, D., Heisel, M., Schmidt, H.: A formal metamodel for problem frames. In: Czarnecki, K., et al. (eds.) MODELS 2008. LNCS, vol.\u00a05301, pp. 68\u201382. Springer, Heidelberg (2008)"},{"key":"18_CR16","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":"18_CR17","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)"},{"key":"18_CR18","volume-title":"XUnit Test Patterns, Refactoring Test Code","author":"G. Meszaros","year":"2007","unstructured":"Meszaros, G.: XUnit Test Patterns, Refactoring Test Code. Addison-Wesley, Reading (2007)"},{"issue":"2","key":"18_CR19","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":"18_CR20","unstructured":"G\u00e9rard, S., et al.: Papyrus UML Modelling Tool (January 2010), \n                    \n                      http:\/\/www.papyusuml.org\/"},{"key":"18_CR21","volume-title":"Software Architecture. Perspectives on an Emerging Discipline","author":"M. Shaw","year":"1996","unstructured":"Shaw, M., Garlan, D.: Software Architecture. Perspectives on an Emerging Discipline. Prentice-Hall, Englewood Cliffs (1996)"},{"key":"18_CR22","unstructured":"SysML Partners. Systems Modeling Language (SysML) Specification (2005), \n                    \n                      http:\/\/www.sysml.org"},{"key":"18_CR23","unstructured":"UML Revision Task Force. OMG Object Constraint Language: Reference (May 2006), \n                    \n                      http:\/\/www.omg.org\/docs\/formal\/06-05-01.pdf"},{"key":"18_CR24","unstructured":"UML Revision Task Force. OMG Systems Modeling Language (OMG SysML) (November 2008), \n                    \n                      http:\/\/www.omg.org\/spec\/SysML\/1.1\/"},{"key":"18_CR25","unstructured":"UML Revision Task Force. OMG Unified Modeling Language: Superstructure (February 2009), \n                    \n                      http:\/\/www.omg.org\/docs\/formal\/09-02-02.pdf"},{"key":"18_CR26","unstructured":"UML Revision Task Force. UML Profile for Modeling and Analysis of Real-time and Embedded Systems (MARTE) (November 2009), \n                    \n                      http:\/\/www.omg.org\/docs\/formal\/formal\/2009-11-02.pdf"},{"key":"18_CR27","unstructured":"van Lamsweerde, A.: From worlds to machines. In: A Tribute to Michael Jackson, Lulu Press (2009)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16901-4_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,21]],"date-time":"2019-03-21T23:46:44Z","timestamp":1553212004000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16901-4_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642169007","9783642169014"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16901-4_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}