Especificação de Software Baseada Em Ontologias Conceito