On Applicability of Formal Methods and Tools to Dependable Services
スポンサーリンク
概要
- 論文の詳細を見る
As a variety of digital services are provided through networks, more and more efforts are made to ensure dependability of software behavior implementing services. Formal methods and tools have been considered as promising means to support dependability in complex software systems during the development. On the other hand, there have been serious doubts on practical applicability of formal methods. This paper overviews the present state of formal methods and discusses their applicability, especially focusing on two representative methods (SPIN and B Method) and their recent industrial applications. This paper also discusses applications of formal methods to dependable networked software.
- （社）電子情報通信学会の論文
- 2009-01-01
著者
-
Ishikawa Fuyuki
National Inst. Of Informatics Tokyo Jpn
-
Ishikawa Fuyuki
National Institute Of Informatics
-
HONIDEN Shinichi
National Institute of Informatics
関連論文
- Improving Accuracy of Recommender System by Item Clustering(Software Agent and Its Applications)
- On Applicability of Formal Methods and Tools to Dependable Services
- A Formal Specification of Components in a Component-Based Framework Development Method
- A Context-Aware Personal Agent in Ubiquitous Environments and Its Experimental Trial( Software Agent and Its Applications)
- Evaluation of a Multi Agent Framework for Open Distributed Systems(Special Section on Concurrent System Technology and Its Application to Multiple Agent Systems)
- Designing Multi-Agent Systems Based on Pairwise Agent Interactions (Special Issue on Software Agent and Its Applications)
- An Authentication Architecture for Collaboration Among Agents in Ad Hoc Networks, Vol.J86-B,No.3, pp.419-427
- Open Code Coverage Framework : A Framework for Consistent, Flexible and Complete Measurement of Test Coverage Supporting Multiple Programming Languages