{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:40:03Z","timestamp":1750308003719,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":14,"publisher":"ACM","license":[{"start":{"date-parts":[[2006,5,23]],"date-time":"2006-05-23T00:00:00Z","timestamp":1148342400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,5,23]]},"DOI":"10.1145\/1138670.1138681","type":"proceedings-article","created":{"date-parts":[[2006,7,24]],"date-time":"2006-07-24T16:53:01Z","timestamp":1153759981000},"page":"65-70","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["From requirements to specifications"],"prefix":"10.1145","author":[{"given":"Zhi","family":"Li","sequence":"first","affiliation":[{"name":"The Open University, Milton Keynes, UK"}]},{"given":"Jon G.","family":"Hall","sequence":"additional","affiliation":[{"name":"The Open University, Milton Keynes, UK"}]},{"given":"Lucia","family":"Rapanotti","sequence":"additional","affiliation":[{"name":"The Open University, Milton Keynes, UK"}]}],"member":"320","published-online":{"date-parts":[[2006,5,23]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-004-0062-1"},{"key":"e_1_3_2_1_2_1","volume-title":"Communicating Sequential Processes","author":"Hoare C. A. R.","year":"1985","unstructured":"C. A. R. Hoare . Communicating Sequential Processes . Prentice-Hall International , 1985 . C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall International, 1985."},{"key":"e_1_3_2_1_3_1","volume-title":"Problem Frames: Analyzing and Structuring Software Development Problem","author":"Jackson M. A.","year":"2001","unstructured":"M. A. Jackson . Problem Frames: Analyzing and Structuring Software Development Problem . Addison-Wesley Publishing Company , 1 st edition, 2001 . M. A. Jackson. Problem Frames: Analyzing and Structuring Software Development Problem. Addison-Wesley Publishing Company, 1st edition,2001.","edition":"1"},{"key":"e_1_3_2_1_4_1","first-page":"56","volume-title":"Proceedings of the 1st IEEE International Symposiumon Requirements Engineering","author":"Jackson M. A.","year":"1993","unstructured":"M. A. Jackson and P. Zave . Domain descriptions . In Proceedings of the 1st IEEE International Symposiumon Requirements Engineering , pages 56 -- 64 . IEEE CS Press , 1993 . M. A. Jackson and P. Zave. Domain descriptions. In Proceedings of the 1st IEEE International Symposiumon Requirements Engineering, pages 56--64. IEEE CS Press, 1993."},{"key":"e_1_3_2_1_5_1","first-page":"381","volume-title":"Proceedings 4th Nordic Transputer Conference: Parallel Programming and Applications","author":"Lai L.","year":"1995","unstructured":"L. Lai and J. W. Sanders . A weakest-environment calculus for communicating systems. In F. Fritzson and L. Finmo, editors , Proceedings 4th Nordic Transputer Conference: Parallel Programming and Applications , pages 381 -- 395 . IOS Press, Ohmsha , 1995 . L. Lai and J. W. Sanders. A weakest-environment calculus for communicating systems. In F. Fritzson and L. Finmo, editors, Proceedings 4th Nordic Transputer Conference: Parallel Programming and Applications, pages 381--395. IOS Press, Ohmsha,1995."},{"key":"e_1_3_2_1_6_1","volume-title":"Proceedings of the 1st Irish Workshop on Formal Methods","author":"Lai L.","year":"1997","unstructured":"L. Lai and J. W. Sanders . A refinement calculus for communicating processes with state. In H. McGloughlin and G. O'Regan, editors , Proceedings of the 1st Irish Workshop on Formal Methods , Dublin , 1997 . L. Lai and J. W. Sanders. A refinement calculus for communicating processes with state. In H. McGloughlin and G. O'Regan, editors, Proceedings of the 1st Irish Workshop on Formal Methods, Dublin, 1997."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008605412971"},{"key":"e_1_3_2_1_8_1","volume-title":"Introduction to Mathematical Logic","author":"Mendelson E.","year":"1997","unstructured":"E. Mendelson . Introduction to Mathematical Logic . Chapman & Hall , 1997 . E. Mendelson. Introduction to Mathematical Logic. Chapman & Hall, 1997."},{"key":"e_1_3_2_1_9_1","volume-title":"Programming from Specifications","author":"Morgan C.","year":"1994","unstructured":"C. Morgan . Programming from Specifications . Prentice Hall International Series in Computer Science. Prentice-Hall International , 1994 . C. Morgan. Programming from Specifications. Prentice Hall International Series in Computer Science. Prentice-Hall International, 1994."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/1018443.1022096"},{"key":"e_1_3_2_1_11_1","first-page":"249","volume-title":"Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE2001)","author":"van Lamsweerde A.","year":"2001","unstructured":"A. van Lamsweerde . Goal-oriented requirements engineering: A guided tour . In Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE2001) , pages 249 -- 263 , Toronto , 2001 . 27-31 August 2001. A. van Lamsweerde. Goal-oriented requirements engineering: A guided tour. In Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE2001), pages 249--263, Toronto, 2001. 27-31 August 2001."},{"key":"e_1_3_2_1_12_1","volume-title":"Towards modeling and reasoning support for early-phase requirements engineering. Technical report","author":"Yu E. S. K.","year":"1997","unstructured":"E. S. K. Yu . Towards modeling and reasoning support for early-phase requirements engineering. Technical report , Faculty of Information Studies, University of Toronto , 1997 . E. S. K. Yu. Towards modeling and reasoning support for early-phase requirements engineering. Technical report, Faculty of Information Studies, University of Toronto, 1997."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/237432.237434"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/158431.158438"}],"event":{"name":"ICSE06: International Conference on Software Engineering","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Shanghai China","acronym":"ICSE06"},"container-title":["Proceedings of the 2006 international workshop on Advances and applications of problem frames"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1138670.1138681","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1138670.1138681","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T15:06:28Z","timestamp":1750259188000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1138670.1138681"}},"subtitle":["a formal approach"],"short-title":[],"issued":{"date-parts":[[2006,5,23]]},"references-count":14,"alternative-id":["10.1145\/1138670.1138681","10.1145\/1138670"],"URL":"https:\/\/doi.org\/10.1145\/1138670.1138681","relation":{},"subject":[],"published":{"date-parts":[[2006,5,23]]},"assertion":[{"value":"2006-05-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}