𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Program testing technology based on specification language

✍ Scribed by A. A. Sarkisyan; Yu. G. Shukuryan

Publisher
Springer US
Year
1991
Tongue
English
Weight
581 KB
Volume
26
Category
Article
ISSN
1573-8337

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Test generation for technology-specific
Test generation for technology-specific multi-faults based on detectable perturbations
✍ Andrej Zemva; Baldomir Zajc πŸ“‚ Article πŸ“… 2005 πŸ› Elsevier Science 🌐 English βš– 397 KB

In this paper, we introduce the concept of detectable perturbations as a method to generate tests that cover any technology-specific faults such as multiple bridging, open and stuck-at faults. Rather than devising a customized test pattern generation system for each class of technology-specific faul

Research on Domain-specific Embedded Lan
Research on Domain-specific Embedded Languages and Program Generators
✍ Samuel N. Kamin πŸ“‚ Article πŸ“… 1998 πŸ› Elsevier Science 🌐 English βš– 988 KB

Embedding is the process of implementing a language by de ning functions in an existing \host" language the host language with these added functions is the new language. As a consequence, the new language comes equipped with all the features of the host language, with no additional work on the part

A geometrical product specification lang
A geometrical product specification language based on a classification of symmetry groups
✍ V Srinivasan πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 222 KB

A relatively old and deeply entrenched engineering "language" universally used by draughtsmen for specifying product geometry is undergoing renovation for the modern information age. Part of the renovation process is to find a set of firm mathematical principles that can support much of the edifice