NASA's Exploration Agenda and Capability Engineering

Authors:
Daniel E. Cooke;Matt Barry;Michael Lowry;Cordell Green
Affiliations:
Texas Tech University;Jet Propulsion Laboratory;NASA Ames Research Center;Kestrel Institute
Venue:
Computer
Year:
2006

Citing 1
Cited 3

Normalize, transpose, and distribute: An automatic approach for handling nonscalars

ACM Transactions on Programming Languages and Systems (TOPLAS)

Software, regulation, and domain specificity

Information and Software Technology
Normalize, transpose, and distribute: An automatic approach for handling nonscalars

ACM Transactions on Programming Languages and Systems (TOPLAS)
SequenceL: transparency and multi-core parallelisms

Proceedings of the 5th ACM SIGPLAN workshop on Declarative aspects of multicore programming

Quantified Score

Hi-index	4.10

Visualization

Abstract

NASA is using model-based languages and risk analysis methodologies to raise software development to the level of hardware development. Ultimately, it hopes to achieve a fusion of systems and software engineering by replacing conventional software development techniques with capability engineering, which focuses on a system's full set of functionalities.