Author:
Lin Tse-Min,McDermid John A.
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. P. Amey and G. Finnie. SPARK95 — differences from SPARK83. Technical Report S.P0468.73.46, Praxis Critical Systems Limited, September 1998.
2. J.G.P. Barnes. High Integrity Ada: The Spark Approach. Addison-Wesley, 1997.
3. G. Booch. Object-Oriented Analysis and Design with Applications. Benjamin/Cummings, 2nd edition, 1994.
4. A. Burns and T.-M. Lin. Adding temporal annotations and associated verification to the Ravenscar profile. In Ada-Europe 2003, LNCS (to appear). Springer-Verlag, 2003.
5. L. Cardelli. A semantic of multiple inheritance. Information and Computation, 76(2/3):138–164, 1988.