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: • Academic OneFile

• DBLP

• EI-Compendex

• Inspec

• ProQuest databases

• Scopus

• VINITI Database RAS