Formalization of Advanced VOs semantics and VO Refinement
Logic in Computer Science
2022-05-19 v1
Authors:
Sebastian Stock
, Fabian Vu
, David Geleßus
, Atif Mashkoor
, Michael Leuschel
, Alexander Egyed
Abstract
This document lays out the foundations for VO and requirement refinement, abstractions of models, and instantiations. Also, VOs on abstractions and instantiations are considered.
Cite
@article{arxiv.2205.08988,
title = {Formalization of Advanced VOs semantics and VO Refinement},
author = {Sebastian Stock and Fabian Vu and David Geleßus and Atif Mashkoor and Michael Leuschel and Alexander Egyed},
journal= {arXiv preprint arXiv:2205.08988},
year = {2022}
}
Related papers
View all related →
Logic in Computer Science · Computer Science
IVOIRE Deliverable 1.1: Classification of existing VOs & tools and Formalization of VOs semantics
Sebastian Stock, Fabian Vu, Atif Mashkoor, Michael Leuschel +1
2022-05-13
Software Engineering · Computer Science
Refinement-Based Specification: Requirements and Architecture
Maria Spichkova
2014-04-30
Software Engineering · Computer Science
Modeling Language Variability
Hans Grönninger, Bernhard Rumpe
2014-09-24
Software Engineering · Computer Science
Modeling Language Variability
Hans Grönninger, Bernhard Rumpe
2014-09-24
Human-Computer Interaction · Computer Science
How Notations Evolve: A Historical Analysis with Implications for Supporting User-Defined Abstractions
Jingyue Zhang, J. D. Zamfirescu-Pereira, Elena L. Glassman, Damien Masson +1
2026-02-03
Logic in Computer Science · Computer Science
General Semantic Construction of Dependent Refinement Type Systems, Categorically
Satoshi Kura
2020-10-19
Computation and Language · Computer Science
Towards a Framework for Evaluating Explanations in Automated Fact Verification
Neema Kotonya, Francesca Toni
2024-05-21
Sound · Computer Science
Learning robust speech representation with an articulatory-regularized variational autoencoder
Marc-Antoine Georges, Laurent Girin, Jean-Luc Schwartz, Thomas Hueber
2021-04-08
Artificial Intelligence · Computer Science
Reasoning about the Value of Decision-Model Refinement: Methods and Application
Kim-Leng Poh, Eric J. Horvitz
2013-03-08
Computation and Language · Computer Science
Transformers and Language Models in Form Understanding: A Comprehensive Review of Scanned Document Analysis
Abdelrahman Abdallah, Daniel Eberharter, Zoe Pfister, Adam Jatowt
2024-03-08
Artificial Intelligence · Computer Science
A Formalisation of Abstract Argumentation in Higher-Order Logic
Alexander Steen, David Fuenmayor
2021-10-19
Computation and Language · Computer Science
Foundations of Large Language Models
Tong Xiao, Jingbo Zhu
2025-06-17
Logic in Computer Science · Computer Science
The Set of Equations to Evaluate Objects
Larissa Ismailova
2007-05-23
Logic in Computer Science · Computer Science
The role of logical interpretations in program development
Manuel A. Martins, Alexandre Madeira, Luis S. Barbosa
2015-07-01
Logic in Computer Science · Computer Science
Semantics of templates in a compositional framework for building logics
Ingmar Dasseville, Matthias van der Hallen, Gerda Janssens, Marc Denecker
2020-02-19
Systems and Control · Electrical Eng. & Systems
Leveraging Compositional Methods for Modeling and Verification of an Autonomous Taxi System
Alessandro Pinto, Anthony Corso, Edward Schmerling
2023-04-27
Software Engineering · Computer Science
Formal requirement and architecture specifications of a multi-agent robotic system
Nadeem Akhtar, Yann Le Guyadec, Flavio Oquendo
2015-01-22
Computation and Language · Computer Science
The Frobenius anatomy of word meanings I: subject and object relative pronouns
Mehrnoosh Sadrzadeh, Stephen Clark, Bob Coecke
2014-05-14
Machine Learning · Computer Science
Abstraction for Deep Reinforcement Learning
Murray Shanahan, Melanie Mitchell
2022-05-02
Artificial Intelligence · Computer Science
An action language-based formalisation of an abstract argumentation framework
Yann Munro, Camilo Sarmiento, Isabelle Bloch, Gauvain Bourgne +2
2024-10-01
Computation and Language · Computer Science
Refining Language Models with Compositional Explanations
Huihan Yao, Ying Chen, Qinyuan Ye, Xisen Jin +1
2022-01-03
Software Engineering · Computer Science
An Algebraic View on the Semantics of model Composition
Christoph Herrmann, Holger Krahn, Bernhard Rumpe, Martin Schindler +1
2014-09-24
Logic in Computer Science · Computer Science
Refinement by interpretation in {\pi}-institutions
César Rodrigues, Manuel A. Martins, Alexandre Madeira, Luis S. Barbosa
2019-08-15
Instrumentation and Methods for Astrophysics · Physics
IVOA Recommendation: VOTable Format Definition Version 1.3
François Ochsenbein, Roy Williams, Clive Davenhall, Daniel Durand +7
2019-05-22
Logic · Mathematics
Foundations for abstract forcing
Peter M. Johnson
2007-12-13