This paper discusses aspects of the planning of explanatory texts for logic based systems. It presentsa methodfor derivingNaturalLanguagetext plansfrom Natural Deduction-basedstru...
Clarisse Sieckenius de Souza, Maria das Graç...
This paper discusses aspects of topology as relevant for loop dynamics as they occur in physical modeling synthesis algorithms. Boundary and interaction point behavior is treated p...
This paper discusses aspects of the redocumentation of legacy systems and proposes a model oriented approach to generating documentation, which is to produce models from existing ...