A methodology for example-based specification and design

  title={A methodology for example-based specification and design},
  author={Cesare Alippi and Stefano Ferrari and Vincenzo Piuri},
  journal={Proceedings of the IEEE-INNS-ENNS International Joint Conference on Neural Networks. IJCNN 2000. Neural Computing: New Challenges and Perspectives for the New Millennium},
  pages={535-540 vol.3}
There is an ever-increasing use of embedded systems; fast prototyping, time to market and severe implementation constraints must be faced to provide an effective - low cost - solution for a given application. To this end, several algorithmic formalisms are available to describe and validate complex systems at a behavioural level in order to minimise development costs and facilitate the integration of design and implementation constraints. Unfortunately, a soft-computing paradigm cannot be… CONTINUE READING

Figures, Tables, and Topics from this paper.

Explore Further: Topics Discussed in This Paper