Amanote Research

Amanote Research

    RegisterSign In

ISML: An Interface Specification Meta-Language

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-540-39929-2_25
Full Text
Open PDF
Abstract

Available in full text

Categories
Computer ScienceTheoretical Computer Science
Date

January 1, 2003

Authors
Simon CrowleLinda Hole
Publisher

Springer Berlin Heidelberg


Related search

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