This paper discusses the simultaneous use of object-oriented and formal notations to develop software specification. We propose the notions of multi-view specifications and of development operators to overcome one of the major difficulties: maintaining consistency between views during development. Operators enable to capture developments by suc- cessive approximations. We present different operators, one being fully described. The use of the framework is illustrated by some steps of the development of the generalized railroad crossing case study.