{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T17:33:23Z","timestamp":1743010403517,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642251252"},{"type":"electronic","value":"9783642251269"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-25126-9_77","type":"book-chapter","created":{"date-parts":[[2011,10,29]],"date-time":"2011-10-29T02:43:52Z","timestamp":1319856232000},"page":"632-636","source":"Crossref","is-referenced-by-count":0,"title":["Towards a Development Framework Based on Behavior Recombination"],"prefix":"10.1007","author":[{"given":"Houman","family":"Younessi","sequence":"first","affiliation":[]},{"given":"Renaud","family":"Pawlak","sequence":"additional","affiliation":[]},{"given":"Carlos E.","family":"Cuesta","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"77_CR1","unstructured":"Beck, K.: Test-driven Development by Example. Addison-Wesley (2003)"},{"key":"77_CR2","unstructured":"B\u00fcchi, J.R.: On a decision method in restricted second order arithmetic. In: Proceedings of the International Congress on Logic, Method, and Philosophy of Science, pp. 1\u201312. Stanford University Press (1960)"},{"key":"77_CR3","doi-asserted-by":"crossref","unstructured":"Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems\u00a08(2) (1986)","DOI":"10.1145\/5397.5399"},{"key":"77_CR4","unstructured":"Crispin, L., Gregory, J.: Agile Testing: A Practical Guide for Testers and Agile Teams. Addison-Wesley (2009)"},{"key":"77_CR5","doi-asserted-by":"crossref","unstructured":"Douence, R., Motelet, O., S\u00fcdholt, M.: A formal definition of crosscuts. In: Proceedings of the 3rd International Conference on Reflection and Crosscutting Concerns. LNCS (2001)","DOI":"10.1007\/3-540-45429-2_13"},{"key":"77_CR6","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G.J. Holzmann","year":"1997","unstructured":"Holzmann, G.J.: The model checker SPIN. IEEE Transactions on Software Engineering\u00a023, 279\u2013295 (1997)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"77_CR7","unstructured":"Jacobson, I., Christerson, M., Jonsson, P., \u00d6vergaard, G.: Object-Oriented Software Engineering - A Use Case Driven Approach. Addison-Wesley (1992)"},{"key":"77_CR8","unstructured":"Ossher, H., Tarr, P.: Multi-dimensional separation of concerns in hyperspace. Technical Report Research Paper RC21452, IBM Thomas J. Watson Research Center; Yorktown Heights; New York (April 1999)"},{"key":"77_CR9","unstructured":"Pawlak, R., Cuesta, C.E., Younessi, H.: Recombinant programming. Technical Report Research Report; Report No: 5380, INRIA (May 2006)"},{"key":"77_CR10","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: Proceedings of the 18th Annual Symposium on Foundations of Computer Science (FOCS), pp. 46\u201357 (1977)","DOI":"10.1109\/SFCS.1977.32"},{"key":"77_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/10722167_21","volume-title":"Computer Aided Verification","author":"F. Somenzi","year":"2000","unstructured":"Somenzi, F., Bloem, R.: Efficient B\u00fcchi Automata from LTL Formulae. In: Emerson, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, vol.\u00a01855, pp. 247\u2013263. Springer, Heidelberg (2000)"},{"key":"77_CR12","volume-title":"Component Software: Beyond Object-Oriented Programming","author":"C. Szyperski","year":"2002","unstructured":"Szyperski, C.: Component Software: Beyond Object-Oriented Programming, 2nd edn. Addison-Wesley Professional, Boston (2002)","edition":"2"},{"key":"77_CR13","doi-asserted-by":"crossref","unstructured":"Tekinerdogan, B., Aksit, M.: Classifying and evaluating architecture design methods. In: Aksit, M. (ed.) Software Architectures and Component Technology: The State of the Art in Research and Practice, pp. 3\u201327. Kluwer Academic Publishers (October 2001)","DOI":"10.1007\/978-1-4615-0883-0_1"},{"issue":"2","key":"77_CR14","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/S0164-1212(01)00152-2","volume":"61","author":"J. Gurp van","year":"2002","unstructured":"van Gurp, J., Bosch, J.: Design erosion: Problems and causes. Journal of Systems and Software\u00a061(2), 105\u2013119 (2002)","journal-title":"Journal of Systems and Software"}],"container-title":["Lecture Notes in Computer Science","On the Move to Meaningful Internet Systems: OTM 2011 Workshops"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-25126-9_77","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T20:30:46Z","timestamp":1558297846000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-25126-9_77"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642251252","9783642251269"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-25126-9_77","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}