Journal of Information and Management
Online ISSN : 2189-9681
Print ISSN : 1882-2614
ISSN-L : 1882-2614
Formal methods in Information System Development(<Special Issue> The New Methodology of Information Systems Design)
Junichi IIJIMA
Author information
JOURNAL FREE ACCESS

2007 Volume 28 Issue 2 Pages 16-24

Details
Abstract
Since current Information Systems (IS) become more complicated and ICT is used in most of businesses, "Systems Failure" causes a serious damage for our daily life once it occures. Based on this background, highly-dependable systems are focused on in many fields in artificial physical systems and even human activity systems. In this paper, we discuss on the role of formal methods in Information Systems Development and it will be discussed whether formal methods can solve those problems.
Content from these authors
© 2007 Japan Society for Information and Management
Previous article Next article
feedback
Top