Autonomous and autonomic systems: A paradigm for future space exploration missions
WF Truszkowski, MG Hinchey, JL Rash… - IEEE Transactions on …, 2006 - ieeexplore.ieee.org
More and more, the National Aeronautics and Space Administration (NASA) will rely on
concepts from autonomous systems not only in mission control centers on the ground, but …
concepts from autonomous systems not only in mission control centers on the ground, but …
[图书][B] Autonomous and autonomic systems: with applications to NASA intelligent spacecraft operations and exploration systems
W Truszkowski, H Hallock, C Rouff, J Karlin, J Rash… - 2009 - books.google.com
In the early 1990s, NASA Goddard Space Flight Center started researching and developing
autonomous and autonomic ground and spacecraft control systems for future NASA …
autonomous and autonomic ground and spacecraft control systems for future NASA …
JTeXpert at the SBST 2017 tool competition
JTeXpert is a software testing tool that automatically generates a whole test suite to satisfy
the branch-coverage criterion. It takes as inputs a Java source code and its dependencies …
the branch-coverage criterion. It takes as inputs a Java source code and its dependencies …
Experiences with a requirements-based programming approach to the development of a NASA autonomous ground control system
JL Rash, MG Hinchey, CA Rouff… - … and Workshops on …, 2005 - ieeexplore.ieee.org
Requirements-to-design-to-code (R2D2C) is an approach to the engineering of computer-
based systems that embodies the idea of requirements-based programming in system …
based systems that embodies the idea of requirements-based programming in system …
Formal requirements-based programming for complex systems
JL Rash, MG Hinchey, CA Rouff - 10th IEEE International …, 2005 - ieeexplore.ieee.org
Computer science as a field has not yet produced a general method to mechanically
transform complex computer system requirements into a provably equivalent …
transform complex computer system requirements into a provably equivalent …
The learnlib in fmics-jeti
T Margaria, H Raffelt, B Steffen… - 12th IEEE International …, 2007 - ieeexplore.ieee.org
The FMICS-jETI platform is a collaborative, service-based demonstrator of tools and
techniques for the analysis of industrial critical systems. It is the FMICS Working Group …
techniques for the analysis of industrial critical systems. It is the FMICS Working Group …
A requirements-based programming approach to developing a NASA autonomous ground control system
A new requirements-based programming approach to the engineering of computer-based
systems offers not only an underlying formalism, but also full formal development from …
systems offers not only an underlying formalism, but also full formal development from …
Challenges of developing new classes of NASA self-managing missions
MG Hinchey, JL Rash, WF Truszkowski… - … on Parallel and …, 2005 - ieeexplore.ieee.org
NASA is proposing increasingly complex missions that require a high degree of autonomy
and autonomicity. These missions pose hereto unforeseen problems and raise issues that …
and autonomicity. These missions pose hereto unforeseen problems and raise issues that …
From Requirements to Java in a Snap
M Śmiałek, W Nowakowski - Model-Driven Requirements Engineering in …, 2015 - Springer
Back in 1988, Gerald M. Weinberg, in his seminal book “Understanding the Professional
Programmer”[180] has formulated the following statement:“… programming computers is by …
Programmer”[180] has formulated the following statement:“… programming computers is by …
Translation of Z specifications to executable code: Application to the database domain
S Khalafinejad, SH Mirian-Hosseinabadi - Information and Software …, 2013 - Elsevier
CONTEXT: It is well-known that the use of formal methods in the software development
process results in high-quality software products. Having specified the software …
process results in high-quality software products. Having specified the software …