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

«A Responsabilidade das Empresas pelo Crime de Corrupção», «Direito Penal § Fundamentos Dogmáticos e Político-Criminais»

Resumo: 1- Introdução: algumas notícias da comunicação social; 2 – O designado «Conselho de Prevenção de Corrupção»; 3 – Procuradoria-Geral da República (P.G.R.) e o Departamento Central de Investigação e Acção Penal (D.I.A.P.); 4 – Alguns sítios com relevo; 5 – Alguns dos problemas que podem ser colocados em relação à Responsabilidade das Empresas pelo Crime de Corrupção; 5.1 – Âmbito dos problemas a serem falados; 6 – Qual a noção de «empresas que vamos utilizar»?; 6.1 – A noção de «empresa» em sentido geral objectivo e penal; 7 – Mas que tipo de crimes de corrupção vamos falar?; 8 – O art. 11º do Código Penal e os crimes de corrupção no contexto do ordenamento jurídico português; 8.1 – No contexto do art. 11º do Código Penal, o que significa «em nome da pessoa colectiva»?; 8.2 – No contexto do art. 11º do Código Penal, o que significa «no interesse da pessoa colectiva»?; 8.2.1 – No contexto do art. 11º do Código Penal, o que significa «quando não há interesse colectivo»?; 9 – E haverá diferenças, por exemplo, entre o modo de funcionamento técnico-jurídico do art. 11º do Código Penal e o art. 3º do Regime das Infracções Anti-Económicas e Contra a Saúde Pública (R.I.A.E.C.S.P.)?; 10 – E como é que a Jurisprudência portuguesa, a que tivemos acesso - dado não haver ainda fartura de decisões neste campo -, estabelece o nexo de imputação de responsabilidade penal a uma pessoa colectiva e/ou organização?; 10.1 – Uma primeira pré-conclusão dentro do objectivo que pretendemos demonstrar na totalidade deste trabalho; 11 – Uma segunda pré-conclusão: será que as diferenças acima assinaladas, por exemplo, entre o modo de funcionamento técnico-jurídico do art. 11º do Código Penal e o art. 3º do Regime das Infracções Anti-Económicas e Contra a Saúde Pública (R.I.A.E.C.S.P.), são as únicas? Veja-se o caso, v.g., do art. 7º do Regime Geral das Infracções Tributárias (R.G.I.T.); 12 – Em face das duas pré-conclusões anteriores, faça-se aqui, neste breve ensaio, uma primeira grande conclusão; 13 – Uma (primeira) hipótese de solução; 14 – Que tipo de «empresa» podemos enquadrar no art. 11º do Código Penal?; 14.1 – De acordo com o referido anteriormente, podemos dizer que todas as «empresas» podem praticar os crimes previstos e punidos no Código Penal português?; 14.2 – De acordo com o referido antes, quais são as «empresas» que não podem praticar os crimes de corrupção que estão previstos e punidos no Código Penal português?; 14.3 – Uma outra pré-conclusão: 14.4 – Um esboço de um dos possíveis problemas; 14.4.1 – Mas, afinal, o que são Entidades Públicas Empresariais (E.P.E.)?; 14.5 – Outra hipótese de esboço de um outro dos possíveis problemas que aqui podemos encontrar; 14.6 – Nova pré-conclusão; 14.7 – Uma outra importante pergunta a fazer e a responder desde já; 14.7.1 - Alarguemos, pois, um pouco a nossa investigação para além do Código Penal português; 14.7.2 – O problema da responsabilidade penal das organizações e/ou «pessoas colectivas», rectius, neste breve ensaio, empresas, pela prática de crimes de corrupção previstos e punidos na mencionada Lei n.º 20/2008, de 21 de Abril («Responsabilidade penal por crimes de corrupção no comércio internacional e na actividade privada»); 14.7.3 – Mais algumas pré-conclusões; 15 - Em face das duas pré-conclusões anteriores, faça-se aqui, neste breve ensaio, uma segunda grande conclusão; 16 - O que também apresenta outras implicações como por exemplo na aplicação do crime de «branqueamento» quando nos fala em «corrupção» como «crime primário»; 17 – Outras interrogações; 18 – Conclusão final, mas não última, como nenhuma o pode ser em ciência; 19 – Hipótese de solução. § Abstract: 1 - Introduction: some news media; 2 - The so-called "Council for the Prevention of Corruption”, 3 – “Attorney General's Office” (PGR) and the Central Bureau of Investigation and Penal Action (DIAP) 4 - Some sites with relief , 5 - Some of the problems that can be placed in relation to the Corporate Responsibility of the Crime of Corruption; 5.1 - Scope of issues to be spoken, 6 - What is the concept of "companies that we will use"?; 6.1 - The term “business” in a general purpose and criminal matters; 7 - What kind of crimes of corruption we talking about?; 8 - Art. 11 of the Penal Code and the crimes of corruption in the context of the Portuguese legal system; 8.1 - In the context of art. 11 of the Penal Code, which means "in the name of the legal person"?; 8.2 - In the context of art. 11 of the Penal Code, which means “in the interests of the legal person"?; 8.2.1 - In the context of art. 11 of the Penal Code, which means "where there is no collective interest"?; 9 - There will be differences, for example, between the operating mode of the Art. 11 of the Criminal Code and Art. 3 of the Legal Infractions Anti-Economic and Against Public Health (RIAECSP)?; 10 - And how does the case law of Portugal, we had access - as there still plenty of decisions in this field - makes a connection of allocating criminal liability to a legal person and / or organization?; 10.1 - A first pre-completion within the objective that we intend to demonstrate in all of this work; 11 - A second pre-conclusion: that the differences will be noted above, for example, between operating mode of the Art. 11 of the Criminal Code and Art. 3 of the Rules of the Offences Against Anti-Economics and Public Health (RIAECSP) are the only ones? Take the case v.g. of art. 7 of the Legal Framework of Tax Offences (RGIT) 12 - In view of the two pre-earlier conclusions, do it here, in this brief essay, a first major conclusion; 13 - A (first) chance for a solution, 14 - What kind “undertaking” we can frame the art. 11 of the Penal Code?; 14.1 - According to the above, we can say that all "companies" can practice the crimes defined and punished in the Portuguese Penal Code?; 14.2 - According to the mentioned before, what are the "business" who cannot practice corruption crimes that are planned and punished the Portuguese Penal Code?; 14.3 - Another pre-completion: 14.4 - A sketch of one of the possible problems; 14.4.1 - But after all the entities that are Public Enterprise (EPE)?; 14.5 - Another chance to draft another one of the possible problems that can be found here; 14.6 - New pre-completion; 14.7 - Another important question to ask and answer now; 14.7.1 - Let us expand, then, a little beyond our investigation of the Portuguese Penal Code; 14.7.2 - The problem of criminal liability of organizations and / or "legal persons", rectius, this brief essay, companies, for crimes of corruption provided for and punished mentioned in Law No. 20/2008 of 21 April ("Criminal liability for crimes of corruption in international trade and private activities"); 14.7.3 - Some more pre-conclusions; 15 - In view of the two pre-earlier conclusions, let it be here in this brief essay, a second major conclusion, 16 - Who also has other implications such as the application of the crime of "money laundering" when we talk about “corruption” as “primary crime”, 17 - Other questions; 18 - Bottom line, but not last, as the can be no science; 19 - Hypothesis solution. Abstract como no livro.

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

