Keywords: مشخصات رسمی; Cross tenant access control; Formal specification; Cloud computing; Reusable garbled circuits;
مقالات ISI مشخصات رسمی (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: مشخصات رسمی; Type systems; Formal specification; Declarative languages; First-order theorem proving; Domain-specific languages;
Keywords: مشخصات رسمی; automatic programming; formal specification; requirements-based programming; compound condition query;
Keywords: مشخصات رسمی; Automatic Web service composition; Formal specification; Web service choreography; Conformance; Data-aware algorithms; FSM;
Keywords: مشخصات رسمی; Circus; Mutation; Testing; Formal specification;
Keywords: مشخصات رسمی; Chart patterns; Formal specification; Pattern matching; Financial time series; Technical analysis;
Keywords: مشخصات رسمی; Standard; Formal specification; Ontology; OntoUML; ITU-T Recommendation G.805
Keywords: مشخصات رسمی; Software product lines; Formal specification; Behavioral specification; Labeled transition systems; Featured transition systems; Modal transition systems; Calculus of communicating systems (CCS); Product line CCS (PL-CCS);
Keywords: مشخصات رسمی; Test case generation; Formal specification; Specification-based testing; Object orientation; Object-Z
Keywords: مشخصات رسمی; Concurrency theory; Formal specification; Formal semantics; Process algebra; Process calculus; Sequential composition
Keywords: مشخصات رسمی; Formal specification; Functional orbits; Program correctness; Linked representation; Algebraic data type; Memory shape analysis; Computer-aided proof; Coq system;
Keywords: مشخصات رسمی; software modeling; formal specification; lightweight formal methods
Keywords: مشخصات رسمی; Combinatorial surfaces; Classification; Generalized maps; Formal specification; Assisted proof
Keywords: مشخصات رسمی; Information Security; Access Control Policies; Formal Specification; Algebraic Analysis
Keywords: مشخصات رسمی; Software product lines; Formal specification; Behavioural specification; Modal transition systems; Featured transition systems;
Using PRISM model checker as a validation tool for an analytical model of IEEE 802.15.4 networks
Keywords: مشخصات رسمی; Communications networks; Performance analysis; Analytical models; Validation; Formal specification; Probabilistic model checking;
Modeling and analyzing mobile ad hoc networks in Real-Time Maude
Keywords: مشخصات رسمی; Mobile ad hoc networks; Formal specification; Model checking; Real-Time Maude
Lightweight formalization and validation of ORM models
Keywords: مشخصات رسمی; Formal specification; Object-role modeling; Satisfiability checking;
Formal specification and analysis of intelligent agents for model-based medicine usage management
Keywords: مشخصات رسمی; Medicine usage management; Intelligent agent; Model-based; Formal specification
Conceptual framework for business processes compositional verification
Keywords: مشخصات رسمی; Business Process Modelling; Model-Checking; Task model; Compositional verification; Formal specification
Interactive specification and verification of behavioral adaptation contracts
Keywords: مشخصات رسمی; Formal specification; Software adaptation; Software reusability; Interaction protocol
A centralized and a decentralized method to automatically derive choreography-conforming web service systems
Keywords: مشخصات رسمی; Automatic web service composition; Formal specification; Web service choreography
Formal modeling and synthesis of programmable logic controllers
Keywords: مشخصات رسمی; PLC; Formal specification; Code synthesis; Embedded software
Formal specification of an immune based agent architecture
Keywords: مشخصات رسمی; Formal specification; Artificial immune system; Agent architecture; Agent oriented software engineering; Holonic multi-agent systems
Specifying and verifying PLC systems with TLA+ : A case study
Keywords: مشخصات رسمی; TLA+; PLC; Formal specification; Model checking
Formal specification of the variants and behavioural features of design patterns
Keywords: مشخصات رسمی; Design patterns; Formal specification; Predicate logic; Graphic modeling; Sequence diagrams; Variants of patterns
P/S-CoM: Building correct by design Publish/Subscribe architectural styles with safe reconfiguration
Keywords: مشخصات رسمی; Software architecture; Publish/Subscribe style; Event-based communication; Formal specification; Reconfiguration modeling; Graph rewriting
A security privacy aware architecture and protocol for a single smart card used for multiple services
Keywords: مشخصات رسمی; Smart cards; Multiple applications; Privacy; Security; One-time passwords; Formal specification
Reversible enhanced event structures: Towards reversible E-LOTOS
Keywords: مشخصات رسمی; Real-time discrete-event systems; Reversibility; Formal specification; Reversible enhanced event structures; Reversible E-LOTOS
Stigmergic cooperation of autonomous robots
Keywords: مشخصات رسمی; Robot programming; Formal specification; Behavioural control
Specifying authentication using signal events in CSP
Keywords: مشخصات رسمی; Authentication; Security protocols; CSP; Formal specification; Kerberos
Formal interaction specification in public health surveillance systems using ππ-calculus
Keywords: مشخصات رسمی; Formal specification; Verification; Process algebra; ππ-calculus; Public health surveillance systems; Mobility
Rigorous engineering of product-line requirements: A case study in failure management
Keywords: مشخصات رسمی; Formal specification; Generic requirements; Product line; Refinement; Tools; UML-B; Verification
Agent strands in the action language nC+nC+
Keywords: مشخصات رسمی; Action languages; Transition systems; Deontic logic; Norm-governed agent systems; Formal specification
Evolving a “Wise” integration system for e-commerce transactions
Keywords: مشخصات رسمی; Data semantics; Data integration; E-commerce; Formal specification
An automated approach to specification animation for validation
Keywords: مشخصات رسمی; Specification animation; Validation; Formal specification
Design and formal proof of a new optimal image segmentation program with hypermaps
Keywords: مشخصات رسمی; Image segmentation; Hypermaps; Formal specification; Coq system; Computer-aided correctness proof
An algebra for multicriteria spatial modeling
Keywords: مشخصات رسمی; GIS; Spatial multicriteria modeling; Map algebra; Formal specification
Reuse of formal specifications in Embedded systems design
Keywords: مشخصات رسمی; embedded systems; formal specification; finite automata; reasoning;
A METHODOLOGY TO DESIGN AND CHECK A PLANT MODEL
Keywords: مشخصات رسمی; Discrete event systems; Finite automata; Formal specification; Formal verification
The importance of proofs of security for key establishment protocols : Formal analysis of Jan–Chen, Yang–Shen–Shieh, Kim–Huh–Hwang–Lee, Lin–Sun–Hwang, and Yeh–Sun protocols
Keywords: مشخصات رسمی; Formal specification; Mutual authentication and key establishment protocols; Provable security
Formal specification applied to multiuser distributed services: Experiences in collaborative t-learning
Keywords: مشخصات رسمی; Multiuser systems; Interaction patterns; Formal specification
A formal software requirements specification method for digital nuclear plant protection systems
Keywords: مشخصات رسمی; Formal specification; Software requirements; Digital plant protection system;
Model checking active networks with SPIN
Keywords: مشخصات رسمی; Active networks; Formal specification; Simulation; Testing; Model checking; spin;
Geographical Versus Functional Modelling by Statecharts of Interlocking Systems
Keywords: مشخصات رسمی; Railway signalling; interlocking; safety-critical systems; formal specification; Statecharts; validation;
Generation of test purposes from Use Case Maps
Keywords: مشخصات رسمی; Formal specification; Scenario; Testing; Testing pattern; Use Case Map;
Semantics and Runtime Monitoring of TLCharts: Statechart Automata with Temporal Logic Conditioned Transitions
Keywords: مشخصات رسمی; Harel Statecharts; temporal logic; finite automata; semantics; formal specification;
A principled exploration of coordination models
Keywords: مشخصات رسمی; Coordination; Agents; Mobility; Formal specification; Modeling; Verification; Schema;