Amanote Research

Amanote Research

    RegisterSign In

Discover open access scientific publications

Search, annotate, share and cite publications


Publications by Majid Al-Meshari

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

2010English

Related publications

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