4 papers
Two Truths and A Lie? Benchmarking Off-the-Shelf LLMs for Requirements Quality Assessment: Performance, False Alarms, and Misses
Jannatul Shefa, Alejandro Salado, Paul Wach +1
Requirements engineering (RE) governs the quality of everything downstream in systems engineering (SE); defective requirements that survive review cycles propagate into design rewo…
Planetary Exploration 3.0: A Roadmap for Software-Defined, Radically Adaptive Space Systems
Masahiro Ono, Daniel Selva, Morgan L. Cable +23
The surface and subsurface of worlds beyond Mars remain largely unexplored. Yet these worlds hold keys to fundamental questions in planetary science - from potentially habitable su…
Exploring Core and Periphery Precepts in Biological and Artificial Intelligence: An Outcome-Based Perspective
Niloofar Shadab, Tyler Cody, Alejandro Salado +3
Engineering methodologies predominantly revolve around established principles of decomposition and recomposition. These principles involve partitioning inputs and outputs at the co…
A Theory-driven Interpretation and Elaboration of Verification and Validation
Hanumanthrao Kannan, Alejandro Salado
This paper presents a formal theory of verification and validation (V&V) within systems engineering, grounded in the axiom that V&V are fundamentally knowledge-building activities.…