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.
- 10 Volumes
- 36 Issues
- 258 Articles
- 5 Open Access
- 2005 - 2014 Available between
Computer-aided discovery of formal specification behavioral requirements and requirement to implementation mappings
Doron Drusinsky (December 2014)
- Journal Title
- Innovations in Systems and Software Engineering
- Volume 1 / 2005 - Volume 10 / 2014
- Print ISSN
- Online ISSN
- Springer London
- Additional Links
- Industry Sectors
To view the rest of this content please follow the download PDF link above.