Java平臺 JJSF,Java 服务器界面 JMF,(Java Media Framework)Java 媒体框架 JMI,Java 元数据接口 JML,(Java Modeling Language )Java 建模软件 JMX,(Java Management Extensions)Java 管理扩展 JNDI,(Java Naming
统一建模语言统一建模语言(英語:Unified Modeling Language ,縮寫UML)是非专利的第三代建模和规约语言。UML是一种开放的方法,用于说明、可视化、构建和编写一个正在开发的、面向对象的、软件密集系统的制品的开放方法。UML展现了一系列最佳工程实践,这些最佳实践在对大规模,复杂系统进行建模
迴圈 像是Eiffel之類的程式語言本身就有支援迴圈變式及迴圈不變式,其他語言可能需要有附加元件才能支持此功能,例如Java 就需要配合Java 建模語言(英语:Java Modeling Language )規範的loop statements (页面存档备份,存于互联网档案馆)才能支持此機能。 a 此項只考慮專用的無窮迴圈程式結構,因此while
靜態程序分析 辑提出。有些程式語言有對應的支援工具,例如SPARK(Ada程式語言的子集)、Java 建模语言(英语:Java Modeling Language )(其中使用ESC/Java (英语:ESC/Java )及ESC/Java 2)及針對C語言的Frama-c WP 插件(最弱初始條件(英语:Predicate
契约式设计Groovy,通过GContracts。 Go,通过dbc或gocontracts Java : OValOVal,经由AspectJ(英语:AspectJ)。 Contracts for Java (Cofoja) Java 建模语言(英语:Java Modeling Language )(JML) Bean Validation(英语:Bean