{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T14:16:30Z","timestamp":1742393790772},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2005,5,1]],"date-time":"2005-05-01T00:00:00Z","timestamp":1114905600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2005,5]]},"DOI":"10.1007\/s10270-004-0062-1","type":"journal-article","created":{"date-parts":[[2004,7,28]],"date-time":"2004-07-28T12:32:21Z","timestamp":1091017941000},"page":"189-198","source":"Crossref","is-referenced-by-count":44,"title":["Problem frame semantics for software development"],"prefix":"10.1007","volume":"4","author":[{"given":"Jon G.","family":"Hall","sequence":"first","affiliation":[]},{"given":"Lucia","family":"Rapanotti","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Jackson","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,1]]},"reference":[{"key":"62_CR1","doi-asserted-by":"crossref","unstructured":"Bjorner D, Koussoube S, Noussi R, Satchok G (1997) 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. IEEE Computer Society Press","DOI":"10.1109\/ICFEM.1997.630433"},{"key":"62_CR2","unstructured":"Dieste O, Silva A (2000) Requirements: Closing the gap between domain and computing knowledge. In: Proceedings of SCI2000, Vol. II (Information Systems Development)"},{"key":"62_CR3","unstructured":"Evans A, Bruel J-M, France R, Lano K, Rumpe B (1998) Making UML precise. In: Andrade L, Moreira A, Deshpande A, Kent S (eds) Proceedings of the OOPSLA\u201998 Workshop on Formalizing UML. Why? How?"},{"key":"62_CR4","unstructured":"Gamma E, Helm R, Johnson R, Vlissides J (1995) Design Patterns. Addison-Wesley"},{"key":"62_CR5","first-page":"37","volume":"3","author":"Gunter","year":"2000","unstructured":"Gunter C, Gunter E, Jackson M, Zave P (2000) A reference model for requirements and specifications. IEEE Software 3(17):37\u201343","journal-title":"IEEE Software"},{"key":"62_CR6","doi-asserted-by":"crossref","unstructured":"Hall JG, Rapanotti L (2003) A Reference Model for Requirements Engineering. In: Proceedings of the 11th International Joint Conference of Requirements Engineering","DOI":"10.1109\/ICRE.2003.1232749"},{"key":"62_CR7","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1145\/235321.235322","volume":"5","author":"Harel","year":"1996","unstructured":"Harel D, Naamad A (1996) The STATEMATE semantics of statecharts. ACM Transactions on Software Engineering and Methodology 5(4):293\u2013333","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"62_CR8","unstructured":"Jackson M (1995) Software Requirements & Specifications: a Lexicon of Practice, Principles, and Prejudices. Addison-Wesley"},{"key":"62_CR9","unstructured":"Jackson M (2001) Problem Frames. Addison-Wesley"},{"key":"62_CR10","doi-asserted-by":"crossref","unstructured":"Konrad S, Cheng BH (2002) Requirements patterns for embedded systems. In: IEEE Joint International Conference on Requirements Engineering","DOI":"10.1109\/ICRE.2002.1211541"},{"key":"62_CR11","doi-asserted-by":"publisher","first-page":"586","DOI":"10.1007\/BF03259387","volume":"6","author":"Larsen","year":"1994","unstructured":"Larsen PG, Plat N, Toetenel H (1994) A formal semantics of data flow diagrams. Formal Aspects of Computing 6(6):586\u2013606","journal-title":"Formal Aspects of Computing"},{"key":"62_CR12","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1145\/7474.7528","volume":"18","author":"Leveson","year":"1986","unstructured":"Leveson N (1986) Software safety: why, what and how. ACM Computing Survey 18(2):125\u2013163","journal-title":"ACM Computing Survey"},{"key":"62_CR13","unstructured":"Morgan C (1990) Programming from Specifications. Prentice-Hall International"},{"key":"62_CR14","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1145\/203241.203251","volume":"38","author":"Petre","year":"1995","unstructured":"Petre M (1995) Why looking isn\u2019t always seeing: readership skills and graphical programming. Commun. ACM 38(6):33\u201344","journal-title":"ACM"},{"key":"62_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/237432.237434","volume":"6","author":"Zave","year":"1997","unstructured":"Zave P, Jackson M (1997) Four dark corners of requirements engineering. ACM Transactions on Software Engineering and Methodology 6(1):1\u201330, January","journal-title":"ACM Transactions on Software Engineering and Methodology"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-004-0062-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-004-0062-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-004-0062-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T11:55:22Z","timestamp":1559130922000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-004-0062-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,5]]},"references-count":15,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2005,5]]}},"alternative-id":["62"],"URL":"https:\/\/doi.org\/10.1007\/s10270-004-0062-1","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,5]]}}}