Innovations in Systems and Software Engineering
Encyclopedia
Innovations in Systems and Software Engineering is a peer-reviewed
scientific journal
of computer science
covering systems
and software engineering
, including formal methods
. It is published by Springer Science+Business Media
in association with NASA
. The editors-in-chief are Michael Hinchey
and Shawn Bohner.
Peer review
Peer review is a process of self-regulation by a profession or a process of evaluation involving qualified individuals within the relevant field. Peer review methods are employed to maintain standards, improve performance and provide credibility...
scientific journal
Scientific journal
In academic publishing, a scientific journal is a periodical publication intended to further the progress of science, usually by reporting new research. There are thousands of scientific journals in publication, and many more have been published at various points in the past...
of computer science
Computer science
Computer science or computing science is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems...
covering systems
Systems engineering
Systems engineering is an interdisciplinary field of engineering that focuses on how complex engineering projects should be designed and managed over the life cycle of the project. Issues such as logistics, the coordination of different teams, and automatic control of machinery become more...
and software engineering
Software engineering
Software Engineering is the application of a systematic, disciplined, quantifiable approach to the development, operation, and maintenance of software, and the study of these approaches; that is, the application of engineering to software...
, including formal methods
Formal methods
In computer science and software engineering, formal methods are a particular kind of mathematically-based techniques for the specification, development and verification of software and hardware systems...
. It is published by Springer Science+Business Media
Springer Science+Business Media
- Selected publications :* Encyclopaedia of Mathematics* Ergebnisse der Mathematik und ihrer Grenzgebiete * Graduate Texts in Mathematics * Grothendieck's Séminaire de géométrie algébrique...
in association with NASA
NASA
The National Aeronautics and Space Administration is the agency of the United States government that is responsible for the nation's civilian space program and for aeronautics and aerospace research...
. The editors-in-chief are Michael Hinchey
Michael Hinchey
Michael G. Hinchey is an Irish computer scientist and Director at the Irish Software Engineering Research Centre , University of Limerick, Ireland....
and Shawn Bohner.
See also
- Archives of Computational Methods in EngineeringArchives of Computational Methods in EngineeringArchives of Computational Methods in Engineering is a scholarly journal that provides a forum for spreading results of research and advanced industrial practice in computational engineering with particular emphasis on mechanics and its related areas...
- Formal Aspects of ComputingFormal Aspects of ComputingFormal Aspects of Computing is a peer-reviewed scientific journal published by Springer Science+Business Media, covering the area of formal methods and associated topics in computer science. The editors-in-chief are Jim Woodcock and Cliff Jones. The journal is associated with BCS-FACS, the British...