Proceedings of 4th International Conference in Software Engineering for Defence Applications