๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Stride: a tool for formal interactive system synthesis

โœ Scribed by Burns, F.P.; Kinniment, D.J.; Koelmans, A.M.

Book ID
114448127
Publisher
The Institution of Electrical Engineers
Year
1994
Tongue
English
Weight
595 KB
Volume
141
Category
Article
ISSN
1350-2387

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

A formal notation and tool for the engin
A formal notation and tool for the engineering of CORBA systems
โœ Bastide, R๏ฟฝmi ;Sy, Ousmane ;Palanque, Philippe ๐Ÿ“‚ Article ๐Ÿ“… 2000 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 893 KB

CORBA is a standard proposed by the Object Management Group (OMG) in order to promote interoperability between distributed object systems. CORBA provides a programming-language neutral Interface Definition Language (IDL) that describes the syntactic aspects of services supported by remote objects. H