Aspectos constitucionais da anulação de decisão definitiva da administração pública federal no processo tributário

Cet article traite de la possibilité de proposer le Trésor à la justice pour annuler une décision administrative définitive sur les questions fiscales. Il s'agit d'un sujet qui s'oppose au principe de la vérité matérielle - qui doit prévaloir en cas d'impôt - avec une certitude morale représentée par la chose jugée administrative. Commence par le processus administratif d'impôt comme une garantie constitutionnelle du contribuable, insérée dans le panorama d une compétence adoptée dans la législation brésilienne en tant que pilier de l'Etat de droit démocratique. Met l'accent sur la position du Trésor avant l'autorité de la chose jugée administrative, ce qui démontre la fragilité de La décision finale sur les questions fiscales. Décrit les effets de la révision (ou de l'annulation) dês actes administratifs, en particulier la libération de l'impôt et de la décision administrative qui vise à le confirmer. Enfin, nous discuterons de la composition et la légitimité du contentieux administratif, en conclusion, avec le soutien de la prévalence d'un fait important dans le cãs d'impôt, est non seulement possible, mais le Trésor devrait examiner leurs propres actions si nécessaire

MaRISA-AOCode: uma abordagem genérica para geração de código orientado a aspectos

Currently there are several aspect-oriented approaches that are related to different stages of software development process. These approaches often lack integration with each other and their models and artifacts are not aligned in a coherent process. The integration of Aspect-Oriented Software development (AOSD) and Model-Driven Development (MDD) enables automatic propagation of models from one phase to another, avoiding loss of important information and decisions established in each. This paper presents a model driven approach, called Marisa-AOCode, which supports the processing of detailed design artifacts to code in different Aspect-Oriented Programming languages. The approach proposed by Maris- AOCode defines transformation rules between aSideML, a modeling language for aspectoriented detailed design, and Metaspin, a generic metamodel for aspect-oriented programming languages. The instantiation of the generic metamodel (Metaspin) provided by the approach of Maris-AOCode is illustrated by the transformation of Metaspin for two languages: AspectLua and CaesarJ. We illustrate the approach with a case study based on the Health Watcher System