Inheritance is one of the key features for the success of objectoriented languages. Inheritance (or specialisation) supports incremental design and re-use of already written specifications or programs. In a formal approach to system design the interest does not only lie in re-use of class definitions but also in re-use of correctness proofs. If a provably correct class is specialised we like to...

The motivation of the research on evolution and learning at the Honda Research Institute Europe is to understand the essential mechanisms of natural evolution and learning for the design of complex and intelligent systems. Our research efforts have been made mainly in two areas. One is to study theoretic issues arisen in evolutionary design of complex systems. The other is to understand the evo...

This paper is concerned with the study of fuzzy dynamical systems. Let (XM ) be a fuzzy metric space in the sense of George and Veeramani. A fuzzy discrete dynamical system is given by any fuzzy continuous self-map dened on X. We introduce the various fuzzy shad- owing and fuzzy topological transitivity on a fuzzy discrete dynamical systems. Some relations between this notions have been proved.