Paper Info
Title
Execution of Partial State Machine Models
Abstract
The iterative and incremental nature of software development using models typically makes a model of a system incomplete (i.e., partial) until a more advanced and complete stage of development is reached. Existing model execution approaches (interpretation of models or code generation) do not support the execution of partial models. Supporting the execution of partial models at early stages of sof...
Year
DOI
Venue
2022
10.1109/TSE.2020.3008850
IEEE Transactions on Software Engineering
Keywords
DocType
Volume
Tools,Analytical models,Unified modeling language,Context modeling,Static analysis,Real-time systems,Debugging
Journal
48
Issue
ISSN
Citations 
3
0098-5589
0
PageRank 
References 
Authors
0.34
0
4
Name
Order
Citations
PageRank
Mojtaba Bagherzadeh1296.09
Nafiseh Kahani2143.64
Karim Jahed375.20
Juergen Dingel460849.06