Formalizzazione della conoscenza e progettazione basata su prototipo: esempi di applicazione