{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:56:23Z","timestamp":1725558983989},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540250791"},{"type":"electronic","value":"9783540318453"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-31845-3_7","type":"book-chapter","created":{"date-parts":[[2010,7,5]],"date-time":"2010-07-05T19:43:57Z","timestamp":1278359037000},"page":"78-88","source":"Crossref","is-referenced-by-count":0,"title":["Deriving Acceptance Tests from Goal Requirements"],"prefix":"10.1007","author":[{"given":"Jean-Fran\u00e7ois","family":"Molderez","sequence":"first","affiliation":[]},{"given":"Christophe","family":"Ponsard","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"IEEE\u00a0Std 610.12-1990. IEEE standard glossary of software engineering terminology (1990)"},{"issue":"1-2","key":"7_CR2","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0167-6423(93)90021-G","volume":"20","author":"A. Dardenne","year":"1993","unstructured":"Dardenne, A., van Lamsweerde, A., Fickas, S.: Goal-directed requirements acquisition. Science of Computer Programming\u00a020(1-2), 3\u201350 (1993)","journal-title":"Science of Computer Programming"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Darimont, R., van Lamsweerde, A.: Formal refinement patterns for goal-driven requirements elaboration. In: 4th ACM Symp. on the Foundations of Software Engineering, San Francisco (1996)","DOI":"10.1145\/239098.239131"},{"key":"7_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/3-540-48166-4_10","volume-title":"Software Engineering - ESEC\/FSE \u201999","author":"A. Gargantini","year":"1999","unstructured":"Gargantini, A., Heitmeyer, C.: Using model checking to generate tests from requirements specifications. In: Nierstrasz, O., Lemoine, M. (eds.) ESEC 1999 and ESEC-FSE 1999. LNCS, vol.\u00a01687, p. 146. Springer, Heidelberg (1999)"},{"key":"7_CR5","unstructured":"Havelund, K., Rosu, G.: Rewriting-based techniques for runtime verification. To appear in Journal of Automated Software Engineering (2004)"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Letier, E., van Lamsweerde, A.: Agent-based tactics for goal-oriented requirements elaboration (2002)","DOI":"10.1145\/581339.581353"},{"key":"7_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The reactive behavior of reactive and concurrent system","author":"Z. Manna","year":"1992","unstructured":"Manna, Z., Pnueli, A.: The reactive behavior of reactive and concurrent system. Springer, Heidelberg (1992)"},{"key":"7_CR8","unstructured":"The\u00a0FAUST toolbox (2004), http:\/\/faust.cetic.be"},{"key":"7_CR9","unstructured":"Van Tran, H., van Lamsweerde, A., Massonet, P., Ponsard, C.: Goal-oriented requirements animation. In: 12th IEEE Int.Req.Eng.Conf., Kyoto (September 2004)"}],"container-title":["Lecture Notes in Computer Science","Multiparadigm Programming in Mozart\/Oz"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-31845-3_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T19:18:47Z","timestamp":1559243927000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-31845-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540250791","9783540318453"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-31845-3_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}