共 50 条
- [1] On the reuse and recommendation of model refactoring specifications [J]. Software & Systems Modeling, 2013, 12 : 579 - 596
- [4] Refactoring for reuse: an empirical study [J]. Innovations in Systems and Software Engineering, 2022, 18 : 105 - 135
- [6] Changing programs correctly:: Refactoring with specifications [J]. FM 2006: FORMAL METHODS, PROCEEDINGS, 2006, 4085 : 492 - 507
- [7] Refactoring object-Z specifications [J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 2984 : 69 - 83
- [8] Refactoring object constraint language specifications [J]. SOFTWARE AND SYSTEMS MODELING, 2007, 6 (02): : 113 - 138
- [9] Refactoring object constraint language specifications [J]. Software & Systems Modeling, 2007, 6 : 113 - 138
- [10] Improving Use Case Specifications by Means of Refactoring [J]. IEEE LATIN AMERICA TRANSACTIONS, 2015, 13 (04) : 1135 - 1140