{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:57:13Z","timestamp":1725544633069},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540340638"},{"type":"electronic","value":"9783540340645"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"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":[[2006]]},"DOI":"10.1007\/11751113_2","type":"book-chapter","created":{"date-parts":[[2006,5,17]],"date-time":"2006-05-17T05:06:08Z","timestamp":1147842368000},"page":"2-17","source":"Crossref","is-referenced-by-count":0,"title":["Using Stepwise Feature Introduction in Practice: An Experience Report"],"prefix":"10.1007","author":[{"given":"Ralph-Johan","family":"Back","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Johannes","family":"Eriksson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luka","family":"Milovanov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/3-540-45648-1_9","volume-title":"ZB 2002: Formal Specification and Development in Z and B","author":"R.J. Back","year":"2002","unstructured":"Back, R.J.: Software construction by stepwise feature introduction. In: Bert, D., Bowen, J.P., Henson, M.C., Robinson, K. (eds.) B 2002 and ZB 2002. LNCS, vol.\u00a02272, pp. 162\u2013183. Springer, Heidelberg (2002)"},{"key":"2_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-1674-2","volume-title":"Refinement Calculus: A Systematic Introduction","author":"R.J.J. Back","year":"1998","unstructured":"Back, R.J.J., Akademi, A., Wright, J.V.: Refinement Calculus: A Systematic Introduction. Springer-Verlag New York, Inc., Secaucus (1998)"},{"key":"2_CR3","unstructured":"Back, R.J.: Incremental software construction with refinement diagrams. Technical Report 660, TUCS \u2013 Turku Centre for Computer Science, Turku, Finland (2005)"},{"key":"2_CR4","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1007\/BF01214918","volume":"8","author":"R.J. Back","year":"1996","unstructured":"Back, R.J., Sere, K.: Superposition refinement of reactive systems. Formal Aspects of Computing\u00a08, 324\u2013346 (1996)","journal-title":"Formal Aspects of Computing"},{"key":"2_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"414","DOI":"10.1007\/11497455_33","volume-title":"Product Focused Software Process Improvement","author":"R.J. Back","year":"2005","unstructured":"Back, R.J., Milovanov, L., Porres, I.: Software development and experimentation in an academic environment: The Gaudi experience. In: Bomarius, F., Komi-Sirvi\u00f6, S. (eds.) PROFES 2005. LNCS, vol.\u00a03547, pp. 414\u2013428. Springer, Heidelberg (2005)"},{"key":"2_CR6","series-title":"The XP Series","volume-title":"Extreme Programming Explained: Embrace Change","author":"K. Beck","year":"1999","unstructured":"Beck, K.: Extreme Programming Explained: Embrace Change. The XP Series. Addison-Wesley, Reading (1999)"},{"key":"2_CR7","unstructured":"Anttila, H., Back, R.J., Ketola, P., Konkka, K., Leskela, J., Rys\u00e4, E.: Coping with increasing SW complexity - combining stepwise feature introduction with user-centric design. In: Human Computer Interaction, International Conference (HCII 2003), Crete, Greece (2003)"},{"key":"2_CR8","unstructured":"Back, R.J., Milovanov, L., Porres, I., Preoteasa, V.: An experiment on extreme programming and stepwise feature introduction. Technical Report 451, TUCS \u2013 Turku Centre for Computer Science, Turku, Finland (2002)"},{"key":"2_CR9","volume-title":"Programming Python","author":"M. Lutz","year":"1996","unstructured":"Lutz, M.: Programming Python. O\u2019Reily, Sebastopol (1996)"},{"key":"2_CR10","unstructured":"Eriksson, J.: Development of a mathematical derivation editor. Master\u2019s thesis, \u00c5bo Akademi University, Department of Computer Science (2004)"},{"key":"2_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1007\/978-3-540-45221-8_9","volume-title":"\u00abUML\u00bb 2003 - The Unified Modeling Language. Modeling Languages and Applications","author":"R.J. Back","year":"2003","unstructured":"Back, R.J., Bj\u00f6rklund, D., Lilius, J., Milovanov, L., Porres, I.: A workbench to experiment on new model engineering applications. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol.\u00a02863, pp. 96\u2013100. Springer, Heidelberg (2003)"},{"key":"2_CR12","volume-title":"Object-Oriented Software Construction","author":"B. Meyer","year":"1997","unstructured":"Meyer, B.: Object-Oriented Software Construction, 2nd edn. Prentice Hall, Englewood Cliffs (1997)","edition":"2"},{"key":"2_CR13","volume-title":"Proceedings of the 30th EUROMICRO Conference","author":"R.J. Back","year":"2004","unstructured":"Back, R.J., Hirkman, P., Milovanov, L.: Evaluating the XP customer model and design by contract. In: Proceedings of the 30th EUROMICRO Conference. IEEE Computer Society, Los Alamitos (2004)"},{"key":"2_CR14","volume-title":"Eiffel: The Language","author":"B. Meyer","year":"1992","unstructured":"Meyer, B.: Eiffel: The Language, 2nd edn. Prentice Hall, Englewood Cliffs (1992)","edition":"2"},{"key":"2_CR15","unstructured":"Back, R.J., Milovanov, L., Porres, I., Preoteasa, V.: XP as a framework for practical software engineering experiments. In: Proceedings of the Third International Conference on eXtreme Programming and Agile Processes in Software Engineering - XP 2002(2002)"},{"key":"2_CR16","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1145\/209866.209871","volume":"6","author":"G.B. Singh","year":"1995","unstructured":"Singh, G.B.: Single versus multiple inheritance in object oriented programming. SIGPLAN OOPS Mess.\u00a06, 30\u201339 (1995)","journal-title":"SIGPLAN OOPS Mess."},{"key":"2_CR17","unstructured":"Simionato, M.: The Python 2.3 method resolution order (2003), \n                  \n                    http:\/\/www.python.org\/2.3\/mro.html"},{"key":"2_CR18","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1995)"},{"key":"2_CR19","unstructured":"Institute of Electrical and Electronics\u00a0Engineers: IEEE Standard Computer Dictionary: A Compilation of IEEE Standard Computer Glossaries. New York (1990)"},{"key":"2_CR20","unstructured":"Beck, K., Gamma, E.: Test-Infected: Programmers Love Writing Tests. Java Report, 37\u201350 (1998)"},{"key":"2_CR21","unstructured":"Purcell, S.: PyUnit (2004), \n                  \n                    http:\/\/pyunit.sourceforge.net\/"},{"key":"2_CR22","unstructured":"Bezault, E.: Gobo Eiffel Test (2001), \n                  \n                    http:\/\/www.gobosoft.com\/eiffel\/gobo\/getest\/"}],"container-title":["Lecture Notes in Computer Science","Rapid Integration of Software Engineering Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11751113_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,12]],"date-time":"2019-03-12T00:40:49Z","timestamp":1552351249000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11751113_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540340638","9783540340645"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/11751113_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}