✦ LIBER ✦

Deriving CORBA Applications from Formal Specifications

✍ Scribed by B. J. Krämer; N. Völker; R. Lichtenecker; H.-F. Kötter

Book ID: 110260432
Publisher: Springer
Year: 1998
Tongue: English
Weight: 254 KB
Volume: 8
Category: Article
ISSN: 0925-4676
DOI: 10.1023/a:1008226622237

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Deriving protocol specifications from se

Deriving protocol specifications from service specifications including multirendezvous

✍ Monika Kapus-Kolar 📂 Article 📅 1992 🏛 Elsevier Science ⚖ 324 KB

Deriving protocol specifications from se

Deriving protocol specifications from service specifications including parameters

✍ Monika Kapus-Kolar 📂 Article 📅 1991 🏛 Elsevier Science ⚖ 780 KB

Deriving protocol specifications from se

Deriving protocol specifications from service specifications written in LOTOS

✍ Christian Kant; Teruo Higashino; Gregor von Bochmann 📂 Article 📅 1996 🏛 Springer-Verlag 🌐 English ⚖ 524 KB

Deriving Liveness Goals from Temporal Lo

Deriving Liveness Goals from Temporal Logic Specifications

✍ C. CALEIRO; G. SAAKE; A. SERNADAS 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 729 KB

A propositional temporal logic is briefly introduced and its use for reactive systems specification is motivated and illustrated. G-automata are proposed as a new operational semantics domain designed to cope with fairness/liveness properties. G-automata are a class of labelled transition systems wi

Comments on deriving protocol specificat

Comments on deriving protocol specifications from service specifications written in LOTOS

✍ Monika Kapus-Kolar 📂 Article 📅 1999 🏛 Springer-Verlag 🌐 English ⚖ 39 KB

Generating diagram editors from formal s

Generating diagram editors from formal specifications

✍ F Arefi; M.T. Milani 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 743 KB