Tracking the proof and correctness between abstract and concrete specification using Z language

Main Author:	Ruan Wei Cong
Format:	Book
Language:	English
Published:	Nilai: INTI Internation University College Malaysia, January 2008.
Subjects:	Dissertations, academic -- > Computer systems

Similar Items

Implementation of Z language specification processor for checking the correctness of Z specification
by: Lee Lik Shen
Published: (2010)

Track clearance using robot
by: Nengsih
Published: (2011)

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

Inside track : writing dissertations and theses
by: Murray
Published: (2009)

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

Error detection and correction using hamming code
by: Nitin Utpal
Published: (2011)

Error detection and correction using BCH and turbo codes
by: Lin Jing Shih
Published: (2012)

The burden of proof
by: TUROW
Published: (2000)

The burden of proof
by: TUROW
Published: (1990)

Correction : mistake management a positive approach for language teachers
by: BARTRAM
Published: (1991)

Project management software tool for managing and tracking project
by: Kee Chia Ern
Published: (2008)

Data abstraction and structures using C++
by: HEADINGTON
Published: (1996)

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

Abstract algebra
by: HERSTEIN
Published: (1996)

Contemporary corrections
by: MAYS
Published: (1998)

Separate tracks
by: ROGERS
Published: (1983)

The darker proof : stories from a crisis
by: JONES
Published: (1988)

Proofs from the book
by: Aigner
Published: (2010)

Transfer Device Between Two Conveyors
by: CHUE JUI HUI
Published: (2006)

Correct English : made easy
by: Nandy
Published: (1996)

Robot to navigate between moveable objects
by: Alvin Victor Raj
Published: (2010)

Study and Develop a Prototype on Personnel Procurement Tracking System Using WAP Based Technology by Aaron Chee Zin Ting.
by: AARON CHEE ZIN TING
Published: (2004)

Implementation of Employee Tracking System Using Global Position System (GPS) and Bluetooth Connectivity
by: MUSA AHMED WARILLE
Published: (2006)

Hack proofing your network : internet tradecraft
Published: (2000)

Problem solving, abstraction and design using C++
by: Friedman
Published: (2011)

Problem solving, abstraction and design using C++
by: Friedman
Published: (1997)

Establishing the relationship between wind speed and angular velocity of Giromill VAWT
by: Lee Wei Bin
Published: (2012)

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

Data structures and abstractions with Java
by: Carrano
Published: (2007)

Applied abstract algebra
by: LIDL
Published: (1998)

Introduction to indexing and abstracting
by: CLEVELAND
Published: (1990)

Contemporary abstract algebra
by: GALLIAN
Published: (1998)

Constructing correct software
by: Cooke
Published: (2005)

Strategies for correct writing
by: Fournier
Published: (2004)

How to speak and write correctly
by: Devlin
Published: (2011)

Community-based corrections
by: Cromwell
Published: (2002)

The correct sentence for everyday English
by: Nandy
Published: (1996)

Politically correct bedtime stories
by: GARNER
Published: (1994)

Getting on the right track at work
by: Hughes
Published: (2004)

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