Declarative and procedural object-oriented views | IEEE Conference Publication | IEEE Xplore