Keywords: Programming; FORTRAN; Object-oriented; C#; .NET; UML;
مقالات ISI (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: DSM; DR; FPGA; HAN; UML; Verilog;
Keywords: PHR; PDS; Alloy; UML;
Keywords: Housing stock; Dynamic energy simulation; Open-source; Modularity; Policy support; ASHRAE; American Society of Heating, Refrigerating, and Air-Conditioning Engineers; BREDEM; Building Research Establishment Domestic Energy Model; CCC; Committee on Climate
Keywords: A survey; Software architectures; Informal/formal semantics; ADLs; UML; Formal specification languages;
Keywords: Constraints; Domain modeling; Rich client; UML; OCL; Model slicing;
Keywords: Model-driven engineering; UML; Software refactoring; Performance engineering; Performance antipatterns;
Keywords: Reliability block diagram; Redundancy structure; Search algorithms; UML; Optimization; Empirical studies;
Keywords: Information Systems; Project Management; Analisis and Design; UML; Consulting Company;
Keywords: Design languages; Model based engineering; UML;
Keywords: IACS; Domain model; LPIS; Interoperability; Policy modelling; UML;
Keywords: Weather database; Data client; Weather input data; UML; APE; absolute percentage error; CV; coefficient of variation; DSSAT; decision support system for agrotechnology transfer; FTP; file transfer protocol; GCM; general circulation model; GSOD; global sum
Keywords: Model refactoring; UML; B; CSP; Association relationship
Keywords: Class hierarchy; Conceptual modelling; ER; EER; Ontology; OntoER; OntoORM; OntoUML; ORM; Semantics; UML
Keywords: Control flow graph; Data flow graph; Error propagation analysis; Discrete time Markov chain; Dependability; UML
Keywords: NLP; natural language processing; UML; unified modeling language; ER; entity relationship; EER; extended entity relationship; OOAD; object oriented analysis and design; SDLC; software development life cycle; OO; object oriented; NLTK; natural language too
Keywords: State-based testing; UML; Cost effectiveness; Automated testing; Empirical evaluation; Industrial case study
Keywords: Architectural abstraction; Architectural component and connector views; Software evolution; UML; Model transformation
Keywords: Land administration; Subdivision; Unplanned areas; Urban land; UML; RRR;
Keywords: Process diagrams; Process notations; Understandability; BPMN; EPC; UML
UML2OPC-UATransforming UML Class Diagrams to OPC UA Information Models
Keywords: UML; OPC UA; ATL; MDE;
Activity-based DEVS modeling
Keywords: Activity modeling; Behavioral modeling; GMF; Model Driven Development; DEVS; UML;
Ensuring the semantic correctness of a BAUML artifact-centric BPM
Keywords: Verification; Validation; Reasoning; Tool; Business process modeling; UML;
Object constraint language for code generation from activity models
Keywords: Code generation; UML; XML; OCL; Activity diagram;
SAwUML - UML-based, contractual software architectures and their formal analysis using SPIN
Keywords: Software architecture; UML; Design-by-Contract; ProMeLa; Formal verification;
SHARC - Simulation and Verification of Hierarchical Embedded Microelectronic Systems
Keywords: UML; Virtual Prototype; Simulation; MDA; Functional Safety; ISO26262;
Transformation of deterministic models into state space models for safety analysis of safety critical systems: A case study of NPP
Keywords: RV; Re-circulation Valve; RCICS; Reactor Core Isolation Cooling System; RP; Re-circulation Pump; RCICT; Reactor Core Isolation Colling System Turbine; RCICP; Reactor Core Isolation Colling Pump; CST; Condensate Storage Tank; SP; suppression pool; NPP; Nuc
Aproximación Basada en UML para el Diseño y Codificación Automática de Plataformas Robóticas Manipuladoras
Keywords: Robots manipuladores; UML; MDE-Model Driven Engineering; ROS-Robotic Operating System-; OROCOS - Open Robot Control Software-; Manipulator robots; UML-Unified Modeling Language; MDE-Model Driven Engineering; ROS-Robotic Operating System; OROCOS- Open Ro
A structured and systematic model-based development method for automotive systems, considering the OEM/supplier interface
Keywords: ISO 26262; Automotive; Hazard analysis; Risk assessment; Safety goal; Safety; Functional; Technical; Requirement; UML; Validation and verification;
A visual UML-based conceptual model of information-seeking by computer science researchers
Keywords: Information-seeking process; Visual conceptual model; Information retrieval; Human-computer interaction; Qualitative study analysis; UML;
Simplification of UML/OCL schemas for efficient reasoning
Keywords: UML; OCL; Reasoning; Simplification;
Do UML object diagrams affect design comprehensibility? Results from a family of four controlled experiments
Keywords: Object diagram; Family of experiments; Model comprehension; UML;
Model transformation between OPC UA and UML
Keywords: Model transformation; OPC UA; QVT; UML;
Design pattern-based model transformation supported by QVT
Keywords: Design pattern; Model transformation; QVT; UML;
Rosen's (M,R) system as an X-machine
Keywords: Systems biology; Computability; Reductionism; Mechanism; Self-reference; Turing machine; UML; Unified Modelling Language; Finite state machine; Stream X-machine; Communicating X-machine;
Automatic Transformation of UML System Models for Model-based Error Propagation Analysis of Mechatronic Systems
Keywords: UML; Activity Diagrams; Control Flow; Data Flow; Error Propagation Analysis; Dual-graph Error Propagation Model; Medical Patient Table;
Rosen's (M,R) system in Unified Modelling Language
Keywords: Relational biology; Computability; Halting problem; Entscheidungsproblem; (M,R); Rosen; Reduction; Reductionism; Systems biology; Simulation; Modelling; UML; Unified Modelling Language; Object-orientation; OOP; Entailment; Networks;
Simulation-based Verification of Automotive Safety-critical Systems Based on EAST-ADL
Keywords: UML; EAST-ADL; automotive; ISO26262; simulation; verification; SystemC ;
CMFDM: A methodology to guide the design of a conceptual model of farmers' decision-making processes
Keywords: Decision modeling; Farming systems; Water management; Case-based analysis; Cognitive task analysis; UML;
MDMA-assisted therapy: A new treatment model for social anxiety in autistic adults
Keywords: 5HT1A; 5-hydroxytryptamine (serotonin) receptor 1A; 8-OH-DPAT; 7-(Dipropylamino)-5,6,7,8-tetrahydronaphthalen-1-ol; ADOS-2; Autism Diagnostic Observation Schedule, Second Edition (Module 4); BDI; Beck Depression Inventory; CAPS; Clinician-Administered PTS
Hazard analysis of human-robot interactions with HAZOP-UML
Keywords: Hazard identification; Risk analysis; Robot safety; HAZOP; UML;
FAME: A UML-based framework for modeling fuzzy self-adaptive software
Keywords: Software self-adaptation; Self-adaptive software modeling; SFSA; UML; Uncertainty;
Working with the HL7 metamodel in a Model Driven Engineering context
Keywords: HL7; Health Level 7; MDE; Model Driven Engineering; UML; Unified Modeling Language; MIF; Model Interchange Format; NDT; Navigational Development Techniques; CDA; Clinical Document Architecture; OMG; Object Management Group; EA; Enterprise Architect; M2M;
Automatic synthesis of communication and concurrency for exploring component-based system implementations considering UML channel semantics
Keywords: UML; Embedded systems; Automatic synthesis; Communication semantics
Consistency of UML class, object and statechart diagrams using ontology reasoners
Keywords: Consistency; Ontology; UML; Reasoning;
Approaching the feasibility of SBVR as modeling language for ontology development: An exploratory experiment
Keywords: Exploratory experiment; Ontology development; UML; SBVR
Generation of UML package diagrams based on an attribute graph grammar
Keywords: Graph grammar; UML; Package diagram; SVG
Automatic synthesis of embedded SW for evaluating physical implementation alternatives from UML/MARTE models supporting memory space separation
Keywords: System on chip; Software synthesis; UML; MARTE; Design space exploration; Heterogeneity
Virtual approach to holonic control of the tyre-manufacturing system
Keywords: Tyre manufacturing; Holonic manufacturing system; Virtual environment; UML; JADE
Model-based early and rapid estimation of COSMIC functional size – An experimental evaluation
Keywords: Functional size measurement; COSMIC Function Points; Approximate software sizing methods; Size estimation methods; Model-based measurement; UML