A Language-Based Approach to Specification and Enforcement of Architectural Protocols

doi 10.21236/ada522557
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Defense Technical Information Center

Related search

A Hierarchical Policy Specification Language, and Enforcement Mechanism, for Governing Digital Enterprises

English

A Graph Based Architectural (Re)configuration Language

2001English

Specification and Verification of Networks in a Petri Net Based Language

DAIMI Report Series
1982English

A Practical Approach to Incremental Specification

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
2000English

Specification-Based Testing via Domain Specific Language

Research Papers Faculty of Materials Science and Technology Slovak University of Technology
2014English

A Usage-Based Approach to Child Language Acquisition

Annual Meeting of the Berkeley Linguistics Society
2000English

A Functional-Test Specification Language.

English

Introducing H, an Institution-Based Formal Specification and Verification Language

Logica Universalis
Applied MathematicsLogic
2020English

A Visual Specification Language for Model-To-Model Transformations

2010English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy