Innovations in Systems and Software Engineering
Innovations in Systems and Software Engineering: A NASA Journal addresses 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 includes 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 includes updates on NASA innovations, articles on NASA initiatives, papers looking at educational activities, and a State-of-the-Art section that gives an overview of specific topic areas in a comprehensive format written by an expert in the field.
- 11 Volumes
- 37 Issues
- 263 Articles
- 5 Open Access
- 2005 - 2015 Available between
Early detection of evolving system failures and temporal conflicts using parameterized formal specifications and bounded constraint-solving
Doron Drusinsky (March 2015)
SI: QUATIC 2010
- Journal Title
- Innovations in Systems and Software Engineering
- Volume 1 / 2005 - Volume 11 / 2015
- Print ISSN
- Online ISSN
- Springer London
- Additional Links
- Industry Sectors
To view the rest of this content please follow the download PDF link above.