Results 31 to 40 of about 293,253 (337)
Reflections on the Object Constraint Language [PDF]
, 1999 The Object Constraint Language (OCL), which forms part of the UML set of modelling notations, is a precise, textual language for expressing constraints that cannot be shown diagrammatically in UML. This paper reflects on a number of aspects of the syntax and semantics of the OCL, and makes proposals for clarification or extension.
Hamie, Ali +4 more
openaire +1 more source
L2 acquisition of Spanish dative clitics by English and Dutch learners
Studies in Second Language Learning and Teaching, 2017 This article examines the second language acquisition (SLA) of Spanish dative clitics in clitic doubling (CLD) structures that are closely related to the double object construction (DOC) in English and Dutch.
M. Ángeles Escobar-Álvarez
doaj +1 more source
A Software Deployment Description Language for Performance Optimization [PDF]
Jisuanji gongcheng, 2017 The existing Software as a Service(SaaS) dynamic deployment models and languages mainly focus on deployment configuration information and performance or resource availability requirement when describing software deployment scheme,which cannot support ...
LUO Hui,YING Shi,LI Lin,DONG Bo
doaj +1 more source
Comprehension of Complex Structures by Persian-speaking Aphasics: The Role of Cognitive Load
Journal of Modern Rehabilitation, 2021 Introduction: So far, many studies have investigated the extent and nature of the grammatical deficit in aphasia. However, to the best of our knowledge, this research is the first in the Persian language to inspect the comprehension of patients with ...
Omid Azad
doaj
Modelling System of Systems Interface Contract Behaviour [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 A key challenge in System of Systems (SoS) engineering is the analysis and maintenance of global properties under SoS evolution, and the integration of new constituent elements. There is a need to model the constituent systems composing a SoS in order to
Oldrich Faldik +3 more
doaj +1 more source
Automatic Verification of Transactions on an Object-Oriented Database [PDF]
, 1997 In the context of the object-oriented data model, a compiletime approach is given that provides for a significant reduction of the amount of run-time transaction overhead due to integrity constraint checking.
Balsters, H., Spelt, D.
core +4 more sources
A constraint library for specification of industrial data models
Труды Института системного программирования РАН, 2018 The paper is addressed to an analysis of object-oriented data models specified at EXPRESS language and widely used in industrial applications. These models play important role for achievement of software interoperability and system integration in ...
S. V. Morozov +3 more
doaj +1 more source
Specifying Usage Control Model with Object Constraint Language [PDF]
2010 Fourth International Conference on Network and System Security, 2010 The recent usage control model (UCON) is a foundation for next-generation access control models with distinguishing properties of decision continuity and attribute mutability. Constraints in UCON are one of the most important components that have involved in the principle motivations of usage analysis and design.
Min Li, Hua Wang
openaire +1 more source
Test Case Generation for Object-Oriented Imperative Languages in CLP
, 2010 Testing is a vital part of the software development process. Test Case Generation (TCG) is the process of automatically generating a collection of test cases which are applied to a system under test.
Albert +7 more
core +1 more source
Innovative Plug-and-Play System for Electrification of Wheel-Chairs
IEEE Access, 2023 Self-propelled wheelchairs are challenging to drive on off-road routes or require enormous physical effort in situations where the gradient exceeds 8%. For most people, these situations are too strenuous and therefore impractical.
Federico Pacini +4 more
doaj +1 more source