JML: A Notation for Detailed Design
JML: A Notation for Detailed Design
复制标题
DOI：
10.1007/978-1-4615-5229-1_12
复制
发表时间：
1999
期刊：
影响因子：
--
通讯作者：
G. Leavens;A. L. Baker;C. Ruby
中科院分区：
文献类型：
--
作者：
G. Leavens;A. L. Baker;C. Ruby
JML是为Java量身定制的行为接口规范语言。它是为工作软件工程师编写和阅读而设计的，应该只需要适度的数学训练。它使用eiffel风格的语法结合基于模型的语义，就像VDM和Larch一样。JML支持量词、仅规范变量和其他增强功能，这些增强功能使JML比Eiffel更具表达性，比VDM和Larch更易于使用。
JML is a behavioral interface specification language tailored to Java. It is designed to be written and read by working software engineers, and should require only modest mathematical training. It uses Eiffel-style syntax combined with model-based semantics, as in VDM and Larch. JML supports quantifiers, specification-only variables, and other enhancements that make it more expressive for specification than Eiffel and easier to use than VDM and Larch.