Results 11 to 20 of about 293,253 (337)

Semantic animacy constraints of the Brazilian Portuguese null object

Revista Linguística, 2022
With this paper, we aim to make some reflections on the Brazilian Portuguese null object and its semantic animacy constraints. Many synchronic and diachronic, formalist and variationist works (GALVES, 1984; DUARTE, 1989; CYRINO, 1994, SOLEDADE, 2011 ...
Gabriel Guimarães Peixoto da Silva
doaj   +1 more source

Maximizing Test Coverage for Security Threats Using Optimal Test Data Generation

Applied Sciences, 2023
As time continues to advance, the need for robust security threat mitigation has become increasingly vital in software. It is a constant struggle to maximize test coverage through optimal data generation.
Talha Hussain, Rizwan Bin Faiz, Mohammad Aljaidi, Adnan Khattak, Ghassan Samara, Ayoub Alsarhan, Raed Alazaidah   +6 more
doaj   +1 more source

Ontology-Based Transformation and Verification of UML/OCL Constraints

Sukkur IBA Journal of Computing and Mathematical Sciences, 2021
In Software Engineering (SE), the graphical models specify the system's architecture, connection, and characteristics. New SE methods such as MDA utilize graphical models as a nucleus of all development activities.
Abdul Hafeez, Asif Ali Wagan, Aamir Iqbal Umrani, Samreen Javed   +3 more
doaj   +1 more source

Converting OCL and CGMES Rules to SHACL in Smart Grids

IEEE Access, 2020
Models are first-class elements in Model-Driven Engineering (MDE). In this paradigm, the most widespread approaches adopted by the development community are Object-Oriented and ontological, formalized using Unified Modeling Language (UML) and Resource ...
Mohamed Larhrib, Miguel Escribano, Carlos Cerrada, Juan Jose Escribano   +3 more
doaj   +1 more source

Embedded Software Safety Analysis Based on OCL-constraint Modeling [PDF]

Jisuanji gongcheng, 2018
At present,many model-driven software safety analysis approaches have been proposed to identify the software failure modes and system hazards of the software products.However,these existing approaches do not integrate the safety constraint into the ...
CUI Hongjun,HUANG Meifeng,WU Zhenyu
doaj   +1 more source

User Assistance Characteristics of the USE Model Checking Tool [PDF]

Electronic Proceedings in Theoretical Computer Science, 2017
The Unified Modeling Language (UML) is a widely used general purpose modeling language. Together with the Object Constraint Language (OCL), formal models can be described by defining the structure and behavior with UML and additional OCL constraints.
Frank Hilken, Martin Gogolla
doaj   +1 more source

OCL Based Approach for Sustainable ML Model Development [PDF]

E3S Web of Conferences, 2023
It became a bottleneck for the Machine Learning (ML) researchers to select/develop a sustainable model for a particular problem. Hence, there is a need for an approach to prepare a model with all constraints of the software system.
Hanumanthu Gautam, Lendale Venkateswarlu, Ramesh G., Kandukuri Prabhakar, Amir Mohd   +4 more
doaj   +1 more source

Enriching OCL Using Observational Mu-Calculus [PDF]

, 2002
.
Bradfield, Julian, Filipe, Juliana, Stevens, Perdita   +2 more
core   +2 more sources

A geometric constraint over k-dimensional objects and shapes subject to business rules [PDF]

, 2008
This report presents a global constraint that enforces rules written in a language based on arithmetic and first-order logic to hold among a set of objects.
G. Tack, K.C.K. Cheng, M. Carlsson, N. Beldiceanu, N. Beldiceanu, N. Eén, O. Lhomme, P. Codognet, P. Hentenryck Van, P. Hentenryck Van, V. Ganesh, W. Harvey   +11 more
core   +3 more sources

Verb Agreement and the Structure of the Clause in Karaja

Kansas Working Papers in Linguistics, 1997
In this paper, we discuss the subject and object agreement systems in Karaja, a Brazilian indigenous language of the Macro-Je stock, with relation to the Feature Specification Constraint (FSC) proposed by Murasugi, 94.
Maia, Marcus
doaj   +1 more source