''Innovations in Systems and Software Engineering: A NASA Journal'' is a

peer-reviewed Peer review is the evaluation of work by one or more people with similar competencies as the producers of the work ( peers). It functions as a form of self-regulation by qualified members of a profession within the relevant field. Peer revie ...

scientific journal In academic publishing, a scientific journal is a periodical publication intended to further the progress of science, usually by reporting new research. Content Articles in scientific journals are mostly written by active scientists such ...

computer science Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to practical disciplines (includin ...

covering systems and

software engineering Software engineering is a systematic engineering approach to software development. A software engineer is a person who applies the principles of software engineering to design, develop, maintain, test, and evaluate computer software. The term ' ...

, including

formal methods In computer science, formal methods are mathematically rigorous techniques for the specification, development, and verification of software and hardware systems. The use of formal methods for software and hardware design is motivated by the exp ...

. It is published by

Springer Science+Business Media Springer Science+Business Media, commonly known as Springer, is a German multinational publishing company of books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing. Originally founded in 1842 in ...

on behalf of

NASA The National Aeronautics and Space Administration (NASA ) is an independent agency of the US federal government responsible for the civil space program, aeronautics research, and space research. NASA was established in 1958, succeedi ...

. The

editors-in-chief An editor-in-chief (EIC), also known as lead editor or chief editor, is a publication's editorial leader who has final responsibility for its operations and policies. The highest-ranking editor of a publication may also be titled editor, managing ...

are

Michael Hinchey Michael Gerard Hinchey (born 1969) is an Irish computer scientist and former Director of the Irish Software Engineering Research Centre ( Lero), a multi-university research centre headquartered at the University of Limerick, Ireland.

(

University of Limerick The University of Limerick (UL) ( ga, Ollscoil Luimnigh) is a Public university, public research university institution in Limerick, Republic of Ireland, Ireland. Founded in 1972 as the National Institute for Higher Education, Limerick, it beca ...

) and

Shawn Bohner Shawn A. Bohner is an American computer scientist working as a professor of computer science and engineering at the Rose–Hulman Institute of Technology. He is also the co-editor-in-chief of '' Innovations in Systems and Software Engineering''. ...

( Rose-Hulman Institute of Technology).

Abstracting and indexing

The journal is abstracted and indexed in:

References

External links

* Academic journals established in 2005 Computer science journals Systems engineering Software engineering publications Springer Science+Business Media academic journals Formal methods publications Quarterly journals NASA mass media Hybrid open access journals {{compu-journal-stub