Object-oriented Programming Laws for Annotated Java Programs
Object-oriented Programming Laws for Annotated Java Programs
复制标题
带注释的 Java 程序的面向对象编程法则
DOI：
10.4204/eptcs.21.6
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
Rohit Gheyi
中科院分区：
文献类型：
--
作者：
Gabriel Falconieri Freitas;Márcio Cornélio;T. Massoni;Rohit Gheyi
面向对象的编程法则是在没有与行为接口规范语言（BISL）结合的语言的上下文中提出的。源代码和接口规范之间的强依赖性可能会在转换程序时造成许多困难。在本文中，我们介绍了一套面向对象的语言，如Java结合Java建模语言（JML）的编程法则。这套法律处理面向对象的功能，同时考虑到他们的规格。有些定律只处理规范语言的特征。这些定律构成了一组小的转换，用于开发更精细的转换，如重构。
Object-oriented programming laws have been proposed in the context of languages that are not combined with a behavioral interface specification language (BISL). The strong dependence between source-code and interface specifications may cause a number of difficulties when transforming programs. In this paper we introduce a set of programming laws for object-oriented languages like Java combined with the Java Modeling Language (JML). The set of laws deals with object-oriented features taking into account their specifications. Some laws deal only with features of the specification language. These laws constitute a set of small transformations for the development of more elaborate ones like refactorings.