Author:
Rubinger Ben,Bultan Tevfik
Publisher
Open Publishing Association
Reference8 articles.
1. The Spec# Programming System: Challenges and Directions;Michael Barnett,2005
2. An overview of JML tools and applications;Lilian Burdy;International Journal on Software Tools for Technology Transfer,2005
3. Extended Static Checking for Java;Cormac Flanagan,2002
4. jContractor: Introducing Design-by-Contract to Java Using Reflective Bytecode Instrumentation;Murat Karaorman;Formal Methods in System Design,2005
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Proactive Support for Conceptual Interoperability Analysis in Software Systems;2015 12th Working IEEE/IFIP Conference on Software Architecture;2015-05
2. Inferring dependency constraints on parameters for web services;Proceedings of the 22nd international conference on World Wide Web - WWW '13;2013