Verification Approach for Refactoring Transformation Rules of State-Based Models

Authors :: Bogdan Korel
Nada Almasri
Luay Tahat
Source :: IEEE Transactions on Software Engineering. 48:3833-3861
Publication Year :: 2022
Publisher :: Institute of Electrical and Electronics Engineers (IEEE), 2022.

Subjects :: Computer science
Programming language
business.industry
Extended finite-state machine
computer.software_genre
Automation
Automaton
Transformation (function)
Software
Code refactoring
Unified Modeling Language
State (computer science)
business
computer
computer.programming_language

Tools