jContractor: Introducing Design-by-Contract to Java Using Reflective Bytecode Instrumentation-Reference-Cited by-同舟云学术

jContractor: Introducing Design-by-Contract to Java Using Reflective Bytecode Instrumentation

Published:2005-11 Issue:3 Volume:27 Page:275-312
ISSN:0925-9856
Container-title:Formal Methods in System Design
language:en
Short-container-title:Form Method Syst Des

Author:

Karaorman Murat,Abercrombie Parker

Publisher

Springer Science and Business Media LLC

Subject

Hardware and Architecture,Theoretical Computer Science,Software

Link

http://link.springer.com/content/pdf/10.1007/s10703-005-3400-1.pdf

Reference26 articles.

1. K. Arnout and R. Simon, “The .NET Contract Wizard: Adding Design by Contract to languages otherthan Eiffel,” in Proceedings of TOOLS 39, IEEE Computer Society, 2001.

2. A.P. Black, “Exception Handling: The case against,” Technical Report TR-82-01–02, University of Washington Computer Sciences Department, January 1982.

3. J. Cheesman and J. Daniels, UML Components–-A Simple Process for Specifying Component-Based Software, Addison-Wesley, 2000.

4. Y. Cheon and G.T. Leavens, “A Runtime Assertion Checker for the Java Modelling Language(JML),” in International Conference on Software Engineering Research and Practice (SERP)2002, Las Vegas, Nevada, USA, June 24–27, 2002.

5. I. Crnkovic and M. Larsson (ed.), Building Reliable Component-Based Software Systems, Artech House Publishers, July 2002.

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Contract-based design patterns;Proceedings of the 15th International Conference on Availability, Reliability and Security;2020-08-25

2. Runtime Monitoring of Software Execution Trace: Method and Tools;IEEE Access;2020

3. Making Formal Methods More Relevant to Software Engineering Students via Automated Test Generation;Proceedings of the 2016 ACM Conference on Innovation and Technology in Computer Science Education;2016-07-11

4. Comparing and Evaluating Existing Software Contract Tools;Communications in Computer and Information Science;2013

5. Contracting the Facebook API;Electronic Proceedings in Theoretical Computer Science;2010-09-17