障碍
发表于 2025-3-23 12:43:37
Modeling Domain Variability in Requirements Engineering with Contextsr, most requirements specifications do not consider contextual properties and few modeling notations explicitly specify how domain variability affects the requirements. In this paper, we propose an approach for using contexts to model domain variability in goal models. We discuss the modeling of con
custody
发表于 2025-3-23 16:24:04
http://reply.papertrans.cn/24/2351/235005/235005_12.png
compassion
发表于 2025-3-23 19:21:08
Towards an Ontological Modeling with Dependent Types: Application to Part-Whole Relationsproperties, leading to reason outside the logic. Alternatively, classical languages for conceptual modeling such as UML lack of formal foundations resulting in ambiguous interpretations of mereological relations. Moreover, they cannot prove that a given specification is correct from a logical perspe
流逝
发表于 2025-3-24 02:02:32
http://reply.papertrans.cn/24/2351/235005/235005_14.png
ensemble
发表于 2025-3-24 05:19:40
Tractable Query Answering over Conceptual Schemata and relationships, and cardinality constraints. This is a common setting in conceptual data modelling, where reasoning over incomplete data with respect to a knowledge base is required. We adopt a semantics for EER schemata based on their relational representation. We identify a wide class of EER s
Mutter
发表于 2025-3-24 08:43:34
http://reply.papertrans.cn/24/2351/235005/235005_16.png
FOVEA
发表于 2025-3-24 10:42:38
Cluster-Based Exploration for Effective Keyword Search over Semantic Datasetsh to access such data. Data is available in forms that may not be of easy access for not expert users. Keyword Search approaches are an effort to abstract from specific data representations, allowing users to retrieve information by providing a few terms of interest. Many solutions build on dedicate
REP
发表于 2025-3-24 18:38:36
Geometrically Enhanced Conceptual ModellingGERM), which preserves the key principles of ER modelling and at the same time introduces bulk constructions and types that support geometric objects. The model distinguishes between a syntactic level of types and an explicit internal level, in which types give rise to polyhedra that are defined by
Feigned
发表于 2025-3-24 22:46:31
http://reply.papertrans.cn/24/2351/235005/235005_19.png
athlete’s-foot
发表于 2025-3-25 00:54:49
http://reply.papertrans.cn/24/2351/235005/235005_20.png