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
-
-
Provably Correct Systems
- Editors:
-
- Mike Hinchey
- Jonathan P. Bowen
- Ernst-Rüdiger Olderog
- Copyright: 2017
Available Renditions
- Hard cover
- Soft cover
- eBook
-
Autonomy Requirements Engineering for Space Missions
- Authors:
-
- Emil Vassev
- Mike Hinchey
- Copyright: 2014
Available Renditions
- Hard cover
- Soft cover
- eBook
-
Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems
- Authors:
-
- Walt Truszkowski
- Harold Hallock
- Christopher Rouff
- Jay Karlin
- Copyright: 2010
Available Renditions
- Hard cover
- Soft cover
- eBook
-
Agent Technology from a Formal Perspective
- Editors:
-
- Christopher Rouff
- Copyright: 2006
Available Renditions
- Hard cover
- Soft cover
- eBook
Publish with us
Abstracted and indexed in
-
- DBLP
- zbMATH