The Specification Language TLA+

Monographs in Theoretical Computer Science. An EATCS Series
doi 10.1007/978-3-540-74107-7_8
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

The Specification Language of OBSCURE

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1988English

A Functional-Test Specification Language.

English

Standard Conformance Test Specification Language TTCN

Computer Standards and Interfaces
HardwareLawArchitectureSoftware
1992English

ISML: An Interface Specification Meta-Language

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Oasis: An Object-Oriented Specification Language

English

Natural Language Specification Improvement With Ontologies

International Journal of Semantic Computing
LinguisticsInformation SystemsLanguageComputer NetworksCommunicationsComputer Science ApplicationsArtificial IntelligenceSoftware
2009English

Specification-Based Testing via Domain Specific Language

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

Specification Inference Using Context-Free Language Reachability

2015English

ARC: A Specification Language for Communicating Systems

Computer Journal
Computer Science
1998English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy