✦ LIBER ✦

The formal specification of a small bookshop information system

✍ Scribed by Gray, D.

Book ID: 117872106
Publisher: IEEE
Year: 1988
Tongue: English
Weight: 848 KB
Volume: 14
Category: Article
ISSN: 0098-5589
DOI: 10.1109/32.4644

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal specification of a persistent obj

Formal specification of a persistent object management system

✍ J Murphy; J Grimson 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 969 KB

The formal specification of concurrent s

The formal specification of concurrent systems: a small CCS case study

✍ IM Bradley 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 676 KB

Building complex, concurrent systems requires a large amount of care. Such systems often have many interactions between components. Some of the more obscure timing patterns can lead eventually to system failure. It is essential that any problems be identified as soon as possible in the life of a pro

On the formal specification of the seman

On the formal specification of the semantics of processed information

✍ S.H. Talbert 📂 Article 📅 1977 🏛 Elsevier Science 🌐 English ⚖ 480 KB

Formal specification of image schemata -

Formal specification of image schemata -- a step towards interoperability in geographic information systems

✍ Andrew U. Frank; Martin Raubal 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 173 KB

A formal treatment of document informati

A formal treatment of document information systems

✍ Takashi Maeda 📂 Article 📅 1981 🏛 Elsevier Science 🌐 English ⚖ 755 KB

A Formal Specification of a Graphics Sys

A Formal Specification of a Graphics System in the Framework of the Computer Graphics Reference Model

✍ D. A. Duce; F. Paterno 📂 Article 📅 1993 🏛 John Wiley and Sons 🌐 English ⚖ 416 KB