Innovations in Systems and Software Engineering

"Innovations in Systems and Software Engineering: A NASA Journal" is a peer-reviewed scientific journal of computer science covering systems and software engineering, including formal methods. It is published by Springer Science+Business Media on behalf of NASA. The editors-in-chief are Michael Hinchey (University of Limerick) and Shawn Bohner (Rose-Hulman Institute of Technology).
Abstracting and indexing.
The journal is abstracted and indexed in: