About this book series

Innovations in Systems and Software Engineering: A NASA Journal and the associated book series NASA Monographs in Systems and Software Engineering will address cutting edge and groundbreaking research in the fields of systems and software engineering.

A feature of both will be an emphasis on the relevance of the technologies described to NASA missions and projects. This will include prior work that has been applied, or is currently being applied, to NASA problems, as well as future work that may be appropriate to apply to issues facing NASA in future space exploration missions.

The monograph series will examine various issues of particular interest in greater depth. This will include in-depth descriptions of technologies currently being applied, as well as research areas of likely applicability to future NASA missions.

Topics of interest include but are not limited to:

  • Autonomic Systems
  • System specification and design methods
  • Verification methods and technologies
  • Systems and software architectures
  • Requirements engineering
  • Process improvement, CMM and CMMI
  • Formal methods
  • Embedded systems
  • Real-time Systems
  • Model-based development
  • Automatic code generation
  • Software quality assurance
  • Agent technologies
  • System integration
  • Middleware
  • Semantic web
Electronic ISSN
2197-6597
Print ISSN
1860-0131
Series Editor
  • Mike Hinchey

Book titles in this series

  1. ACS Without an Attitude

    Authors:
    • Harold L. Hallock
    • Gary Welter
    • David G. Simpson
    • Christopher Rouff
    • Copyright: 2017

    Available Renditions

    • Hard cover
    • Soft cover
    • eBook
  2. Provably Correct Systems

    Editors:
    • Mike Hinchey
    • Jonathan P. Bowen
    • Ernst-Rüdiger Olderog
    • Copyright: 2017

    Available Renditions

    • Hard cover
    • Soft cover
    • eBook

Abstracted and indexed in

  1. DBLP
  2. zbMATH