A Responsabilidade das Empresas pelo Crime de Corrupção: o Caso Português a partir de uma Perspectiva de Direito Penal, mas também de Criminologia

1- Introdução: algumas notícias da comunicação social; 2 – O designado «Conselho de Prevenção de Corrupção»; 3 – Procuradoria-Geral da República (P.G.R.) e o Departamento Central de Investigação e Acção Penal (D.I.A.P.); 4 – Alguns sítios com relevo; 5 – Alguns dos problemas que podem ser colocados em relação à Responsabilidade das Empresas pelo Crime de Corrupção; 5.1 – Âmbito dos problemas a serem falados; 6 – Qual a noção de «empresas que vamos utilizar»?; 6.1 – A noção de «empresa» em sentido geral objectivo e penal; 7 – Mas que tipo de crimes de corrupção vamos falar?; 8 – O art. 11º do Código Penal e os crimes de corrupção no contexto do ordenamento jurídico português; 8.1 – No contexto do art. 11º do Código Penal, o que significa «em nome da pessoa colectiva»?; 8.2 – No contexto do art. 11º do Código Penal, o que significa «no interesse da pessoa colectiva»?; 8.2.1 – No contexto do art. 11º do Código Penal, o que significa «quando não há interesse colectivo»?; 9 – E haverá diferenças, por exemplo, entre o modo de funcionamento técnico-jurídico do art. 11º do Código Penal e o art. 3º do Regime das Infracções Anti-Económicas e Contra a Saúde Pública (R.I.A.E.C.S.P.)?; 10 – E como é que a Jurisprudência portuguesa, a que tivemos acesso - dado não haver ainda fartura de decisões neste campo -, estabelece o nexo de imputação de responsabilidade penal a uma pessoa colectiva e/ou organização?; 10.1 – Uma primeira pré-conclusão dentro do objectivo que pretendemos demonstrar na totalidade deste trabalho; 11 – Uma segunda pré-conclusão: será que as diferenças acima assinaladas, por exemplo, entre o modo de funcionamento técnico-jurídico do art. 11º do Código Penal e o art. 3º do Regime das Infracções Anti-Económicas e Contra a Saúde Pública (R.I.A.E.C.S.P.), são as únicas? Veja-se o caso, v.g., do art. 7º do Regime Geral das Infracções Tributárias (R.G.I.T.); 12 – Em face das duas pré-conclusões anteriores, faça-se aqui, neste breve ensaio, uma primeira grande conclusão; 13 – Uma (primeira) hipótese de solução; 14 – Que tipo de «empresa» podemos enquadrar no art. 11º do Código Penal?; 14.1 – De acordo com o referido anteriormente, podemos dizer que todas as «empresas» podem praticar os crimes previstos e punidos no Código Penal português?; 14.2 – De acordo com o referido antes, quais são as «empresas» que não podem praticar os crimes de corrupção que estão previstos e punidos no Código Penal português?; 14.3 – Uma outra pré-conclusão: 14.4 – Um esboço de um dos possíveis problemas; 14.4.1 – Mas, afinal, o que são Entidades Públicas Empresariais (E.P.E.)?; 14.5 – Outra hipótese de esboço de um outro dos possíveis problemas que aqui podemos encontrar; 14.6 – Nova pré-conclusão; 14.7 – Uma outra importante pergunta a fazer e a responder desde já; 14.7.1 - Alarguemos, pois, um pouco a nossa investigação para além do Código Penal português; 14.7.2 – O problema da responsabilidade penal das organizações e/ou «pessoas colectivas», rectius, neste breve ensaio, empresas, pela prática de crimes de corrupção previstos e punidos na mencionada Lei n.º 20/2008, de 21 de Abril («Responsabilidade penal por crimes de corrupção no comércio internacional e na actividade privada»); 14.7.3 – Mais algumas pré-conclusões; 15 - Em face das duas pré-conclusões anteriores, faça-se aqui, neste breve ensaio, uma segunda grande conclusão; 16 - O que também apresenta outras implicações como por exemplo na aplicação do crime de «branqueamento» quando nos fala em «corrupção» como «crime primário»; 17 – Outras interrogações; 18 – Conclusão final, mas não última, como nenhuma o pode ser em ciência; 19 – Hipótese de solução; 20 – Novos desenvolvimentos. § 1 - Introduction: some news media; 2 - The so-called "Council for the Prevention of Corruption”, 3 – “Attorney General's Office” (PGR) and the Central Bureau of Investigation and Penal Action (DIAP) 4 - Some sites with relief , 5 - Some of the problems that can be placed in relation to the Corporate Responsibility of the Crime of Corruption; 5.1 - Scope of issues to be spoken, 6 - What is the concept of "companies that we will use"?; 6.1 - The term “business” in a general purpose and criminal matters; 7 - What kind of crimes of corruption we talking about?; 8 - Art. 11 of the Penal Code and the crimes of corruption in the context of the Portuguese legal system; 8.1 - In the context of art. 11 of the Penal Code, which means "in the name of the legal person"?; 8.2 - In the context of art. 11 of the Penal Code, which means “in the interests of the legal person"?; 8.2.1 - In the context of art. 11 of the Penal Code, which means "where there is no collective interest"?; 9 - There will be differences, for example, between the operating mode of the Art. 11 of the Criminal Code and Art. 3 of the Legal Infractions Anti-Economic and Against Public Health (RIAECSP)?; 10 - And how does the case law of Portugal, we had access - as there still plenty of decisions in this field - makes a connection of allocating criminal liability to a legal person and / or organization?; 10.1 - A first pre-completion within the objective that we intend to demonstrate in all of this work; 11 - A second pre-conclusion: that the differences will be noted above, for example, between operating mode of the Art. 11 of the Criminal Code and Art. 3 of the Rules of the Offences Against Anti-Economics and Public Health (RIAECSP) are the only ones? Take the case v.g. of art. 7 of the Legal Framework of Tax Offences (RGIT) 12 - In view of the two pre-earlier conclusions, do it here, in this brief essay, a first major conclusion; 13 - A (first) chance for a solution, 14 - What kind “undertaking” we can frame the art. 11 of the Penal Code?; 14.1 - According to the above, we can say that all "companies" can practice the crimes defined and punished in the Portuguese Penal Code?; 14.2 - According to the mentioned before, what are the "business" who cannot practice corruption crimes that are planned and punished the Portuguese Penal Code?; 14.3 - Another pre-completion: 14.4 - A sketch of one of the possible problems; 14.4.1 - But after all the entities that are Public Enterprise (EPE)?; 14.5 - Another chance to draft another one of the possible problems that can be found here; 14.6 - New pre-completion; 14.7 - Another important question to ask and answer now; 14.7.1 - Let us expand, then, a little beyond our investigation of the Portuguese Penal Code; 14.7.2 - The problem of criminal liability of organizations and / or "legal persons", rectius, this brief essay, companies, for crimes of corruption provided for and punished mentioned in Law No. 20/2008 of 21 April ("Criminal liability for crimes of corruption in international trade and private activities"); 14.7.3 - Some more pre-conclusions; 15 - In view of the two pre-earlier conclusions, let it be here in this brief essay, a second major conclusion, 16 - Who also has other implications such as the application of the crime of "money laundering" when we talk about “corruption” as “primary crime”, 17 - Other questions; 18 - Bottom line, but not last, as the can be no science; 19 - Hypothesis solution; 20 - New developments.

PACOTE ANTI-CORRUPÇÃO DE DILMA?

Olhemos para uma folha de São Paulo no meio do trânsito caótico e dos milhares de arranha-céus, enquanto passam centenas de buzinantes motoqueiros suicidas a uma velocidade estonteante… Depois de milhões de pessoas se terem manifestado no Brasil por causa de megas-processos de corrupção que têm sido descobertos, entre os quais o Petrolão, no qual as investigações apontam que a propina (suborno) foi o triplo do caso Mensalão, eis que a Presidenta Dilma avança para um pacote anti-corrupção. A operação Lava Jato já fala em milhares de milhões de reais. Mas, importante, é que apenas uma medida tem efeitos de aplicação imediata! São 7 as medidas. § Let us look for a Folha de Sao Paulo in the middle of chaotic traffic and thousands of skyscrapers, as they pass hundreds of suicide motorcycle at breakneck speed ... After millions of people have expressed in Brazil because of corruption mega-processes that have been discovered, including the Petrolão in which investigations indicate that the bribe (bribery) was triple the Mensalão case, behold, the President Dilma advances to an anti-corruption package. Operation Lava Jet is already talking about billions of reais. But, importantly, it is that only a measure takes effect immediately applicable! There are 7 steps.

NOVA ANOTAÇÃO SINTÉTICA, NUMA PERSPECTIVA DE DIREITO PÚBLICO, AINDA AO ACÓRDÃO 212/95, DO TRIBUNAL CONSTITUCIONAL (PORTUGUÊS), DE 20.04.1995 - O DEVER FUNDAMENTAL DE EXISTIR NA LEI EM VIGOR UMA RESPONSABILIDADE CRIMINAL DAS "PESSOAS COLECTIVAS" (OU "PESSOAS JURÍDICAS") E A CONSTITUIÇÃO DA REPÚBLICA PORTUGUESA, V.G. O CASO DO ART. 7º DO REGIME GERAL DAS INFRACÇÕES TRIBUTÁRIAS E DO ART. 3.º DO REGIME DAS INFRACÇÕES ANTIECONÓMICAS E CONTRA A SAÚDE PÚBLICA

