Results 31 to 40 of about 10,065 (265)
Definitions and Computational Properties of OCL: A Systematic Review
IEEE AccessObject Constraint Language (OCL) plays a pivotal role in Model Driven Architecture (MDA), an important applied software engineering concept created over a quarter of a century ago. The expressiveness and precision of the primary specification language in
Goran Rajic, Vlado Sruk
doaj +1 more source
Ontology-Based Verification of UML Class/OCL Model
Mehran University Research Journal of Engineering and Technology, 2018 Software models describe structures, relationships and features of the software. Modern software development methodologies such as MDE (Model Driven Engineering) use models as core elements.
Abdul Hafeez +2 more
doaj +1 more source
Modeling and Solving a Latin American University Course Timetabling Problem Instance
Mathematics, 2020 Timetabling problem is a complex task that is performed by a number of institutions worldwide, which has been usually addressed as an optimization problem where every approach considers the particular constraints of each institution under consideration ...
Oscar Chávez-Bosquez +3 more
doaj +1 more source
FEBS Open Bio, EarlyView.Under environmental changes, the expression level of neuropeptide (NP) and neuropeptide receptor (NPR) genes changes to confer context‐dependent adaptation to the model organism Drosophila melanogaster. Through finding more regulatory elements in the NPR genes in comparison with their ligands (NPs), we found that NPR‐biased transcriptional regulation ...
SeungHeui Ryu +6 more
wiley +1 more source
Verifying the structure and behavior in UML/OCL models using satisfiability solvers
IET Cyber-Physical Systems, 2016 Due to the ever increasing complexity of embedded and cyber-physical systems, corresponding design solutions relying on modelling languages such as Unified Modelling Language (UML)/Object Constraint Language (OCL) find increasing attention.
Nils Przigoda +4 more
doaj +1 more source
FEBS Open Bio, EarlyView.What factors make for an effective digital learning tool in Higher Education? This systematic review identifies elements of a digital tool that published examples reveal to be features of an engaging and impactful digital tool. A systematic literature search yielded 25 research papers for analysis.
Akmal Arzeman +4 more
wiley +1 more source
Query Migration from Object Oriented World to Semantic World
International Journal of Interactive Multimedia and Artificial Intelligence, 2016 In the last decades, object-oriented approach was able to take a large share of databases market aiming to design and implement structured and reusable software through the composition of independent elements in order to have programs with a high ...
Nassima Soussi, Mohamed Bahaj
doaj +1 more source
Pathogenic Neurofibromatosis type 1 gene variants in tumors of non‐NF1 patients and role of R1276
FEBS Open Bio, EarlyView.Somatic variants of the neurofibromatosis type 1 (NF1) gene occur across neoplasms without clinical manifestation of the disease NF1. We identified emerging somatic pathogenic NF1 variants and hotspots, for example, at the arginine finger 1276. Those missense variants provide fundamental information about neurofibromin's role in cancer.
Mareike Selig +7 more
wiley +1 more source
Towards a metric suite for OCL expressions expressed within UML/OCL models
Journal of Computer Science and Technology, 2004 UML models quality is clearly a crucial issue that must be evaluated at the initial stages of object-oriented software development, in order to get software products with better quality.
Luis A. Reynoso +2 more
doaj
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Background Stroke is a leading cause of long‐term disability in adults, with upper limb hemiparesis being a common impairment. Traditional training is mostly aimed at paralyzed limbs, but the effect of bilateral training is still unclear.
Fangfang Qian +7 more
wiley +1 more source