Cover Image

QR Code

Implementation of Z language specification processor for checking the correctness of Z specification

Main Author:	Lee Lik Shen
Format:	Book
Language:	English
Published:	Nilai: INTI International University, March 2010.
Subjects:	Dissertations, academic -- > Computer systems

Similar Items

Tracking the proof and correctness between abstract and concrete specification using Z language
by: Ruan Wei Cong
Published: (2008)

An introduction to formal specification and Z
by: POTTER
Published: (1996)

Study and implementation of Z language processor
by: FANG LEI
Published: (2001)

A Study and Implementation of a Z Specification Syntax Verifier
by: CHEAH HSIU QUEN
Published: (2004)

Implementation of Z analysis tool recognizing definition of generic nations for schema development
by: Liu Pu Zheng
Published: (2010)

A study of component-based technology and implementation of a computer hardware specification consultant system
by: HUANG JILIANG
Published: (2006)

The linux A-Z
by: CORNES
Published: (1997)

A Study on Content Comparison and Chechksum Techniques for Implementation a Duplicated Files Finder and File Integrity Check System
by: CHONG CHAI CHANG
Published: (2004)

A Study and Implementation of File downloaded repairing system using .Net Language and error checking algorithm/hash algorithm
by: WONG KOK FUN
Published: (2004)

Specification in B : an introduction using the B toolkit
by: LANO
Published: (1996)

The Java virtual machine specification
Published: (2013)

The Java language specification / James Gosling...[et all].
Published: (2013)

Domain-specific modeling : enabling full code generation
by: Kelly
Published: (2008)

Study and implementation expert system with natural language processing (NPL) features in an online portal
by: Ibrahim Ado Haruna
Published: (2010)

The Java 3D API specification
by: SOWIZRAL
Published: (1997)

Implementation of expert system application to diagnose pet's diseases
by: Kwan Chee Huo
Published: (2010)

Study and implementation a controlled remote management systems
by: Wu Kai
Published: (2010)

Study and implement concurrency theory in mobile game
by: TRAN HA THUY
Published: (2006)

Design and implementation of a Jabber Instant Messaging Client
by: Tan Chau Chiat
Published: (2006)

Study and implementation of client server monitoring system
by: YEO SIK SHENG
Published: (2005)

Implementation of Mobile based INTI On-line Accessing System
by: GAN KAI WENG
Published: (2005)

Implementation of Stand Alone Firewall and Web Filtering
by: LAM SEN KIUN
Published: (2006)

To demonstrate the suitability of programming languages for a multi-threaded application
by: TEOH KWAN LING
Published: (2005)

An implementation of badminton court booking system with e-commerce features for Batu Berendam Badminton Hall Sdn. Bhd. Using ASP.Net
by: Lee Han Sheng
Published: (2011)

Implementation of an online decision support system (DSS) for Reliance Travel Agency
by: Farha Abdala Mohamed Chotu
Published: (2010)

A study and implementation of an information portal for breast cancer awareness
by: Fatima Tijjani Saleh
Published: (2010)

Study and implementation of a social network for musicians and music producers
by: Samuel Uyiosa Osifo
Published: (2010)

Implementation of an E-Customer relationship management system for Talol Market
by: Talol Faisal Ahmad
Published: (2010)

A study and implementation of an online warehouse management information systems for freeway WMS
by: Shamsudeen Yakubu Tanko
Published: (2010)

Develoment of multiplayer scrabble board game and implementing an AI skilled CPU player
by: Abdulhafiz Ibrahim Oluwatosin
Published: (2010)

Investigate the impact of implementing fuzzy logic in determining COCOMO EAF value
by: Chong Chun Yong
Published: (2010)

A development and implementation of an interactive soccer portal using ASP.NET
by: Adesola Adenekan
Published: (2010)

Implementation of an interactive health information portal using ASP.NET technology
by: Medina
Published: (2010)

An implementation of TCP/IP client-server point of sales and inventory control systems
by: Yuka Candrawira
Published: (2010)

Study and implementation of web-based intelligent agent for watch auctioning
by: Abdulmajid Babangida Umar
Published: (2010)

Implementation of restaurant ordering system into pocket PC using wireless technology
by: S. Mohana Sundaran
Published: (2008)

A study and implementation of an interactive edutainment application in mathematics and science for kindergarten children
by: Leong Yi Lin
Published: (2006)

Research and implementation of a decision support system for the College's University Placement Department
by: Olawale Adelakun
Published: (2006)

A study and implementation of bandwidth management system using load balancing technology
by: Ng Seng Tiong
Published: (2006)

Study on Java 3D technology for implementation of 3D design software
by: WANG MIAO DI
Published: (2006)