Domain−Specific Semantics and Data Refinement of Object Models

Domain−Specific Semantics and Data Refinement of Object Models

Show other versions (1)

Bibliographic Details
Main Authors:	Davies, J, Faitelson, D, Welch, J
Format:	Conference item
Published:	2006

Similar Items

Domain−specific Semantics and Data Refinement of Object Models
by: Davies, J, et al.
Published: (2008)

Program synthesis from domain specific object models
by: Faitelson, D
Published: (2008)

From Predicates to Programs: The Semantics of a Method Language
by: Faitelson, D, et al.
Published: (2007)

Automatic Maintenance of Association Invariants
by: Welch, J, et al.
Published: (2008)

Automatic Maintenance of Association Invariants
by: Welch, J, et al.
Published: (2005)

Compositionality and refinement in model-driven engineering
by: Davies, J, et al.
Published: (2012)

Compositionality and Refinement in Model−Driven Engineering
by: Davies, J, et al.
Published: (2012)

Semantics and refinement for a concurrent object oriented language
by: Monteiro Borba, P
Published: (1995)

Refinement in Object−Z and CSP
by: Bolton, C, et al.
Published: (2002)

Using Z: Specification‚ Refinement‚ and Proof
by: Woodcock, J, et al.
Published: (1996)

Using Relational and Behavioural Semantics in the Verification of Object Models
by: Bolton, C, et al.
Published: (2000)

The formal semantics of a domain-specific modelling language
by: Grealish, C
Published: (2010)

On the Semantics of Refinement Calculi
by: Yang, H, et al.
Published: (2015)

Refining the Semantics of Open Access
by: Stefan Gradmann, et al.
Published: (2004-09-01)

Semantic Lexical Alignment For Domain-Specific Ontologies.
by: Abu-Shareha, Ahmad Adel, et al.
Published: (2009)

Data Refinement Refined
by: Hoare, C, et al.
Published: (1985)

A formal, scalable approach to semantic interoperability
by: Davies, J, et al.
Published: (2020)

Semantic-Guided Attention Refinement Network for Salient Object Detection in Optical Remote Sensing Images
by: Zhou Huang, et al.
Published: (2021-05-01)

On the Refinement and Simulation of Data Types and Processes
by: Bolton, C, et al.
Published: (1999)

Object-oriental database : a semantic data model approach /
by: 224022 Gary, Peter M. D., et al.
Published: (1992)

Data Refinement Refined: Resume
by: He, J, et al.
Published: (1986)

Parsing and semantic analysis of a domain specific language
by: Qin, Gemeng
Published: (2014)

899 emObject: domain specific data abstraction for spatial omics
by: Aaron Mayer, et al.
Published: (2023-11-01)

Derivation of context axioms and semantics of data with the Domain Model Editor
by: Leung, Christopher, 1975-
Published: (2009)

Gaussian mixture models for semantic ranking in domain specific databases with application in radiology
by: Barb Adrian
Published: (2011-09-01)

A guarded workflow language and its formal semantics
by: Wang, C, et al.
Published: (2010)

A Guarded Workflow Language and Its Formal Semantics
by: Wang, C, et al.
Published: (2010)

Specification of vertical semantic consistency rules of UML class diagram refinement using logical approach
by: Nuraini Abdulganiyyi, Nuraini
Published: (2014)

Semantics of Object−Oriented Data Models − The Evolving Algebra Approach
by: Gottlob, G, et al.
Published: (1990)

Combination of Bayesian and Latent Semantic Analysis with Domain Specific Knowledge
by: Shen Lu, et al.
Published: (2016-06-01)

Denotational Semantics of A User-Oriented, Domain-Specific Language
by: Julien Mercadal, et al.
Published: (2013-09-01)

Concurrency and Refinement in the Unified Modeling Language
by: Davies, J, et al.
Published: (2002)

Concurrency and Refinement in the Unified Modeling Language
by: Davies, J, et al.
Published: (2003)

Data Refinement Refined
Published: (1985)

Domain-Specific On-Device Object Detection Method
by: Seongju Kang, et al.
Published: (2022-01-01)

Semantics-aware dynamic localization and refinement for referring image segmentation
by: Yang, Z, et al.
Published: (2023)

S3QL: A distributed domain specific language for controlled semantic integration of life sciences data
by: de Lencastre Hermínia, et al.
Published: (2011-07-01)

Composition and refinement of behavioral specifications
by: Pavlovic, D, et al.
Published: (2001)

Mapping relational databases to semantic web using domain-specific knowledge
by: Mallede, Wondimagegn Yalew
Published: (2014)

A Semantic Domain-Specific Framework to Assist Researchers in Screening Contents
by: Maryam Tayefeh Mahmoudi, et al.
Published: (2014-03-01)