Behavioral specification of distributed software component interfaces
- 1 July 1999
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in Computer
- Vol. 32 (7) , 46-53
- https://doi.org/10.1109/2.774918
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- Design by contract: the lessons of ArianeComputer, 1997
- Mathematical notation in formal specification: too difficult for the masses?IEEE Transactions on Software Engineering, 1996