Preliminary Design of BML: A Behavioral Interface Specification Language for Java Bytecode-Reference-Cited by-同舟云学术

Preliminary Design of BML: A Behavioral Interface Specification Language for Java Bytecode

Published: Issue: Volume: Page:215-229
ISSN:
Container-title:Fundamental Approaches to Software Engineering
language:
Short-container-title:

Author:

Burdy Lilian,Huisman Marieke,Pavlova Mariela

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-71289-3_18.pdf

Reference20 articles.

1. Aho, A.V., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques, and Tools. Addison-Wesley, Reading (1986)

2. Alagić, S., Royer, M.: Next generation of virtual platforms. Article in odbms.org (2005), Available from http://odbms.org/about_contributors_alagic.html

3. Lecture Notes in Computer Science;D. Aspinall,2004

4. ENTCS;F.Y. Bannwart,2005

5. Lecture Notes in Computer Science;M. Barnett,2006

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

1. OpenJML: Software verification for Java 7 using JML, OpenJDK, and Eclipse;Electronic Proceedings in Theoretical Computer Science;2014-04-26

2. Towards a General Framework for Formal Reasoning about Java Bytecode Transformation;Electronic Proceedings in Theoretical Computer Science;2013-07-30

3. Towards an industrial grade IVE for Java and next generation research platform for JML;International Journal on Software Tools for Technology Transfer;2010-06-15

4. BML and Related Tools;Formal Methods for Components and Objects;2009

5. JACK — A Tool for Validation of Security and Behaviour of Java Applications;Formal Methods for Components and Objects;2007