@INPROCEEDINGS{5718997, 
author={Bishop, M. and Hay, B. and Nance, K.}, 
booktitle={System Sciences (HICSS), 2011 44th Hawaii International Conference on}, title={Applying Formal Methods Informally}, 
year={2011}, 
month={jan.}, 
volume={}, 
number={}, 
pages={1 -8}, 
abstract={While many problems associated with software development and the associated vulnerabilities are well documented and discussed, there is a distinct and obvious lack of consensus on the means to overcome and remedy these identified issues. This paper introduces the idea of integrating the concepts of formal methods into the programming process from the beginning. This method of applying formal methods informally has the potential to change the programming paradigm to include formal methods; and, when formal methods cannot be applied, an ancillary application of the philosophy and underlying foundational concepts to move towards a culture of more secure programming.}, 
keywords={formal methods;foundational concepts;philosophy concepts;programming process;secure programming;software development;security of data;software engineering;}, 
doi={10.1109/HICSS.2011.71}, 
ISSN={1530-1605},}