Abstracts of Annual Conference of Japan Society for Management Information
Annual Conference of Japan Society for Management Information 2010 Autumn
Session ID : C3-3
Conference information

Host: The Japan Society for Management Information

Implementation of a Data Processing System by Z Language
Toru Takagi, *Yuki Takata, Yurie Honna
Author information
Keywords: Z language, problem solving, data processing systems
CONFERENCE PROCEEDINGS FREE ACCESS

Details
Download PDF (101K)
Download citation RIS

(compatible with EndNote, Reference Manager, ProCite, RefWorks)

BIB TEX

(compatible with BibDesk, LaTeX)

Text
How to download citation
Contact us
Abstract

The importance of the data processing in problem solving is already explained by the previous presentation. In this paper, we will present the example of the implementation of the formal approach in especially using by Z language as a formalization.

Content from these authors
© 2010 by Japan Society for Management Information
Previous article Next article
Favorites & Alerts

Recently viewed articles
Share this page
feedback
 Top