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žené v:

Podrobná bibliografia
Vydané v:	Software and systems modeling Ročník 21; číslo 6; s. 2367 - 2394
Hlavní autori:	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:	English
Vydavateľské údaje:	Berlin/Heidelberg Springer Berlin Heidelberg 01.12.2022 Springer Nature B.V
Predmet:	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 prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!