Towards rigorously faking bidirectional model transformations

Towards rigorously faking bidirectional model transformations

Bidirectional model transformations (bx) are mechanisms for automatically restoring consistency between multiple concurrently modified models. They are, however, challenging to implement; many model transformation languages not supporting them at all. In this paper, we propose an approach for automa...

Saved in:

書目詳細資料
Main Authors:	POSKITT, Christopher M., DODDS, Mike, PAIGE, Richard F., RENSINK, Arend
格式:	text
語言:	English
出版:	Institutional Knowledge at Singapore Management University 2014
主題:	Software Engineering
在線閱讀:	https://ink.library.smu.edu.sg/sis_research/4913 https://ink.library.smu.edu.sg/context/sis_research/article/5916/viewcontent/PoskittDPR.AMT.2014.pdf
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!
機構:	Singapore Management University
語言:	English

相似書籍

FakeSpotter: A simple yet robust baseline for spotting AI-synthesized fake faces
由: WANG, Run, et al.
出版: (2021)

Towards practical graph-based verification for an object-oriented concurrency model
由: HEUßNER, Alexander, et al.
出版: (2015)

Bidirectional paper-repository tracing in software engineering
由: GARIJO, Daniel, et al.
出版: (2024)

DeepSonar: Towards effective and robust detection of AI-synthesized fake voices
由: WANG, Run, et al.
出版: (2020)

Towards a rigorous assessment of systems biology models: The DREAM3 challenges
由: Prill R.J., et al.
出版: (2018)

Bidirectional Mining of Non-Redundant Recurrent Rules from a Sequence Database
由: LO, David, et al.
出版: (2011)

Towards learning and verifying invariants of cyber-physical systems by code mutation
由: CHEN, Yuqi, et al.
出版: (2016)

Graph Transformation: 16th International Conference, ICGT 2023, Leicester, July 19-20: Proceedings
由: FERNÁNDEZ, Maribel, et al.
出版: (2023)

Creating rigorous open cloaks
由: Han, T.C., et al.
出版: (2014)

Rigorous Minds, Compassionate Hearts
由: GOH, Yihan
出版: (2007)

Proceedings of the 13th International Workshop on Graph Computation Models (GCM 2022)
由: HECKEL, Reiko, et al.
出版: (2022)

Sentiment detection with bidirectional encoder representations from transformers
由: Pyae, Hlian Moe
出版: (2021)

An interference-free programming model for network objects
由: SCHILL, Mischael, et al.
出版: (2016)

DaisyRec 2.0: benchmarking recommendation for rigorous evaluation
由: Sun, Zhu, et al.
出版: (2023)

Learning from mutants: Using code mutation to learn and monitor invariants of a cyber-physical system
由: CHENG, Yuqi, et al.
出版: (2018)

Contributing to rigorous and forward thinking explanatory theory
由: Grover, V., et al.
出版: (2013)

RIGOROUS SECURITY ANALYSIS OF MACHINE LEARNING SYSTEMS
由: TEODORA BALUTA
出版: (2024)

FakePolisher: Making deepfakes more detection-evasive by shallow reconstruction
由: HUANG, Yihao, et al.
出版: (2020)

A rigorous multipolar framework for nanoparticles optical properties description : theory and experiments
由: Rouxel, Jeremy
出版: (2016)

Rigorous analytical modeling of high-aperture focusing through a spherical interface
由: Hoang, T.X., et al.
出版: (2014)

REDriver: Runtime enforcement for autonomous vehicles
由: SUN, Yang, et al.
出版: (2024)

A rigorous methodology for specification and verification of business processes
由: Masalagiu, C., et al.
出版: (2013)

Practical guidelines for rigor and reproducibility in preclinical and clinical studies on cardioprotection
由: Bøtker H.E., et al.
出版: (2019)

Towards model checking Android applications
由: BAI, Guangdong, et al.
出版: (2018)

Implementation of bidirectional resonant DC transformer in hybrid AC/DC micro-grid
由: Huang, Jingjing, et al.
出版: (2021)

Hoare-style verification of graph programs
由: POSKITT, Christopher M., et al.
出版: (2012)

ECGTransForm: empowering adaptive ECG arrhythmia classification framework with bidirectional transformer
由: Eldele, Emadeldeen, et al.
出版: (2023)

Towards learning and verifying invariants of cyber-physical systems by code mutation
由: CHEN, Yuqi, et al.
出版: (2016)

Rigorous bounds on greybody factors for various types of black holes
由: Tritos Ngampitipan
出版: (2014)

Rigorous bounds on greybody factors for various types of black holes
由: Tritos Ngampitipan
出版: (2017)

Reorienting the business school agenda: The case for relevance, rigor, and righteousness
由: Birnik, A., et al.
出版: (2013)

Incorrectness logic for graph programs
由: POSKITT, Christopher M.
出版: (2021)

Mind the gap: Reimagining an interactive programming course for the synchronous hybrid classroom
由: POSKITT, Christopher M., et al.
出版: (2022)

Rigorous results, cross-model justification, and the transfer of empirical warrant: The case of many-body models in physics
由: Gelfert, A.
出版: (2011)

Fixing your own smells: Adding a mistake-based familiarization step when teaching code refactoring
由: TAN, Ivan Wei Han, et al.
出版: (2024)

Towards general conceptual model editing via adversarial representation engineering
由: ZHANG, Yihao, et al.
出版: (2024)

Rigorous derivation and fast solution of spatial-domain Green's functions for uniaxial anisotropic multilayers using modified fast hankel transform method
由: Ding, P.-P., et al.
出版: (2014)

Towards secure and robust stateful deep learning systems with model-based analysis
由: Du, Xiaoning
出版: (2020)

Toxicity prediction via algebraic graph-assisted bidirectional transformers
由: Ooi, Yen Sun
出版: (2023)

Reaching for rigor and relevance: Better marketing research for a better world
由: MADAN, Shilpa, et al.
出版: (2022)