Supporting Design by Contract in Java

Journal of Object Technology(2002)

引用 34|浏览7
暂无评分
摘要
Abstract: this article as follows: Martin Lackner, Andreas Krall and Franz Puntigam: Supporting Designby Contract in Java, in Journal of Object Technology, vol. 1, no. 3, Special issue: TOOLSUSA 2002 proceedings, pages 57--76,
更多
查看译文
关键词
design by contract
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要