Amanote Research

Amanote Research

    RegisterSign In

Discover open access scientific publications

Search, annotate, share and cite publications


Publications by Linda Hole

ISML: An Interface Specification Meta-Language

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Related publications

User Interface for Specification Language for Case-Based Mechanical Design

Artificial Intelligence for Engineering Design, Analysis and Manufacturing: AIEDAM
IndustrialArtificial IntelligenceManufacturing Engineering
1997English

Oasis: An Object-Oriented Specification Language

English

Specification and Design of an Ethernet Interface Soft IP

Journal of the Brazilian Computer Society
Computer Science
2000English

Identification of and Solutions to Shortcomings of LCL, a Larch/C Interface Specification Language

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1996English

The Specification Language TLA+

Monographs in Theoretical Computer Science. An EATCS Series
2007English

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

Logica Universalis
Applied MathematicsLogic
2020English

The Specification Language of OBSCURE

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1988English

A Functional-Test Specification Language.

English

Integrated Information Support System (IISS). Volume 8. User Interface Subsystem. Part 22. Graph Language Development Specification

1990English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy