Sistema Nacional de Gest??o de Atividades de Criminal??stica do Departamento de Pol??cia Federal

O Sistema Nacional de Gest??o de Atividades de Criminal??stica foi concebido e desenvolvido com o intuito de racionalizar o acesso ?? informa????o, melhorar o desempenho do trabalho pericial e facilitar a administra????o centralizada da per??cia no Departamento de Pol??cia Federal (DPF). O sistema acompanha o trabalho dos setores de criminal??stica desde a chegada do expediente de servi??o at?? a libera????o do laudo pericial. Nesse trajeto, rastreia documentos, registra resultados intermedi??rios, controla o andamento de filas de trabalho e os volumes de produ????o, pend??ncias e solicita????es. Al??m disso, auxilia a atividade fim na medida em que disponibiliza para consulta todo o acervo digital de documentos e gera conte??do de novos documentos automaticamente a partir de diversos modelos altamente adapt??veis. Finalmente, possui m??dulo de apoio ?? gest??o de recursos humanos integrado ao controle de produ????o. Atualmente, conta com mais de 1.400 usu??rios em todas as 33 unidades da criminal??stica no DPF

GUI Inspection from Source Code Analysis

Graphical user interfaces (GUIs) are critical components of todays software. Given their increased relevance, correctness and usability of GUIs are becoming essential. This paper describes the latest results in the development of our tool to reverse engineer the GUI layer of interactive computing systems. We use static analysis techniques to generate models of the user interface behaviour from source code. Models help in graphical user interface inspection by allowing designers to concentrate on its more important aspects. One particularly type of model that the tool is able to generate is state machines. The paper shows how graph theory can be useful when applied to these models. A number of metrics and algorithms are used in the analysis of aspects of the user interface's quality. The ultimate goal of the tool is to enable analysis of interactive system through GUIs source code inspection.

GUI Behavior from Source Code Analysis

When developing interactive applications, considering the correctness of graphical user interfaces (GUIs) code is essential. GUIs are critical components of today's software, and contemporary software tools do not provide enough support for ensuring GUIs' code quality. GUIsurfer, a GUI reverse engineering tool, enables evaluation of behavioral properties of user interfaces. It performs static analysis of GUI code, generating state machines that can help in the evaluation of interactive applications. This paper describes the design, software architecture, and the use of GUIsurfer through an example. The tool is easily re-targetable, and support is available to Java/Swing, and WxHaskell. The paper sets the ground for a generalization effort to consider rich internet applications. It explores the GWT web applications' user interface programming toolkit.

The GUISurfer tool: towards a language independent approach to reverse engineering GUI code

Graphical user interfaces (GUIs) are critical components of today's software. Developers are dedicating a larger portion of code to implementing them. Given their increased importance, correctness of GUIs code is becoming essential. This paper describes the latest results in the development of GUISurfer, a tool to reverse engineer the GUI layer of interactive computing systems. The ultimate goal of the tool is to enable analysis of interactive system from source code.

COORDINSPECTOR: a tool for extracting coordination data from legacy code

More and more current software systems rely on non trivial coordination logic for combining autonomous services typically running on different platforms and often owned by different organizations. Often, however, coordination data is deeply entangled in the code and, therefore, difficult to isolate and analyse separately. COORDINSPECTOR is a software tool which combines slicing and program analysis techniques to isolate all coordination elements from the source code of an existing application. Such a reverse engineering process provides a clear view of the actually invoked services as well as of the orchestration patterns which bind them together. The tool analyses Common Intermediate Language (CIL) code, the native language of Microsoft .Net Framework. Therefore, the scope of application of COORDINSPECTOR is quite large: potentially any piece of code developed in any of the programming languages which compiles to the .Net Framework. The tool generates graphical representations of the coordination layer together and identifies the underlying business process orchestrations, rendering them as Orc specifications

Criminal Liability of Organizations, Corporations, Legal Persons, and Similar Entities on Law of Portuguese Cybercrime: A Brief Discussion on the Issue of Crimes of “False Information,” the “Damage on Other Programs or Computer Data,” the “Computer-Software Sabotage,” the “Illegitimate Access,” the “Unlawful Interception,” and “Illegitimate Reproduction of the Protected Program”

Abstract: in Portugal, and in much of the legal systems of Europe, «legal persons» are likely to be criminally responsibilities also for cybercrimes. Like for example the following crimes: «false information»; «damage on other programs or computer data»; «computer-software sabotage»; «illegitimate access»; «unlawful interception» and «illegitimate reproduction of protected program». However, in Portugal, have many exceptions. Exceptions to the «question of criminal liability» of «legal persons». Some «legal persons» can not be blamed for cybercrime. The legislature did not leave! These «legal persons» are v.g. the following («public entities»): legal persons under public law, which include the public business entities; entities utilities, regardless of ownership; or other legal persons exercising public powers. In other words, and again as an example, a Portuguese public university or a private concessionaire of a public service in Portugal, can not commit (in Portugal) any one of cybercrime pointed. Fair? Unfair. All laws should provide that all legal persons can commit cybercrimes. PS: resumo do artigo em inglês.

Extracting and verifying coordination models from source code

Current software development relies increasingly on non-trivial coordination logic for com- bining autonomous services often running on di erent platforms. As a rule, however, in typical non-trivial software systems, such a coordination layer is strongly weaved within the application at source code level. Therefore, its precise identi cation becomes a major methodological (and technical) problem which cannot be overestimated along any program understanding or refactoring process. Open access to source code, as granted in OSS certi cation, provides an opportunity for the devel- opment of methods and technologies to extract, from source code, the relevant coordination information. This paper is a step in this direction, combining a number of program analysis techniques to automatically recover coordination information from legacy code. Such information is then expressed as a model in Orc, a general purpose orchestration language

Do we need a “new” international convention that helps to avoid trafficking in organs? Some “criminal (and civil) law aspects” - Convention on Human Rights and Biomedicine – updated or outdated?

Abstract: § 1 «Do we need a “new” international convention that helps to avoid trafficking in organs? Some criminal (and civil) law aspects”» - «Convention on Human Rights and Biomedicine – updated or outdated?». § 2 Some important connections: on the one hand, between the 1997 Council of Europe Convention on Human Rights and Biomedicine; the 2002 Additional Protocol to the Convention on Human Rights and Biomedicine concerning Transplantation of Organs and Tissues of Human Origin; and, on the other hand, the problem of trafficking in organs, tissues and cells and trafficking in human beings for the purpose of the removal organs. Some connections. § 3 The «international undisputed principle». § 4 Trafficking in organs, tissues and cells; and trafficking in human beings for the purpose of the removal organs. Criminal Law and Civil Law. § 5 Promote organ donation. § 6 The necessity to collect reliable data on both trafficking cases. § 7 The necessity for an internationally agreed definition of trafficking in OTC: Convention on Human Rights and Biomedicine – updated or outdated? § 8 The (inter)national and (il)legal organ («tissue and cell») trade: some cases and some conclusions. § 9 Do we need a new international convention to prevent trafficking in organs, tissues and cells (OTC)? § 10 Of course we need a «new» international convention to prevent trafficking in organs, tissues and cells (OTC). § 11 At the present moment, we do not need a «new» international convention to prevent trafficking in human beings for the purpose of the removal organs. § 12 The Portuguese case. § 13 «Final conclusions.» § Resumo: § 1 «Precisamos de uma "nova" convenção internacional que ajude a evitar o tráfico de órgãos? Alguns aspectos de lei criminal (e civil)» - «Convenção sobre Direitos Humanos e Biomedicina - Actualizada ou desactualizada?». § 2 Algumas conexões importantes: por um lado, entre a Convenção do Conselho da Europa de 1997 sobre Direitos Humanos e Biomedicina; o Protocolo Adicional de 2002 à Convenção sobre os Direitos do Homem e da Biomedicina relativo ao transplante de órgãos e tecidos de origem humana, e, por outro lado, o problema do tráfico de órgãos, tecidos e células e tráfico de seres humanos para fins de remoção dos órgãos. § 3 O «indiscutível princípio internacional». § 4 O Tráfico de órgãos, tecidos e células; e o tráfico de seres humanos para fins de remoção dos órgãos. Direito Penal e Direito Civil. § 5 Promover a doação de órgãos. § 6 A necessidade de colectar dados fidedignos sobre os dois casos de tráfico. § 7 A necessidade de uma definição internacionalmente acordada de tráfico de OTC: Convenção sobre Direitos Humanos e Biomedicina - actualizada ou desactualizada? § 8 A (inter)nacional e (il)legal comercialização de órgãos («de tecidos e de células»): alguns casos e algumas conclusões. § 9 Será que precisamos de uma nova convenção internacional para prevenir o tráfico de órgãos, tecidos e células (OTC)? § 10 É claro que precisamos de uma «nova» convenção internacional para prevenir o tráfico de órgãos, tecidos e células (OTC). § 11 No presente momento, não precisamos de uma «nova» convenção internacional para impedir o tráfico de seres humanos para fins de remoção dos órgãos. § 12 O caso Português. § 13 «As conclusões finais.»

