A Formal Approach to Checking Consistency in Software Refactoring.
Hong Anh LeThi-Huong DaoNinh-Thuan TruongPublished in: Mob. Networks Appl. (2017)
Keyphrases
- software systems
- source code
- consistency checking
- software evolution
- object oriented systems
- computer systems
- formal model
- formal methods
- software architecture
- software design
- software package
- software testing
- software quality
- software development
- software engineering
- object oriented
- user interface
- development process
- design patterns
- neural network
- software projects
- hardware design