BibSonomy publications for /user/evol/logicWed Sep 26 14:23:08 CEST 2007Logic and Declarative Language1998language programming logic declarative Wed Sep 26 10:37:27 CEST 2007JanuaryA Logic Meta-Programming Approach to Support the Co-Evolution of Object-Oriented Design and Implementation2001programming logic object-oriented meta co-evolution Wed Sep 26 10:37:27 CEST 2007 Proc. European Conf. Software Maintenance and Reengineering ({CSMR})March91--100Identifying Refactoring Opportunities Using Logic Meta Programming2003refactoring programming meta software logic evolution Wed Sep 26 10:37:27 CEST 2007Fundamenta InformaticaeJune3 and 4363--385Logic based programmed structure rewriting systems261996rewriting logic graph 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 requirements1997evolution requirements software logic engineering