EnglishObject-orientation is a very effective approach formodeling complex manufacturing systems. In this paper we introducea formal definition of behavioral inheritance for dynamicalsystems based on the recently proposed coalgebraic descriptionof object-oriented software. This definition allows to extendthe design by extension methodology, widely used in softwareengineering, to the design of components of manufacturingsystems.
| Data di pubblicazione: | 2006 |
| Titolo: | Inheritance for Dynamical Systems |
| Autori: | C. SECCHI; FANTUZZI C |
| Autori: | |
| Data del convegno: | 13-15 Novembre 2006 |
| Nome del convegno: | 2006 ANIPLA International Congress on Methodologies for emerging Technologies in Automation |
| Luogo del convegno: | Roma, Italia |
| Titolo del libro: | Proceedings of the 2006 ANIPLA International Congress on Methodologies for emerging Technologies in Automation |
| Appare nelle tipologie: | Relazione in Atti di Convegno |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti presenti in Iris Unimore sono rilasciati con licenza Creative Commons Attribuzione - Non commerciale - Non opere derivate 3.0 Italia, salvo diversa indicazione.
In caso di violazione di copyright, contattare Supporto Iris
Copyright © 2018