Resumo: 1 – Sumário do Acórdão do Tribunal Constitucional n.º 212/1995, de 20 de Abril; 2 – Parte principal do Acórdão do Tribunal Constitucional n.º 212/1995, de 20 de Abril: cfr. http://www.tribunalconstitucional.pt/tc/acordaos/19950212.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 – O RIAECSP (Regime das Infracções Anti-Económicas e Contra a Saúde Pública) e a responsabilidade criminal das pessoas colectivas e equiparadas, prevista no seu art. 3.º; 5 – Societas delinquere non potest?; 6 – Breves traços históricos do brocardo societas delinquere non potest; 7 - Alguns dos marcos relevantes na Doutrina penal portuguesa recente acerca da responsabilidade penal das organizações, entes colectivos, pessoas colectivas, pessoas jurídicas; 8 - Os art.os 12.º/2 e 2.º da CRP e a Responsabilidade Criminal dos Entes Colectivos, pessoas jurídicas; 9 - O art. 29.º/5 da CRP - ou o princípio non bis in idem - e a responsabilidade criminal das organizações, dos entes colectivos, das pessoas colectivas; 10 – Conclusões. § Summary: 1 - Summary Judgment of the Constitutional Court No. 212/1995 of 20 April; 2 - The main part of the Constitutional Court Ruling No. 212/1995 of 20 April: cfr. http://www.tribunalconstitucional.pt/tc/acordaos/19950212.html, May 18, 2012; 3 - short annotation; 3.1 - Introduction to synthetic note and its features in this particular case; 4 - The RIAECSP (Status of Anti-Economic Offences and Against Public Health) and the criminal liability of companies and similar persons, provided for in his art. 3; 5 - delinquere Societas non potest ?; 6 - Brief historical traces of societas aphorism delinquere non potest; 7 - Some of the important milestones in recent Portuguese criminal Doctrine about the criminal liability of organizations, public entities, legal persons, legal entities; 8 - art.os 12/2 and 2 of CRP and Criminal Responsibility of loved Collective, legal entities; 9 - Art. 29/5 CRP - or the principle of non bis in idem - and the criminal liability of organizations, collective entities, of legal persons; 10 - Conclusions.