Keywords: Constraints; Domain modeling; Rich client; UML; OCL; Model slicing;
مقالات ISI (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: Eye movements; Eyeblinks; Saccades; Electrooculogram; Electroencephalogram; Glossokinetic artifact; AEMU; adult epilepsy monitoring unit; AEDs; anti-epileptic drugs; DC; direct current; EEG; electroencephalography; EOG; electrooculogram; EOG montage-A; EO
Keywords: CPAL; Continuous Paired Associate Learning; DET; Detection Task; GMCT; Groton Maze Chase Test; GMLT; Groton Maze Learning Test; IDN; Identification Task; OBK; One Back Task; OCL; One Card Learning Task; SETS; Set Shifting; TWOB; Two Back Task; VAS; Visual
Keywords: Model transformation; OCL; Weakest pre-condition
Keywords: Anti-patterns; Refactoring; Performance measurements; Columbus; EMF-IncQuery; OCL;
Keywords: Persistent hyaloid artery; Cataract surgery; Central retinal vein occlusion; Central retinal artery occlusion; Combined central retinal artery and vein occlusionArteria hialoidea persistente; Cirugía de catarata; Oclusión arteria central de la retina; Ocl
Object constraint language for code generation from activity models
Keywords: Code generation; UML; XML; OCL; Activity diagram;
Effect of time and dietary supplementation with processed yeasts (Kluyveromyces fragilis) on immunological parameters in weaned piglets
Keywords: Bet2; β-2-microglobulin; BW; body weight; CD; cluster of differentiation; CLDN; claudin; CON; control; CP; crude protein; DM; dry matter; HY; hydrolyzed yeast; IL; interleukin; LPS; lipopolysaccharides; NHY; non-hydrolyzed yeast; OCL; Noccludin; PBMC; pe
Colored a-Si:H transparent solar cells employing ultrathin transparent multi-layered electrodes
Keywords: a-Si:H; hydrogenated amorphous silicon; BIPV; building-integrated photovoltaic; EQE; external quantum efficiency; GZO; ZnO:Ga; ITO; indium tin oxide; NW; nanowire; OCL; optoelectronic controlling layer; OMO; oxide-metal-oxide; TCE; transparent conducting
Bioengineered Bruch's-like extracellular matrix promotes retinal pigment epithelial differentiation
Keywords: AMD; Age-related macular degeneration; ARPE19-ECM; ARPE19 cell-derived extracellular matrix; BrM; Bruch's membrane; ECM; extracellular matrix; RPE; retinal pigment epithelium; ICL; inner collagenous layer; OCL; outer collagenous layer; RBL; retinal pigmen
Formation of 2,6-dichloro-1,4-benzoquinone from aromatic compounds after chlorination
Keywords: 2,6-Dichloro-1,4-benzoquinone; Phenol; para-Substituted phenolic compound; 3,5-Dichloroquinone-4-chloroimide; para-Substituted aromatic amine; Chlorination; ALA-TYR; l-Alanyl-l-tyrosine; APHA; American Public Health Association; AWWA; American Water Works
Simplification of UML/OCL schemas for efficient reasoning
Keywords: UML; OCL; Reasoning; Simplification;
Generating reusable, searchable and executable “architecture constraints as services”
Keywords: Architecture constraint; OCL; Constraint-component; Constraint-service; Automatic translation; Introspection; OSGi;
A semi-automatic maintenance and co-evolution of OCL constraints with (meta)model evolution
Keywords: Metamodel; Evolution; OCL; Constraints; Co-evolution;
Interplay between CaSR and PTH1R signaling in skeletal development and osteoanabolism
Keywords: 1,25D; 1,25-dihydroxyvitamin D; Agg; aggregan; ALP; alkaline phosphatase; BRU; bone remodeling unit; CaSR; extracellular calcium-sensing receptor; [Ca2+]e; extracellular calcium concentration; Col(I); type I collagen; α1(I); alpha 1 subunit of the type I
A metamodel to integrate business processes time perspective in BPMN 2.0
Keywords: BPM; BPMN; Time perspective; Metamodel; OCL; MDE; Legacy system;
Security architecture metamodel for Model Driven security
Keywords: SMSA; Security connector; UML profile; ADL; OCL; Vulnerability point’s detection architectures
An analysis of metamodeling practices for MOF and OCL
Keywords: Metamodeling; MOF; OCL
Editorial/PrefaceShape memory polymers: Past, present and future developments
Keywords: ADMET; acyclic diene metathesis; EOC; ethylene-1-octene copolymer; LC; liquid crystal; LDPE; low density polyethylene; HDPE; high density polyethylene; IPN; interpenetrating network; OCL; oligo-É-caprolactone; PA; polyamide; PCL; poly-É-caprolactone; PE
Metastable excited states of OBr2− and OCl2− dianions
Keywords: Potential energy curves (PECs); Diatomic dianion; OBr; OCl; Metastable
On OCL-based imperative languages
Keywords: OCL; Imperative programming language; UML; Embedding
Formal verification of static software models in MDE: A systematic review
Keywords: MDE; Formal verification; OCL; Systematic literature review
Specification of temporal properties with OCL
Keywords: OCL; Temporal patterns; Eclipse/MDT; Model-driven engineering; Formal methods
Measles virus nucleocapsid protein, a key contributor to Paget's disease, increases IL-6 expression via down-regulation of FoxO3/Sirt1 signaling
Keywords: PD; Paget's disease; MVNP; measles virus nucleocapsid protein; OCL; osteoclast; FoxO; forkhead-box class O; TRAP; tartrate resistant acid phosphatase; TRAP-MVNP; MVNP expression under regulation of the TRAP gene promoter; WT; wild-type; PVDF; polyvinylide
Automated reasoning on UML conceptual schemas with derived information and queries
Keywords: Automated reasoning; Conceptual modelling; UML; OCL; Derived attributes and derived roles; Queries
Synthetic osteochondral grafting of ankle osteochondral lesions
Keywords: Ankle; OCL; Synthetic graft
Toll recognition signal activates oenocytoid cell lysis via a crosstalk between plasmatocyte-spreading peptide and eicosanoids in response to a fungal infection
Keywords: ACB; anticoagulant buffer; dsRNA; double-stranded RNA; GBP; growth-blocking peptide; OCL; oenocytoid cell lysis; PG; prostaglandin; PLA2; phospholipase A2; PO; phenoloxidase; PSP; plasmatocyte-spreading peptide; RNAi; RNA interference; RT-qPCR; real time
Novel metal implantation technique for secondary osteochondral defects of the medial talar dome – one-year results of a prospective study
Keywords: HemiCap; OCL; osteochondral lesion; resurfacingHemiCap; OCL; osteochondrale Läsion; Oberflächenersatz
Advanced voltage control integrated in DMS
Keywords: AVC; advanced voltage control; AVR; automatic voltage regulator; CB; capacitor bank; DG; distributed generator; DLP; daily load profile; DMS; distribution management system; DN; distribution network; DPFP; daily power factor profile; HV; high voltage; LDC
Comprehensive two-level analysis of role-based delegation and revocation policies with UML and OCL
Keywords: UML; OCL; RBAC; Delegation; Revocation
Tumor-stroma co-evolution in prostate cancer progression and metastasis
Keywords: AR; androgen receptor; ARCaP; androgen refractory prostate cancer; β2M; β2-microglobulin; BDNF; brain derived neurotropic factor; BMP; bone morphogenetic protein; BSP; bone sialoprotein; CAF; cancer-associated fibroblast; CCL5; chemokine (C-C) ligand
A family of languages for architecture constraint specification
Keywords: Architecture constraint; Constraint language; ADL; Software component; MOF; OCL; Constraint transformation
Verification and validation of declarative model-to-model transformations through invariants
Keywords: Model-to-model transformation; Model-Driven Development; OCL; Verification and validation; Triple Graph Grammars; QVT
From UML/OCL to SBVR specifications: A challenging transformation
Keywords: UML; OCL; SBVR; Model transformation
Thymine hydroperoxide as a potential source of singlet molecular oxygen in DNA
Keywords: O2 (1Îg); singlet molecular oxygen; 5-HPMU; 5-(hydroperoxymethyl)uracil; 5-HPMdU; 5-(hydroperoxymethyl)-2â²-deoxyuridine; 5-HMU; 5-(hydroxymethyl)uracil; 5-HMdU; 5-(hydroxymethyl)-2â²-deoxyuridine; 5-FoU; 5-formyluracil; AVS; anthracene-9,10-divinylsul
Automated traceability analysis for UML model refinements
Keywords: UML; OCL; Impact analysis; Traceability link; Refinement
Automated analysis of security-design models
Keywords: UML; OCL; SecureUML; Security policies; Formal analysis; Metamodels
Incremental integrity checking of UML/OCL conceptual schemas
Keywords: Model-driven development; Efficient constraint checking; Incremental; Runtime checking; UML; OCL
Specifying and validating structural constraints of analysis class models using OCL
Keywords: OCL; Class model; Structural constraints
OCL2Trigger: Deriving active mechanisms for relational databases using Model-Driven Architecture
Keywords: Integrity constraints; Model-Driven Architecture; CASE tools; Active database systems; OCL; Sequence diagrams
Constraint-driven development
Keywords: UML; MDD; OCL; UML-RSDS; Verification
Using UML and OCL to maintain the consistency of spatial data in environmental information systems
Keywords: Software Engineering; OCL; UML; Agricultural spreading; Spatial data
USE: A UML-based specification environment for validating UML and OCL
Keywords: UML; OCL; Model; Constraint; Invariant; Pre- and post-conditions; Model validation; Model certification; Model execution
An ontological approach to describe the SQL:2003 object-relational features
Keywords: Databases; SQL:2003 Standard; Ontology; Object-Relational Features; CWM; UML; OCL
Formalizing UML Models and OCL Constraints in PVS
Keywords: OCL; PVS; Formal Verification; Formal Semantics; UML;
Toward Translating Design Constraints to Run-Time Assertions
Keywords: Design assertions; UML; OCL; transformation rules;
A Dual Language Approach to the Development of Time-Critical Systems
Keywords: time-critical system; verification; testing; UML; OTL; OCL;
Coherently Explaining UML Statechart and Collaboration Diagrams by Graph Transformations
Keywords: UML; graph transformation; integrated formal semantics; OCL;
Methods of checking general safety criteria in UML statechart specifications
Keywords: System safety; Software specification; Safety criteria; UML statecharts; OCL; Graph transformation; Reachability analysis;