Automatic Maintenance of Association Invariants

Automatic Maintenance of Association Invariants

Show other versions (1)

Many approaches to software specification and design make use of invariants: constraints whose truth is preserved under operations on a system or component. Object modelling involves the definition of association invariants: constraints upon the sets of links corresponding to particular associations...

Full description

Bibliographic Details
Main Authors:	Welch, J, Faitelson, D, Davies, J
Format:	Journal article
Published:	2008

Similar Items

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

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

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

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

Invariants of Automatic Presentations and Semi−Synchronous Transductions
by: Barany, V
Published: (2006)

Automatic Generation of Seamless Mosaics Using Invariant Features
by: Prajowal Manandhar, et al.
Published: (2021-08-01)

Synthesis of an Invariant Automatic Control Systems with an Internal Model
by: G. T. Kulakov, et al.
Published: (2022-12-01)

Automatic control system for automatic maintenance of microclimate in vegetable storages
by: Isakov Abdusaid, et al.
Published: (2023-01-01)

The automatic detection of token structures and invariants using SAT checking
by: Antonino, P, et al.
Published: (2017)

INVARIANT SYSTEM OF THE STEAM-DRUM BOILER FEED AUTOMATIC REGULATION
by: G. T. Kulakov, et al.
Published: (2015-10-01)

INVARIANT SYSTEM OF AUTOMATIC WATER-LEVEL REGULATING IN THE BOILER SHELL
by: G. T. Kulakov, et al.
Published: (2015-06-01)

Compositional Verification for Timed Systems Based on Automatic Invariant Generation
by: Lacramioara Astefanoaei, et al.
Published: (2015-09-01)

Automatic monitoring and maintenance of grounding system /
by: Hussein Ahmad, 1953- 236039, et al.
Published: (2006)

Automatic maintenance of substation ground resistance
by: Jambak, M.I., et al.
Published: (2000)

Automatic maintenance of substation ground resistance /
by: Muhammad Irfan Jambak, 1971-, et al.
Published: (2000)

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

An Exercise in Invariant-based Programming with Interactive and Automatic Theorem Prover Support
by: Ralph-Johan Back, et al.
Published: (2012-02-01)

The use of phonetic motor invariants can improve automatic phoneme discrimination.
by: Claudio Castellini, et al.
Published: (2011-01-01)

Automatic Detection and Classification of Knee Osteoarthritis Using Hu's Invariant Moments
by: Shivanand S. Gornale, et al.
Published: (2020-11-01)

Automatic Seizure Classification Based on Domain-Invariant Deep Representation of EEG
by: Xincheng Cao, et al.
Published: (2021-10-01)

Rotation Invariant Automatic Infrared Target Recognition using G-Radon
by: Won Jin-Ju, et al.
Published: (2016-01-01)

The cross-race effect in automatic facial expression recognition violates measurement invariance
by: Yen-Ting Li, et al.
Published: (2023-12-01)

Automatic Production of Deep Learning Benchmark Dataset for Affine-Invariant Feature Matching
by: Guobiao Yao, et al.
Published: (2023-01-01)

Automatic system of mutually invariant vector control of mixer technology state variables
by: Rudolf A. Neydorf, et al.
Published: (2016-03-01)

DISTURBANCE ERROR INVARIANCE IN AUTOMATIC CONTROL SYSTEMS FOR TECHNOLOGICAL OBJECT TRAJECTORY MOVEMENT
by: A. V. Lekareva
Published: (2016-09-01)

Differential requirement for CCR4 in the maintenance but not establishment of the invariant Vγ5(+) dendritic epidermal T-cell pool.
by: Kyoko Nakamura, et al.
Published: (2013-01-01)

The role of DOCK8 in the maintenance of CD8+ T cell memory and invariant NKT cells
by: Crawford, G
Published: (2012)

Porous invariants
by: Lefaucheux, E, et al.
Published: (2021)

Design and Fabrication of Automatic UPS Battery Maintenance System
by: Nithyaprakash R., et al.
Published: (2023-01-01)

MAINTENANCE, TESTING AND AUTOMATIC CONTROL OF THE CUP FILLING MASCHINE
by: Nebojša Miljević, et al.
Published: (2023-06-01)

Development of a Preventive Maintenance Strategy for an Automatic Production Line Based on Group Maintenance Method
by: Guofa Li, et al.
Published: (2018-09-01)

Automatic Shadow Detection for Multispectral Satellite Remote Sensing Images in Invariant Color Spaces
by: Hongyin Han, et al.
Published: (2020-09-01)

Los sufijos formadores de adjetivos en español moderno: valores genéricos y valores específicos
by: Silvia Faitelson-Weiser
Published: (1993-01-01)

Automatic Detection of Maintenance Scenarios for Equipment and Control Systems in Industry
by: Natalia Koteleva, et al.
Published: (2023-12-01)

Design of remote monitoring and automatic maintenance system of backup battery
by: LIN Yi
Published: (2015-06-01)

The role of mucosal associated invariant T cells in antimicrobial immunity
by: Ruth J Napier, et al.
Published: (2015-07-01)

Target Detection of UAV Aerial Image Based on Rotational Invariant Depth Denoising Automatic Encoder
Published: (2020-12-01)

ECONOMIC EFFICIENCY CALCULATION PROCEDURE FOR THE AUTOMATIC WATER-LEVEL REGULATING INVARIANT SYSTEM IN THE BOILER SHELL
by: A. N. Kuchorenko
Published: (2015-12-01)

Hough-transform based algorithm for the automatic invariant recognition of rectangular chocolates. Detection of defective pieces.
by: Javier Montenegro Joo
Published: (2006-12-01)

Climatologically invariant scale invariance seen in distributions of cloud horizontal sizes
by: T. D. DeWitt, et al.
Published: (2024-01-01)