F. Logozzo, “Class Invariants as Abstract Interpretation of Trace Semantics,” Computer Languages, Systems & Structures, Vol. 35, 2009, pp. 100-142.
has been cited by the following article:
TITLE: The Feature-Based a New Object Coding Approach for Prismatic Parts at the Part Modeling
AUTHORS: Ismet Celik, Ali Unuvar
KEYWORDS: Feature; Feature Based Modeling; Object Oriented Modeling; Process Planning
JOURNAL NAME: Modeling and Numerical Simulation of Material Science, Vol.3 No.4, October 7, 2013
ABSTRACT: Use of features in order to achieve the integration of design and manufacture has been considered to be a key factor recent years. Features such as manufacturing properties form the workpiece. Features are structured systematically through object oriented modeling. This article explains an object coding method developed for prismatic workpieces and the use of that method in process planning. Features have been determined and modeled as objects. Features have been coded according to their types and locations on the workpiece in this given method. Feature codings have been seen to be very advantageous in process planning.