Model-driven system-level validation and verification on the space software domain

The development process of on-board software applications can benefit from model-driven engineering techniques. Model validation and model transformations can be applied to drive the activities of specification, requirements definition, and system-level validation and verification according to the s...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Software and systems modeling Ročník 21; číslo 6; s. 2367 - 2394
Hlavní autoři:	Montalvo, Aarón, Parra, Pablo, Rodríguez Polo, Óscar, Carrasco, Alberto, Da Silva, Antonio, Martínez, Agustín, Sánchez, Sebastián
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Berlin/Heidelberg Springer Berlin Heidelberg 01.12.2022 Springer Nature B.V
Témata:	Applications programs Automation Compilers Computer Science Control equipment Embedded systems Energetic particles Engineering Ground support equipment Ground support systems Information Systems Applications (incl.Internet) Interpreters IT in Business Program verification (computers) Programming Languages Programming Techniques Radiation counters Software Software Engineering Software Engineering/Programming and Operating Systems Theme Section Paper Validation Space Verification Software ECSS MDE
ISSN:	1619-1366, 1619-1374
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!