http://www.bibsonomy.org/burst/user/evol/logicBibSonomy BuRST Feed for /user/evol/logic2008-09-06T20:28:49+02:00http://www.bibsonomy.org/bibtex/2fce2a2c0a0c673b0dabe44d046074e21/evolevol2007-09-26T14:23:08+02:00language logic programming declarative <span style="color:#555555;">Michael <a href="http://www.bibsonomy.org/author/Downward">Downward</a> </span><em>Taylor and Francis, </em>(<em>1998</em>)Wed Sep 26 14:23:08 CEST 2007Logic and Declarative Language1998language logic programming declarative The entire bibliography of the book "Software Evolution" co-edited by Tom Mens and Serge Demeyer, published by Springer in 2008http://www.bibsonomy.org/bibtex/2c99af9b9f11d21e7a7aa746bfc490ae1/evolevol2007-09-26T10:37:27+02:00logic object-oriented meta co-evolution programming <span style="color:#555555;">Roel <a href="http://www.bibsonomy.org/author/Wuyts">Wuyts</a> </span><em>Department of Computer Science, Vrije Universiteit Brussel, </em><em>January2001. </em>Wed Sep 26 10:37:27 CEST 2007JanuaryA Logic Meta-Programming Approach to Support the Co-Evolution of Object-Oriented Design and Implementation2001logic object-oriented meta co-evolution programming The entire bibliography of the book "Software Evolution" co-edited by Tom Mens and Serge Demeyer, published by Springer in 2008http://www.bibsonomy.org/bibtex/2fae59103894ddc77ece51d6063f92790/evolevol2007-09-26T10:37:27+02:00evolution programming meta logic refactoring software <span style="color:#555555;">Tom <a href="http://www.bibsonomy.org/author/Tourw\&#039;e">Tourw'e</a> und Tom <a href="http://www.bibsonomy.org/author/Mens">Mens</a> </span><em>Proc. European Conf. Software Maintenance and Reengineering (CSMR), </em><em>Seite91--100. </em><em>IEEE Computer Society Press, </em><em>March2003. </em>Wed Sep 26 10:37:27 CEST 2007 Proc. European Conf. Software Maintenance and Reengineering ({CSMR})March91--100Identifying Refactoring Opportunities Using Logic Meta Programming2003evolution programming meta logic refactoring software The entire bibliography of the book "Software Evolution" co-edited by Tom Mens and Serge Demeyer, published by Springer in 2008http://www.bibsonomy.org/bibtex/2ae1a11b569be56d09c7ca4a9bf1177ca/evolevol2007-09-26T10:37:27+02:00logic rewriting graph <span style="color:#555555;">Andy <a href="http://www.bibsonomy.org/author/Sch\&#034;urr}">Sch&#252;rr</a> </span><em>Fundamenta Informaticae</em><em>26(3 and 4):363--385</em><em>June1996. </em>Wed Sep 26 10:37:27 CEST 2007Fundamenta InformaticaeJune3 and 4363--385Logic based programmed structure rewriting systems261996logic rewriting graph The entire bibliography of the book "Software Evolution" co-edited by Tom Mens and Serge Demeyer, published by Springer in 2008http://www.bibsonomy.org/bibtex/2cd06c254554c534a3043afa1dc36e208/evolevol2007-09-26T10:37:27+02:00software logic evolution engineering requirements <span style="color:#555555;">Didar <a href="http://www.bibsonomy.org/author/Zowghi">Zowghi</a> und Ray <a href="http://www.bibsonomy.org/author/Offen">Offen</a> </span><em>Proc. IEEE Int'l Symp. Requirements Engineering, </em><em>Seite247-259. </em><em>IEEE Computer Society Press, </em>(<em>1997</em>)Wed Sep 26 10:37:27 CEST 2007Proc. IEEE Int'l Symp. Requirements Engineering247-259A logical framework for modeling and reasoning about the evolution of requirements1997software logic evolution engineering requirements