✦ LIBER ✦

Specification languages

✍ Scribed by Peter Schnupp

Publisher: Elsevier Science
Year: 1985
Tongue: English
Weight: 579 KB
Volume: 38
Category: Article
ISSN: 0010-4655
DOI: 10.1016/0010-4655(85)90083-9

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Structure-preserving specification langu

Structure-preserving specification languages for knowledge-based systems

✍ Frank van Harmelen; Manfred Aben 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 388 KB

Supervisory control of modular systems w

Supervisory control of modular systems with global specification languages

✍ J. Komenda; J.H. van Schuppen; B. Gaudin; H. Marchand 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 266 KB

Specification of a specification languag

Specification of a specification language

✍ J Ludewig 📂 Article 📅 1981 🏛 Elsevier Science ⚖ 750 KB

Facilitating formal specification acquis

Facilitating formal specification acquisition by using recursive functions on context-free languages

✍ Haiming Chen; Yunmei Dong 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 304 KB

Language-association cortex asymmetry in

Language-association cortex asymmetry in autism and specific language impairment

✍ Lies De Fossé; Steven M. Hodge; Nikos Makris; David N. Kennedy; Verne S. Cavines 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 464 KB 👁 2 views

## Abstract Language deficits are among the core impairments of autism. We previously reported asymmetry reversal of frontal language cortex in boys with autism. Specific language impairment (SLI) and autism share similar language deficits and may share genetic links. This study evaluated asymmetry

MP: an application specific concurrent l

MP: an application specific concurrent language

✍ Reeve, J.S.; Rogers, M.C. 📂 Article 📅 1996 🏛 John Wiley and Sons 🌐 English ⚖ 992 KB

In the paper the authors present the defininition and implementation of a concurrentlanguage MP (message passer) which is aimed at programming embedded multi-microprocessor systems. The novel features of the language include the ability to program and develop the entire distributed system as a singl