✦ LIBER ✦

A Z specification for employment clerical system

✍ Scribed by Huai-kou Miao; Teklay Tesfay; Bizuneh Bekele

Book ID: 107481885
Publisher: Chinese Electronic Periodical Services
Year: 2000
Tongue: English
Weight: 337 KB
Volume: 4
Category: Article
ISSN: 1007-6417
DOI: 10.1007/s11741-000-0010-4

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A dialogue system specification for expl

A dialogue system specification for explanation

✍ Douglas Walton 📂 Article 📅 2010 🏛 Springer Netherlands 🌐 English ⚖ 273 KB

Didon: system for specification validati

Didon: system for specification validation

✍ N Boudriga; A Mili; R Zalila 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 868 KB

The development of a specification langu

The development of a specification language for a computer security system

✍ Jan H.P. Eloff 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 489 KB

A framework for system specification usi

A framework for system specification using chains on cell complexes

✍ R. Egli; N.F. Stewart 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 237 KB

This paper describes a framework for the specification and manipulation of models of systems. The systems are modelled within this framework using chain models, which permit the specification and manipulation of attributes associated with the topological elements of the systems. The paper provides a

A knowledge based system for the specifi

A knowledge based system for the specification of manufacturing tolerances

✍ S. Manivannan; A. Lehtihet; P.J. Egbelu 📂 Article 📅 1989 🏛 Society of Manufacturing Engineers 🌐 English ⚖ 643 KB

X-Nets: A visual formalism for system sp

X-Nets: A visual formalism for system specification and analysis

✍ S. Antoniazzi; A. Balboni; W. Fornaciari 📂 Article 📅 1993 🏛 Elsevier Science ⚖ 642 KB