✦ LIBER ✦

Software specification language for sequential processes

✍ Scribed by Joël Pleyber; Manuel Silva

Publisher: Elsevier Science
Year: 1977
Weight: 617 KB
Volume: 8
Category: Article
ISSN: 0066-4138
DOI: 10.1016/0066-4138(77)90010-6

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Software specification using the special

Software specification using the special language

✍ C.S. Chandersekaran; R.C. Linger 📂 Article 📅 1981 🏛 Elsevier Science 🌐 English ⚖ 1002 KB

Software design issues for natural langu

Software design issues for natural language processing

✍ Loomis, Thomas 📂 Article 📅 1987 🏛 Springer-Verlag ⚖ 952 KB

Manufacturing process modelling using pr

Manufacturing process modelling using process specification language

✍ Lihong Qiao; Shuting Kao; Yizhu Zhang 📂 Article 📅 2011 🏛 Springer 🌐 English ⚖ 1024 KB

Utilizing multi-language international s

Utilizing multi-language international software standards for distributed process control

✍ F.P. Bader 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 617 KB

ConSpec — A formal language for policy s

ConSpec — A formal language for policy specification

✍ Irem Aktug; Katsiaryna Naliuka 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 716 KB

The paper presents ConSpec, an automata-based policy specification language. The language trades off clean semantics to language expressiveness; a formal semantics for the language is provided as security automata. ConSpec specifications can be used at different stages of the application lifecycle,

Process control software specification i

Process control software specification in PCSL

✍ J Ludewig 📂 Article 📅 1980 🏛 Elsevier Science ⚖ 824 KB