Formal specification approach in designing database system using Z

QR Code

Formal specification approach in designing database system using Z

Bibliographic Details
Format:	Restricted Document

Similar Items

Formal Specification Approach in Designing Database System Using Z

Formal Specification Approach for Designing Multiple Types of Spatial Databases Integration Model

Formal Specification Language For Design Patterns.
by: Taibi, Taufik
Published: (2003)

Formal specification of design pattern combination using BPSL
by: Taibi, T
Published: (2003)

A Formal Specification Language For Design Patterns.
by: Taufik Taibi,
Published: (2003)

Z formal specification of functional requirement / Nursyahidah Alias, Mohd Norafizal Abd Aziz and Zazaleena Zakariah
by: Nursyahidah Alias, et al.
Published: (2013)

The formal specification for competency requirements
by: Roslina, Mohd Sidek, et al.
Published: (2011)

Formal specification of a wall-climbing robot using Z-A case study of small-scale embedded hard real-time system
by: Mohamad, Radziah, et al.
Published: (2001)

Formal Validation of DNA Database Using Theorem Proving Technique

Formal Validation of DNA Database Using Theorem Proving Technique

SOFL Three-Step Approach to Construct the Formal Specification of a Brain Tumor Treatment System
by: A Rahman, Mat, et al.
Published: (2013)

Framework For Merging Object-Oriented Formal Specifications
by: Taibi , Fathi
Published: (2010)

The automatic assessment of Z specifications
by: Shukur, Zarina
Published: (1999)

Penspesifikasian dan pengesahsahihan formal protokol CSMA/CD menggunakan Z
by: Zarina Shukur,, et al.
Published: (2009)

Formal Specification Language for Vehicular Ad-Hoc Networks
by: Maythem Kamal , Abbas, et al.
Published: (2009)

The functional dendritic cell algorithm: a formal specification with Haskell
by: Greensmith, Julie, et al.
Published: (2017)

Human Factor of Formal Engineering Methods in Validating Requirement Specification
by: Fauziah, Zainuddin, et al.
Published: (2017)

The new formal specification framework of individual emergency, response and preparedness
by: Roslina, Mohd Sidek, et al.
Published: (2011)

A formal approach to modelling and verification of context-aware systems
by: Ul-Haque, Hafiz Mahfooz
Published: (2017)

Consistency preserving co-evolution of formal specifications and agent-oriented conceptual models
by: Krishna, Aneesh, et al.
Published: (2009)

Why and how should design patterns be formalized?
by: Taibi,, T, et al.
Published: (2001)

The interrelatedness of formal, non-formal and informal learning
by: Cameron, Roslyn, et al.
Published: (2012)

Practical database design for industrial maintenance system
by: Hasan Basari, Abd Samad, et al.
Published: (2010)

Temporal Property Preservation Under Z Refinement in CSP-OZ Specifications
by: Azman Bujang, Masli, et al.
Published: (2012)

University management system in system-z mainframe (zMS)
by: Nallavadu, Asha Rani
Published: (2012)

The first Malay database toward the ethnic-specific target molecular variation
by: Fikri, Hashim Halim, et al.
Published: (2015)

The first Malay database toward the ethnic-specific target molecular variation

Formal verification of RFID system using model verification agent
by: Lockman, Muhammad Tarmizi
Published: (2012)

Conceptual database design for smart medical clinical system
by: Mohd Sani, Nor Fazlida, et al.
Published: (2012)

A Formal Model of Mixed-Initiative Interaction in Design Exploration
by: Datta, Sambit, et al.
Published: (2011)

Multi-View Retrieval Of Software Design Specifications Using Similarity Assessment Approach
by: Adamu, Alhassan
Published: (2017)

Derivation of Z-γ (Reflectivity-specific attenuation) relation for satellite link in tropical region
by: Badron, Khairayu, et al.
Published: (2016)

Formalization of ORM revisited
by: Halpin, Terry
Published: (2012)

Trends in Formal Assessment
by: M. McGrath, Dennis
Published: (1979)

An architectural design for a hybrid intrusion detection system for database
by: Haratian, Mohammad Hossein
Published: (2009)

Factors affecting the adoption of formal Accounting systems by SMEs
by: Padachi, Kesseven
Published: (2012)

Digital Systems for Open Access to Formal and Informal Learning
by: Sampson, Demetrios, et al.
Published: (2014)

The formal specification for the inventory system using Z language
by: Bakri, Siti Halimah, et al.
Published: (2013)

3D geo-database implementation using Craniofacial Geometric Morphometrics Database System
by: Suwardhi, Deni, et al.
Published: (2006)

CPT443 – Automata Theory & Formal Languages (Teori Automata & Bahasa Formal)
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2021)