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

QR Code

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

Bibliographic Details
Format:	Restricted Document

Similar Items

Formal specification approach in designing database system using Z

Formal Specification Approach in Designing Database System Using Z

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

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

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

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

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

Formal Validation of DNA Database Using Theorem Proving Technique

Formal Validation of DNA Database Using Theorem Proving Technique

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

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

Comparative of mediator approach for database integration

Comparative of mediator approach for database integration

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

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)

Full dynamic transformation model for spatial data from relational database to object-oriented database
by: Siew, Teck Kiong
Published: (2005)

Mathematical set and euler theories for formalizing new concept of spatial data modelling for hybrid 3D spatial objects
by: Abdul Rahman, Alias
Published: (2008)

Surface-integral formalism of deuteron stripping
by: Mukhamedzhanov, A., et al.
Published: (2014)

The integration of spatial and non-spatial data model
by: Daman, Daut, et al.
Published: (2000)

Spatial and non-spatial databases enhancement for hydrological information system (HIS)
by: Daman, Daut, et al.
Published: (2002)

Database Integration via Mediator Approach for Integrated Applications with NFC Technology
by: Mohd Kamir, Yusof, et al.
Published: (2014)

Database Integration via Mediator Approach for Integrated Application with NFC Technology

Implementation Of Mediator-Based Integration System For A Transparent Access To Multiple Biological Databases.
by: Husain, Wahidah, et al.
Published: (2007)

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

Modelling of surface air temperature elements: integration of multiple regression model and spatial interpolation technique / Fariza Yunus
by: Yunus, Fariza
Published: (2014)

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

Database integration approaches for heterogeneous biological data sources : an overview
by: Ishak, Iskandar, et al.
Published: (2006)

Sequence diagram synthesis theory for stitching together multiple sequence diagrams through formal semantics modelling
by: Ameedeen, Mohamed Ariff, et al.

Sequence diagram synthesis theory for stitching together multiple sequence diagrams through formal semantics modelling
by: Ameedeen, Mohamed Ariff
Published: (2010)

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)

Managing Schema Evolution in a federated spatial database system
by: Wu, Xiaoying
Published: (2014)

Managing schema evolution in a federated spatial database system
by: Wu, Xiaoying, et al.
Published: (2012)

Schema element dependencies in a federated spatial database system
by: Wu, Xiaoying, et al.
Published: (2011)

A boundary integral formalism for stochastic ray tracing in billiards
by: Chappell, David, et al.
Published: (2014)

Integration of Use Case Formal Template Using Mapping Rules
by: Swee, Yin Wong, et al.
Published: (2016)

Modelling Category Inflation with Multiple Inflation Processes: Estimation, Specification and Testing
by: Brown, S., et al.
Published: (2020)

Integrated Medical Emergency Model: an interactive web-based database
by: Hameed, Shihab A., et al.
Published: (2010)