Execution of Partial State Machine Models

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 suppor...

Full description

Saved in:

Bibliographic Details
Published in:	IEEE transactions on software engineering Vol. 48; no. 3; pp. 951 - 972
Main Authors:	Bagherzadeh, Mojtaba, Kahani, Nafiseh, Jahed, Karim, Dingel, Juergen
Format:	Journal Article
Language:	English
Published:	New York IEEE 01.03.2022 IEEE Computer Society
Subjects:	Analytical models Computer models Context modeling Debugging incomplete models Iterative methods MDD model execution model-level debugging partial models Programming languages Real-time systems Semantics Software development State machines Static analysis Static code analysis Unified modeling language
ISSN:	0098-5589, 1939-3520
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!