Keywords: معانی رسمی; Formal semantics; Hybrid systems; Process algebra; Unifying theories; Theorem proving;
مقالات ISI معانی رسمی (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: معانی رسمی; Present perfect; Aspect; (Indirect) evidentiality; Mirativity; Sudden realization; Verb classes; Stage; Formal semantics;
Keywords: معانی رسمی; Machine tool; Fault diagnosis; Knowledge modelling; Ontology; Formal semantics;
Keywords: معانی رسمی; Formal semantics; Process algebras and calculi; Reversible CCS; Hereditary history preserving bisimulation; Strong barbed congruence; Contextual characterization;
Keywords: معانی رسمی; Twitter interactions and communications; Formal semantics; Verification; Model checking;
Keywords: معانی رسمی; Phenomenology; intentionality; intentional processes; intentional systems; formal semantics;
Keywords: معانی رسمی; Domain-specific language; Multi-agent system; Semantic Web; Formal semantics; Declarative specifications
Keywords: معانی رسمی; Model synchronization; Taxonomy; Formal semantics;
Keywords: معانی رسمی; Atomic sections; Well-synchronisation; Atomicity; Program traces; Formal semantics; Proof assistant
Keywords: معانی رسمی; Concurrency theory; Formal specification; Formal semantics; Process algebra; Process calculus; Sequential composition
Keywords: معانی رسمی; Verification; Formal semantics; MOF; QVT-relations; Theory of institutions
Keywords: معانی رسمی; Symbolic execution; Formal semantics; Programming languages; Program analysis
Keywords: معانی رسمی; Formal methods; Formal semantics; Temporal logics; Model checking; Program correctness;
Keywords: معانی رسمی; Android; Java; Program analysis; Control flow; Formal semantics
Keywords: معانی رسمی; Augmented cognition; Cognitive agent-based computing; Formal ontology; Formal semantics; Social influence; Information fusion
Keywords: معانی رسمی; Knowledge representation; Conceptual graphs; Visual reasoning; Formal semantics; Clinical guidelines and protocols; Heart failure
Keywords: معانی رسمی; Process-aware Information System; Workflow Patterns; Process Time Patterns; Temporal Perspective; Temporal Constraints; Formal Semantics
A new roadmap for linking theories of programming and its applications on GCL and CSP
Keywords: معانی رسمی; Linking theories of programming; Formal semantics; Program algebra; Guarded Command Language; Communicating Sequential Processes;
Formal semantics and efficient analysis of Timed Rebeca in Real-Time Maude
Keywords: معانی رسمی; Real-time actors; Timed Rebeca; Formal semantics; Model checking; Real-Time Maude
A note on subject reduction in (â,â)-Curry with respect to complete developments
Keywords: معانی رسمی; Formal semantics; Type systems; Existential quantifier; Abstract data types; Subject reduction;
A survey on socio-semantic information retrieval
Keywords: معانی رسمی; Information retrieval; Personalized search; Emergent semantics; Formal semantics; Content semantics
A visual token-based formalization of BPMN 2.0 based on in-place transformations
Keywords: معانی رسمی; BPMN; BPM; MDA; Formal semantics; Graph transformation
On behavioural pseudometrics and closure ordinals
Keywords: معانی رسمی; Concurrency; Formal semantics; Behavioural pseudometric; Least fixed point; Closure ordinal
A correspondence between type checking via reduction and type checking via evaluation
Keywords: معانی رسمی; Formal semantics; Functional programming; Compositional evaluators; Type checkers; Continuation-passing style; Defunctionalization; Refunctionalization
Refinement-oriented models of Stateflow charts
Keywords: معانی رسمی; Simulink; Circus; Formal semantics; Verification; Tools
Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude
Keywords: معانی رسمی; Ptolemy II DE models; Formal semantics; Rewriting logic; Real-Time Maude; Model checking; Formal verification
Counterexamples to applicative simulation and extensionality in non-deterministic call-by-need lambda-calculi with letrec
Keywords: معانی رسمی; Contextual semantics; Formal semantics; Programming calculi; Program correctness
Structured design, consistency analysis and failure reasoning of business workflows with activity-control templates and causal ordering
Keywords: معانی رسمی; Workflow modeling; Structured templates; Formal semantics; Consistency analysis; Failure reasoning; XML
Closures of may-, should- and must-convergences for contextual equivalence
Keywords: معانی رسمی; Formal semantics; Programming calculi; Program correctness;
New Concepts in the Abstract Format of the Compositional Interchange Format
Keywords: معانی رسمی; Modeling; Automata; Hybrid Systems; Formal Semantics
Reconciling statechart semantics
Keywords: معانی رسمی; Statecharts; Formal semantics
Enhanced event structures: Towards a true concurrency semantics for E-LOTOS
Keywords: معانی رسمی; Event structures; Process algebra; E-LOTOS; Formal semantics; True concurrency
Generic semantics of feature diagrams
Keywords: معانی رسمی; Feature diagram; Survey; Formal semantics; Feature interaction; Software product lines
A closer look at constraints as processes
Keywords: معانی رسمی; Programming calculi; Formal semantics; Program correctness; Concurrency; Compositional encoding;
On the semantics of EPCs: Resolving the vicious circle
Keywords: معانی رسمی; Business process modelling; Event driven process chains; EPC; Formal semantics; Fixed points
A syntactic commutativity format for SOS
Keywords: معانی رسمی; Formal semantics; Structural Operational Semantics (SOS); Standard SOS formats; Commutativity;
Efficient weakest preconditions
Keywords: معانی رسمی; Program correctness; Formal semantics; Automatic theorem proving;
Formalizing UML Models and OCL Constraints in PVS
Keywords: معانی رسمی; OCL; PVS; Formal Verification; Formal Semantics; UML;
Diagram Chase in Relational System Development
Keywords: معانی رسمی; diagrams; semi-commutation; formal semantics; relational system development; B; Z; induction; coinduction; iterator algebras;
A Proof Calculus for Natural Semantics Based on Greatest Fixed Point Semantics
Keywords: معانی رسمی; Formal semantics; formal compiler correctness; natural semantics; coinductive/greatest fixed point interpretation; proof calculus;
Notions of bisimulation and congruence formats for SOS with data
Keywords: معانی رسمی; Formal semantics; Structural operational sematics; Bisimulation; Congruence; SOS formats;