Formal and Model−Based Testing of Concurrent Workflows

Formal and Model−Based Testing of Concurrent Workflows

অন্যান্য সংস্করণ প্রদর্শন করুন (1)

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক:	Wang, C, Cavarra, A, Davies, J
বিন্যাস:	Conference item
প্রকাশিত:	IEEE 2011

অনুরূপ উপাদানগুলি

Formal and Model−Based Testing of Concurrent Workflows
অনুযায়ী: Wang, C, অন্যান্য
প্রকাশিত: (2011)

A guarded workflow language and its formal semantics
অনুযায়ী: Wang, C, অন্যান্য
প্রকাশিত: (2010)

A Guarded Workflow Language and Its Formal Semantics
অনুযায়ী: Wang, C, অন্যান্য
প্রকাশিত: (2010)

A Formal Semantics of UML: The ASM Approach
অনুযায়ী: Cavarra, A
প্রকাশিত: (2000)

A Framework to Simulate UML Models: Moving from a Semi−Formal to a Formal Environment
অনুযায়ী: Cavarra, A, অন্যান্য
প্রকাশিত: (2004)

Formal Trust Specification in Service Workflows
অনুযায়ী: Viriyasitavat, W, অন্যান্য
প্রকাশিত: (2015)

Formalizing Liveness−Enriched Sequence Diagrams Using ASMs
অনুযায়ী: Cavarra, A, অন্যান্য
প্রকাশিত: (2004)

A Formal Model for the Parallel Semantics of P3L
অনুযায়ী: Cavarra, A, অন্যান্য
প্রকাশিত: (2000)

Modeling the Meaning of Transitions from and to Concurrent States in UML State Machines
অনুযায়ী: Börger, E, অন্যান্য
প্রকাশিত: (2003)

A Method for the Automatic Generation of Test Suites from Object Models
অনুযায়ী: Davies, J, অন্যান্য
প্রকাশিত: (2003)

A Method for the Automatic Generation of Test Suites from Object Models
অনুযায়ী: Cavarra, A, অন্যান্য
প্রকাশিত: (2004)

Formal Verification of Business Constraints in Workflow-Based Applications
অনুযায়ী: Florin Stoica, অন্যান্য
প্রকাশিত: (2024-12-01)

Teaching Formal Models of Concurrency Specification and Analysis
অনুযায়ী: N. V. Shilov
প্রকাশিত: (2015-12-01)

Towards a formal framework for workflow interoperability
অনুযায়ী: Fernando, S, অন্যান্য
প্রকাশিত: (2008)

Towards a Formal Framework for Workflow Interoperability
অনুযায়ী: Fernando, S, অন্যান্য
প্রকাশিত: (2009)

A system for deduction-based formal verification of workflow-oriented software models
অনুযায়ী: Klimek Radosław
প্রকাশিত: (2014-12-01)

On Formalizing UML State Machines using ASM
অনুযায়ী: Börger, E, অন্যান্য
প্রকাশিত: (2004)

Solving Conflicts in UML State Machines Concurrent States
অনুযায়ী: Boerger, E, অন্যান্য
প্রকাশিত: (2001)

A Modular Formalization of Reversibility for Concurrent Models and Languages
অনুযায়ী: Alexis Bernadet, অন্যান্য
প্রকাশিত: (2016-08-01)

Formalizing Trust Requirements and Specification in Service Workflow Environments.
অনুযায়ী: Viriyasitavat, W, অন্যান্য
প্রকাশিত: (2011)

Formal derivation of concurrent garbage collectors
অনুযায়ী: Pavlovic, D, অন্যান্য
প্রকাশিত: (2010)

Checking Model Consistency Using Data−Flow Testing
অনুযায়ী: Wang, C, অন্যান্য
প্রকাশিত: (2009)

Checking Model Consistency using Data−Flow Testing
অনুযায়ী: Wang, C, অন্যান্য
প্রকাশিত: (2009)

A formal validation of a deep learning-based automated workflow for the interpretation of the echocardiogram
অনুযায়ী: Jasper Tromp, অন্যান্য
প্রকাশিত: (2022-11-01)

Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanismof UML State Machines
অনুযায়ী: Cavarra, A, অন্যান্য
প্রকাশিত: (2003)

TOPSIS inspired cost-efficient concurrent workflow scheduling algorithm in cloud
অনুযায়ী: K. Kalyan Chakravarthi, অন্যান্য
প্রকাশিত: (2022-06-01)

Formal Specification and Verification of Self-Adaptive Concurrent Systems
অনুযায়ী: Muhammad Ilyas Fakhir, অন্যান্য
প্রকাশিত: (2018-01-01)

Formal Framework to improve the reliability of concurrent and collaborative learning games
অনুযায়ী: Mounier, অন্যান্য
প্রকাশিত: (2014-05-01)

Concurrency and Refinement in the Unified Modeling Language
অনুযায়ী: Davies, J, অন্যান্য
প্রকাশিত: (2003)

Concurrency and Refinement in the Unified Modeling Language
অনুযায়ী: Davies, J, অন্যান্য
প্রকাশিত: (2002)

A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems
অনুযায়ী: André, É, অন্যান্য
প্রকাশিত: (2013)

Data Flow Analysis and Testing of Abstract State Machines
অনুযায়ী: Cavarra, A
প্রকাশিত: (2008)

Time-Sensitive and Resource-Aware Concurrent Workflow Scheduling for Edge Computing Platforms Based on Deep Reinforcement Learning
অনুযায়ী: Jiaming Zhang, অন্যান্য
প্রকাশিত: (2023-09-01)

Formalization of Automated Trading Systems in a Concurrent Linear Framework
অনুযায়ী: Iliano Cervesato, অন্যান্য
প্রকাশিত: (2019-04-01)

Mapping workflows and managing knowledge : capturing formal and tacit knowledge to improve performance /
অনুযায়ী: 554551 Kmetz, John
প্রকাশিত: (2012)

A data−flow approach to test multi−agent ASMs
অনুযায়ী: Cavarra, A
প্রকাশিত: (2011)

A data-flow approach to test multi-agent ASMs.
অনুযায়ী: Cavarra, A
প্রকাশিত: (2011)

Open-Source Data Formalization through Model-Based Systems Engineering for Concurrent Preliminary Design of CubeSats
অনুযায়ী: Giacomo Luccisano, অন্যান্য
প্রকাশিত: (2024-08-01)

Parallel Specification-Based Testing for Concurrent Programs
অনুযায়ী: Canh Minh Do, অন্যান্য
প্রকাশিত: (2022-01-01)

Formality, evolution, and model-driven software engineering
অনুযায়ী: Davies, J, অন্যান্য
প্রকাশিত: (2005)