A importância do ensino do direito penal-criminal nos cursos (também) jurídicos num Portugal mais ético e menos corrupto

Em notícia doutros órgãos de comunicação social, v.g. TVI, 3/12/13, dizia-se o seguinte: “Portugal manteve, em 2013, o 33.º lugar no Índice de Perceção da Corrupção da organização Transparência Internacional, mas perdeu pontuação”. Abstract: In news from other media, eg TVI, 12/03/13, it was said the following: "Portugal maintained in 2013, the 33 place in the Perception Index of Transparency International Corruption, but lost points."

A importância do ensino do direito penal-criminal

“Portugal manteve, em 2013, o 33.º lugar no Índice de Perceção da Corrupção da organização Transparência Internacional, mas perdeu pontuação”. E: “Na última década, o país no mundo que mais se depreciou em termos de transparência foi justamente Portugal”, “enfatizou o vice-presidente da associação Transparência e Integridade, Paulo Morais”. Abstract: "Portugal maintained in 2013, the 33 place in the Perception Index of Transparency International Corruption, but lost points." And: "In the last decade, the country in the world that most depreciated in terms of transparency was precisely Portugal", "emphasized the Vice President of Transparency and Integrity association, Paulo Morais."

Portugal citius, altius, fortius? O incumprimento da Lei-Quadro da política criminal…

Colapso do sistema informático da Justiça, Citius?! É que, a ser verdade, então seria o kaos da justiça e teria que haver consequências imediatas na tutela, pois poderia estar em causa a aplicação prática dos Direitos Fundamentais dos cidadãos e das organizações legais, tendo que ser declarado, ouvido o Conselho de Estado, o “estado de emergência”, de acordo com o art. 19º da Constituição. § Mas mais incrível ainda é o facto de estar por cumprir desde 2011 (dois mil e onze!), a Lei-Quadro de Política Criminal! Abstract: Collapse of the computer system of justice, Citius ?! Is that to be true, then it would be the kaos justice and would have to be immediate consequences in the protection, it could be because the practical application of fundamental rights of citizens and legal organizations, having to be declared, after hearing the Council of State the "state of emergency", according to art. 19 of the Constitution. § But more amazing is the fact of being unfulfilled since 2011 (two thousand and eleven!), The Framework Law for Criminal Policy!

Genocídio e prescrição

O genocídio pode prescrever? Infelizmente, pode. Uma coisa é a lei, outra é a sua aplicação. Outra ainda é a sua interpretação que, sendo também literal, não pode esquecer a sua teleologia e história, art. 9º do Código Civil. E quando é que a lei entrou em vigor e em que espaço se aplica? Abstract: Genocide may prescribe? Unfortunately, it can. One thing is the law, another is its application. Another is its interpretation being also a literal, can not forget its teleology and history, art. 9 of the Civil Code. And when the law came into force and in what space does it apply?