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

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	IEEE transactions on software engineering Ročník 48; číslo 3; s. 951 - 972
Hlavní autoři:	Bagherzadeh, Mojtaba, Kahani, Nafiseh, Jahed, Karim, Dingel, Juergen
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	New York IEEE 01.03.2022 IEEE Computer Society
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!