Executable Interface Specifications for Testing Asynchronous Creol Components

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-11623-0_19
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Asynchronous Testing of Synchronous Components in GALS Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

A Model-Based Approach for Executable Specifications on Reconfigurable Hardware

English

A Methodology for Automatic Generation of Executable Communication Specifications From Parallel MPI Applications

ACM Transactions on Parallel Computing
MathematicsSimulationHardwareComputer Science ApplicationsArchitectureModelingComputational TheorySoftware
2014English

Executable Specifications for Hypothesis-Based Reasoning With Prolog and Constraint Handling Rules

Journal of Applied Logic
Applied MathematicsLogic
2009English

Relations as Executable Specifications: Taming Partiality and Non-Determinism Using Invariants

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Validation of Asynchronous Circuit Specifications Using IF/CADP

English

Automatic Testing From Formal Specifications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

Conformance Testing of Distributed Concurrent Systems With Executable Designs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Asynchronous Pulse Transmitter for Power Reduction in ThruChip Interface

2011English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy