{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,25]],"date-time":"2026-02-25T12:58:50Z","timestamp":1772024330515,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540330936","type":"print"},{"value":"9783540330943","type":"electronic"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"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":[[2006]]},"DOI":"10.1007\/11693017_16","type":"book-chapter","created":{"date-parts":[[2006,3,28]],"date-time":"2006-03-28T13:39:54Z","timestamp":1143553194000},"page":"199-213","source":"Crossref","is-referenced-by-count":21,"title":["Combining Problem Frames and UML in the Description of Software Requirements"],"prefix":"10.1007","author":[{"given":"Luigi","family":"Lavazza","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vieri","family":"Del Bianco","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","unstructured":"Jackson, M.: Problem Frames - analysing and structuring software development problems. Addison-Wesley ACM Press (2001)"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Hall, J.G., Jackson, M., Laney, R.C., Nuseibeh, B., Rapanotti, L.: Relating Software Requirements and Architectures using Problem Frames. In: Proc. of RE 2002, Essen (September 2002)","DOI":"10.1109\/ICRE.2002.1048516"},{"key":"16_CR3","unstructured":"Lavazza, L., Morasca, S., Morzenti, A.: A Dual Language Approach to the Development of Time-Critical Systems with UML. In: Proc. of TACoS (Int. Workshop on Test and Analysis of Component Based Systems), Barcelona (March 27\u201328, 2004)"},{"key":"16_CR4","unstructured":"OMG, Unified Modeling Language: Superstructure v. 2.0, formal\/05-07-04 (August 2005)"},{"key":"16_CR5","unstructured":"Lavazza, L.: Rigorous Description of Software Requirements with UML. In: 15th Int. Conf. on Software Engineering and Knowledge Engineering (SEKE 2003), San Francisco (July 2003)"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"Heaven, W., Finkelstein, A.: A UML Profile to Support Requirements Engineering with KAOS. In: IEE Proceedings \u2013 Software, vol.\u00a0151(1) (February 2004)","DOI":"10.1049\/ip-sen:20040297"},{"key":"16_CR7","unstructured":"Kovitz, B.: Practical Software Requirements. Manning Publications (1999)"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Choppy, C., Reggio, G.: A UML-Based Method for the Commanded Behavior Frame. In: 1st International Workshop on Advances and Applications of Problem Frames, co-located with 26th ICSE, Edinburgh (May 2004)","DOI":"10.1049\/ic:20040221"},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"Lavazza, L., Del Bianco, V.: A UML-based Approach for Representing Problem Frames. In: 1st International Workshop on Advances and Applications of Problem Frame, co-located with 26th ICSE, Edinburgh (May 2004)","DOI":"10.1049\/ic:20040223"},{"key":"16_CR10","volume-title":"Real-Time Object-Oriented Modeling","author":"B. Selic","year":"1994","unstructured":"Selic, B., Gullekson, G., Ward, P.T.: Real-Time Object-Oriented Modeling. Wiley, Chichester (1994)"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Konrad, S., Cheng, B.: Requirements Patterns for Embebed Systems. In: IEEE Joint International Conference on Requirements Engineering, Essen, Germany (2002)","DOI":"10.1109\/ICRE.2002.1211541"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"Bj\u00f8rner, D., Koussoube, S., Noussi, R., Satchok, G.: Michael Jackson\u2019s Problem Frames: Towards Methodological Principles of Selecting and Applying Formal Software Development Techniques and Tools. In: 1st IEEE International Conference on Formal Engineering Methods, Hiroshima (1997)","DOI":"10.1109\/ICFEM.1997.630433"},{"key":"16_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-44616-3_7","volume-title":"Recent Trends in Algebraic Development Techniques","author":"C. Choppy","year":"2000","unstructured":"Choppy, C., Reggio, G.: Using CASL to Specify the Requirements and the Design: A Problem Specific Approach. In: Bert, D., Choppy, C., Mosses, P.D. (eds.) WADT 1999. LNCS, vol.\u00a01827, Springer, Heidelberg (2000)"},{"key":"16_CR14","volume-title":"Problem frame semantics for software development, Software and Systems Modeling","author":"J. Hall","year":"2005","unstructured":"Hall, J., Rapanotti, L., Jackson, M.: Problem frame semantics for software development, Software and Systems Modeling, vol.\u00a04(2). Springer, Heidelberg (2005)"},{"key":"16_CR15","doi-asserted-by":"crossref","unstructured":"Gunter, C.A., Gunter, E.L., Jackson, M., Zave, P.: A Reference Model for Requirements and Specifications. IEEE Software\u00a017(3) (May-June, 2000)","DOI":"10.1109\/52.896248"},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"Jacobson, I.: Object-Oriented Development In an Industrial Environment. In: Proc. of OOPSLA (1987)","DOI":"10.1145\/38765.38824"},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"Glinz, M.: Problems and Deficiencies of UML as a Requirements Specification Language. In: Proc. of the 10th IWSPD, San Diego (November 2000)","DOI":"10.1109\/IWSSD.2000.891122"},{"key":"16_CR18","unstructured":"Hurlbut, R.R.: A Survey of Approaches For Describing and Formalizing Use Cases, http:\/\/www.iit.edu\/~rhurlbut\/xpt-tr-97-03.html"},{"key":"16_CR19","unstructured":"OMG, OCL 2.0 Specification V. 2.0, ptc\/2005-06-06 (June 2005)"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11693017_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,17]],"date-time":"2019-04-17T17:16:57Z","timestamp":1555521417000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11693017_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540330936","9783540330943"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/11693017_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}