The following new journal, launched on 6 April 2005, may be of interest.
Papers in the general area of formal methods would be relevant. The first
issue is available from the website below as a free sample issue online.
Innovations in Systems and Software Engineering
A NASA Journal
ISSN: 1614-5046 (print version)
ISSN: 1614-5054 (electronic version)
Journal no. 11334
Springer London
URL: http://springerlink.metapress.com/link.asp?id=113014
Innovations in Systems and Software Engineering: A NASA Journal will address
issues and innovations in Systems Engineering, Systems Integration, Software
Engineering, Software Development and other related areas that are
specifically of interest to NASA. The journal will include peer-reviewed
world-class technical papers on topics of research, development and practice
related to NASA's missions and projects, topics of interest to NASA for
future use, and topics describing problem areas for NASA together with
potential solutions. Papers that do not address issues related to NASA are
of course very welcome, provided that they address topics that NASA might
like to consider for the future.
Papers are solicited from NASA and government employees, contractors,
NASA-supported academic and industrial partners, and non-NASA-supported
academics and industrialists both in the USA and worldwide. The journal will
include updates on NASA innovations, articles on NASA initiatives, papers
looking at educational activities, and a State-of-the-Art section that will
give an overview of specific topic areas in a comprehensive format written
by an expert in the field.
|