Browse by author
Lookup NU author(s): Professor John Fitzgerald,
Dr Peter Larsen
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
This paper describes the industrial use of the Vienna Development Method (VDM and VDM++) technology in Japan since the acquisition of VDMTools by CSK Systems in 2003. This acquisition followed a very successful application of VDM++ in the development of two subsystems of the TradeOne back office system for securities trading. Subsequently, FeliCa Networks has also successfully applied VDM++ in the development of a new generation IC chip for use as an electronic purse which can be embedded in a cellular telephone. This paper provides a short overview of some of the most important industrial applications of VDM in Japan in recent years. It also reports about the main lessons learned, particularly regarding quality and cost. Finally, the future prospects for this kind of technology in Japan are considered.
Author(s): Fitzgerald J, Larsen PG, Sahara S
Editor(s): Boca, P; Bowen, JP; Larsen, PG
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: BCS-FACS Christmas Workshop: Formal Methods in Industry
Year of Conference: 2007
Series Title: Electronic Workshops in Computing