2003:27 - Karlstads universitet
2003:27 - Karlstads universitet
2003:27 - Karlstads universitet
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Referenser<br />
[1] Blom, Martin, Brunström, Anna och Nordby, Eivind J., ”On the Relation Between<br />
Design Contracts and Errors” – A Software Development Strategy, ECBS 2002, Lund,<br />
Computer Science, Karlstad University.<br />
[2] Cardelli, Luca, “Typeful Programming”, In Neuhold, E. J., Paul, M., Eds, Formal<br />
Description of Programming Concepts, Springer-Verlag, New York, 1991.<br />
[3] Dhara, Krishna Kishore, och Leavens, Gary T., ”Forcing Behavioral Subtyping Trough<br />
Specification Inheritance”, Department of Computer Science, Iowa State University,<br />
USA, IEEE 1996.<br />
[4] Liskov, Barbara H., ”Data Abstraction and Hierarchy”, OOPSLA ’87 Addendum to<br />
the Proceedings, pp 17--34, October 1987<br />
[5] Liskov, Barbara H., Wing, Jeannette M., ”A behavioral notion of suptyping”, ACM<br />
Transactions on Programming Languages and Systems, 16(6):1811-1841, November<br />
1994.<br />
[6] Meyer, Bertrand, “Object-oriented Software Construction”, Prentice Hall international<br />
series in computer science, University Press, Cambridge, 1997.<br />
32