NII Technical Report (NII-2007-007J)

Title Formal Methods as Software Engineering Tools
Authors Shin NAKAJIMA
Abstract Formal methods, whilst actually not, are expected to be a panacea for attaining to highly reliable software systems. In spite of such fever, we are more than one lap behind Western, where a long term steady effort has been made. This paper tries to illustrate what happens in the world of formal methods, which is mostly based on the author' s personal experience.
Language Japanese
Published Jul 5, 2007
Pages 22p
PDF File 07-007J.pdf

NII Technical Reports
National Institute of Informatics