Using interface definition languages to support path expressions and programming by contract

Publisher Website

27 November 2002

conference paper
Published by Institute of Electrical and Electronics Engineers (IEEE)

https://doi.org/10.1109/tools.1998.711022

Abstract

No abstract available

Keywords

This publication has 2 references indexed in Scilit:

The specification of process synchronization by path expressions
Published by Springer Nature ,2005
The design of the TAO real-time object request broker
Computer Communications, 1998