IET Software

IET Software publishes original research and review articles on all aspects of the software lifecycle, including design, development, implementation and maintenance.

Chief Editor Hana Chockler is Lecturer in the Department of Informatics, King's College London, and an academic member of the Software Modelling and Applied Logic group. Her research interests include formal verification of hardware and software and sanity checks for model checking.

This journal's articles appear in a wide range of abstracting and indexing databases, and are covered by numerous other services that aid discovery and access. Find out more about where and how the content of this journal is available.