{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,24]],"date-time":"2025-02-24T05:25:17Z","timestamp":1740374717229,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642150562"},{"type":"electronic","value":"9783642150579"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"tdm","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-15057-9_7","type":"book-chapter","created":{"date-parts":[[2010,8,11]],"date-time":"2010-08-11T07:01:15Z","timestamp":1281510075000},"page":"97-111","source":"Crossref","is-referenced-by-count":9,"title":["An Approach of Requirements Tracing in Formal Refinement"],"prefix":"10.1007","author":[{"given":"Michael","family":"Jastram","sequence":"first","affiliation":[]},{"given":"Stefan","family":"Hallerstede","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Leuschel","sequence":"additional","affiliation":[]},{"suffix":"Jr","given":"Aryldo G.","family":"Russo","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","volume-title":"The B-Book: Assigning Programs to Meanings","author":"J.-R. Abrial","year":"2005","unstructured":"Abrial, J.-R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (2005)"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Abrial, J.-R.: Formal Methods in Industry: Achievements, Problems, Future. In: Proc. of the 28th Int. Conf. on Software Engineering, pp. 761\u2013768 (2006)","DOI":"10.1145\/1134285.1134406"},{"key":"7_CR3","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139195881","volume-title":"Modeling in Event-B: System and Software Engineering","author":"J.-R. Abrial","year":"2010","unstructured":"Abrial, J.-R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)"},{"key":"7_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"588","DOI":"10.1007\/11901433_32","volume-title":"Formal Methods and Software Engineering","author":"J.-R. Abrial","year":"2006","unstructured":"Abrial, J.-R., Butler, M., Hallerstede, S., Voisin, L.: An open extensible tool environment for Event-B. In: Liu, Z., He, J. (eds.) ICFEM 2006. LNCS, vol.\u00a04260, pp. 588\u2013605. Springer, Heidelberg (2006)"},{"issue":"1","key":"7_CR5","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1016\/S0167-6423(01)00026-0","volume":"42","author":"D.M. Berry","year":"2002","unstructured":"Berry, D.M.: Formal Methods: The Very Idea \u2013 Some Thoughts About Why They Work When They Work. Science of Computer Programming\u00a042(1), 11\u201327 (2002)","journal-title":"Science of Computer Programming"},{"key":"7_CR6","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1007\/978-3-540-68679-8_18","volume-title":"Concurrency, Graphs and Models: Essays dedicated to Ugo Montanari on the Occasion of his 65th Birthday","author":"D. Bj\u00f8rner","year":"2008","unstructured":"Bj\u00f8rner, D.: From Domain to Requirements. In: Concurrency, Graphs and Models: Essays dedicated to Ugo Montanari on the Occasion of his 65th Birthday, pp. 278\u2013300. Springer, Heidelberg (2008)"},{"key":"7_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-18216-7","volume-title":"Abstract State Machines: A Method for High-Level System Design and Analysis","author":"E. B\u00f6rger","year":"2003","unstructured":"B\u00f6rger, E., St\u00e4rk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003)"},{"key":"7_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/978-3-642-00255-7_2","volume-title":"Integrated Formal Methods","author":"M. Butler","year":"2009","unstructured":"Butler, M.: Decomposition Structures for Event-B. In: Leuschel, M., Wehrheim, H. (eds.) IFM 2009. LNCS, vol.\u00a05423, pp. 20\u201338. Springer, Heidelberg (2009)"},{"key":"7_CR9","first-page":"612","volume-title":"Proc. of the 19th Int. Conf. on Software Engineering","author":"R. Darimont","year":"1997","unstructured":"Darimont, R., Delor, E., Massonet, P., van Lamsweerde, A.: GRAIL\/KAOS: An Environment for Goal-Driven Requirements Engineering. In: Proc. of the 19th Int. Conf. on Software Engineering, pp. 612\u2013613. ACM, New York (1997)"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Gotel, O., Finkelstein, A.: An Analysis of the Requirements Traceability Problem. In: Proc. of the First Int. Conf. on Requirements Engineering, pp. 94\u2013101 (1994)","DOI":"10.1109\/ICRE.1994.292398"},{"key":"7_CR11","first-page":"37","volume":"17","author":"C.A. Gunter","year":"2000","unstructured":"Gunter, C.A., Jackson, M., Gunter, E.L., Zave, P.: A Reference Model for Requirements and Specifications. IEEE Software\u00a017, 37\u201343 (2000)","journal-title":"IEEE Software"},{"key":"7_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1007\/978-3-642-04912-5_8","volume-title":"TFM","author":"S. Hallerstede","year":"2009","unstructured":"Hallerstede, S., Leuschel, M.: How to Explain Mistakes. In: Gibbons, J., Oliveira, J.N. (eds.) TFM 2009. LNCS, vol.\u00a05846, pp. 105\u2013124. Springer, Heidelberg (2009)"},{"key":"7_CR13","volume-title":"Unifying Theories of Programming","author":"C.A.R. Hoare","year":"1998","unstructured":"Hoare, C.A.R., He, J.: Unifying Theories of Programming. Prentice-Hall, Englewood Cliffs (1998)"},{"key":"7_CR14","unstructured":"Jackson, M.: Problem Frames: Analysing and Structuring Software Development Problems. Addison-Wesley\/ACM Press (2001)"},{"key":"7_CR15","unstructured":"Jastram, M.: Requirements Traceability. Technical report, U. Southampton (2009)"},{"key":"7_CR16","volume-title":"Systematic Software Development Using VDM","author":"C.B. Jones","year":"1990","unstructured":"Jones, C.B.: Systematic Software Development Using VDM. Prentice-Hall, Englewood Cliffs (1990)"},{"issue":"2","key":"7_CR17","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/s10009-007-0063-9","volume":"10","author":"M. Leuschel","year":"2008","unstructured":"Leuschel, M., Butler, M.: ProB: An Automated Analysis Toolset for the B Method. Int. Journal on Software Tools for Technology Transfer\u00a010(2), 185\u2013203 (2008)","journal-title":"Int. Journal on Software Tools for Technology Transfer"},{"key":"7_CR18","unstructured":"Loesch, F., Gmehlich, R., Grau, K., Jones, C., Mazzara, M.: Report on Pilot Deployment in Automotive Sector. Technical Report\u00a0D7, DEPLOY Project (2010)"},{"key":"7_CR19","unstructured":"Marincic, J., Wupper, H., Mader, A.H., Wieringa, R.J.: Obtaining Formal Models Through Non-Monotonic Refinement (2007)"},{"issue":"1","key":"7_CR20","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/0167-6423(95)96871-J","volume":"25","author":"D.L. Parnas","year":"1995","unstructured":"Parnas, D.L., Madey, J.: Functional Documents for Computer Systems. Science of Computer programming\u00a025(1), 41\u201361 (1995)","journal-title":"Science of Computer programming"},{"key":"7_CR21","doi-asserted-by":"crossref","unstructured":"Plagge, D., Leuschel, M.: Seven at One Stroke: LTL Model Checking for High-Level Specifications in B, Z, CSP, and More. Int. Journal on Software Tools for Technology Transfer\u00a0(1) (2008)","DOI":"10.1007\/s10009-009-0132-3"},{"key":"7_CR22","unstructured":"Praxis: Reveal \u2013 A Keystone of Modern Systems Engineering. Technical report (2003)"}],"container-title":["Lecture Notes in Computer Science","Verified Software: Theories, Tools, Experiments"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15057-9_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,24]],"date-time":"2025-02-24T02:53:20Z","timestamp":1740365600000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15057-9_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642150562","9783642150579"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15057-9_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}