Modeling NASA swarm-based systems: using agent-oriented software engineering and formal methods

The need to collect new data and perform new science is causing the complexity of NASA missions to continually increase. This complexity needs to be controlled via new technological advancements and balanced with a reduction in mission and operation costs. Planned and hypothesized missions involve s...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Software and systems modeling Ročník 10; číslo 1; s. 55 - 62
Hlavní autoři:	Peña, Joaquin, Rouff, Christopher A., Hinchey, Mike, Ruiz-Cortés, Antonio
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Berlin/Heidelberg Springer-Verlag 01.02.2011 Springer Nature B.V
Témata:	Balancing Compilers Complexity Computer programs Computer Science Expert's Voice Formal method Information Systems Applications (incl.Internet) Interpreters IT in Business Missions NASA Programming Languages Programming Techniques Software Software Engineering Software Engineering/Programming and Operating Systems Formal methods Emergent behavior Agent-oriented software engineering Swarms
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!