Palavras para os presos e desprezados

Lembremo-nos de vez em quando dos presos, que não se podem manifestar, nem têm sindicato relevante em termos de Estado de Direito social, democrático, livre e verdadeiro. Presos pelas mais diversas razões: desde o crime de roubo sem feridos nem mortos, até aos crimes mais bárbaros. Agora que se fala em perdão por outras razões das quais não queremos falar hoje aqui, logo nos lembramos que o perdão não tem sentido se não houver arrependimento. E logo nos lembramos dos presos também. Somente em Portugal, são milhares. E estão presos neste momento em que escrevemos. Certo que também não nos podemos esquecer das vítimas. Sempre tivemos uma preocupação profunda por estas. § Let us remember from time to time the prisoners, who can not speak or have a relevant union in terms of rule of law social, democratic, free and true. Arrested for various reasons: from the wounded without theft crime or dead, even the most barbaric crimes. Now we talk about forgiveness for other reasons which do not want to speak here today, then we remember that forgiveness is meaningless if there is no repentance. And then we remember the prisoners as well. Only in Portugal, thousands. And we're stuck in this time of writing. Also certain that we can not forget the victims. I have always had a deep concern for these.

Anotação sintética, numa perspectiva de Direito Público, ao Acórdão n.º 63/2006, em Plenário, do Tribunal Constitucional (português), de 24 de Janeiro de 2006 - qual proibição constitucional de impostos retroactivos? A tese de Oliveira Salazar.

Resumo: 1 – Sumário do Acórdão do Tribunal Constitucional n.º 63/2006, de 24 de Janeiro de 2006; 2 – Texto completo do Acórdão do Tribunal Constitucional n.º 63/2006, de 24 de Janeiro de 2006: cfr. http://www.tribunalconstitucional.pt/tc/acordaos/20060063.html , 18 de Maio de 2012; 3 – Anotação sintética; 3.1 – Introdução à anotação sintética e suas características neste caso concreto; 4 – A referência, abstracta e concreta, do princípio constitucional da «proibição de impostos retroactivos»; 5 – Alguns aspectos nucleares da eficácia temporal das normas jurídico-tributárias, brevitatis causa, das normas jurídico-fiscais; 6 – A chamada «aplicação das normas fiscais» (e/ou tributárias) no seio da «aplicação no tempo»: algumas breves notas sobre a tradição jurídico-lusitana, v.g. do ponto de vista da doutrina, a partir de 1976, designadamente até 1985; 6.1 – A tese de António de Oliveira Salazar; 7 – Conclusões. § Abstract: 1 - Summary of the Judgment of the Constitutional Court n. 63/2006 of January 24, 2006; 2 - Complete text of the Judgment of the Constitutional Court n. 63/2006 of January 24, 2006: s. http://www.tribunalconstitucional.pt/tc/acordaos/20060063.html , May 18, 2012; 3 - Synthetic Note: 3.1 - Introduction to syntheticannotation and its characteristics in this case; 4 - The reference, abstract and concrete, the constitutional principle of «prohibition of retroactive taxes»; 5 - Some aspects of nuclear the temporal validity of the legal and tax rules, brevitatis causa of legal and tax rules; 6 - the so-called «implementation of tax laws» (and/or tax) within the «Application in time»: some brief notes on the legal tradition -Lusitanian, e.g. from the standpoint of doctrine, from 1976, namely until 1985; 6.1 - The thesis of António de Oliveira Salazar; 7- Conclusions. PS: este "abstract" está tal qual como na publicação.

Uma Abordagem para a Geração de Casos de Teste Baseada em Modelos

Abstract — The analytical methods based on evaluation models of interactive systems were proposed as an alternative to user testing in the last stages of the software development due to its costs. However, the use of isolated behavioral models of the system limits the results of the analytical methods. An example of these limitations relates to the fact that they are unable to identify implementation issues that will impact on usability. With the introduction of model-based testing we are enable to test if the implemented software meets the specified model. This paper presents an model-based approach for test cases generation from the static analysis of source code.