Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications

Abstract. Graphical user interfaces (GUIs) make software easy to use by providing the user with visual controls. Therefore, correctness of GUI’s code is essential to the correct execution of the overall software. Models can help in the evaluation of interactive applications by allowing designers to concentrate on its more important aspects. This paper describes our approach to reverse engineer an abstract model of a user interface directly from the GUI’s legacy code. We also present results from a case study. These results are encouraging and give evidence that the goal of reverse engineering user interfaces can be met with more work on this technique.

Models for the Reverse Engineering of Java/Swing Applications

Abstract. Interest in design and development of graphical user interface (GUIs) is growing in the last few years. However, correctness of GUI's code is essential to the correct execution of the overall software. Models can help in the evaluation of interactive applications by allowing designers to concentrate on its more important aspects. This paper describes our approach to reverse engineering abstract GUI models directly from the Java/Swing code.

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.

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.»

«Corruption» and social and economic criminal law: criminology, criminal policy, political science and law&economics - a new idea about criminal liability of legal entities

Abstract: If we think there is a significant number of legal offshore in the globalized world, then there is not even a global consensus about what «corruption» is. The «illegal corruption» in a country may be legal in another. Moreover, the great global corruption is above the law or above democratic States. And not all democratic States are «Rule of Law». Therefore, the solution is global earlier in time and space law, democratic, free and true law. While the human being does not reach a consensus of what «corruption» really is, the discussion will not go further than a caricature. One of the other problems about «corruption» is that it is very difficult to establish the imputation of crimes, including «corruption» (v.g. Portugal) on some «companies», corporations. We have a juridical problem in the composition of the art. 11. of the Portuguese Penal Code.

Performance measurement and management in Portuguese law enforcement

Performance measurement of police services is complicated by ambiguous and complex goal- and objectives-setting, and by the difficulties of measuring outputs. This article looks at the organizational and management changes being made in Portuguese police forces. The authors fill a gap in the literature on performance measurement in Portugal by taking a national approach to the study of how law enforcement agencies are introducing new management accounting changes. The article therefore widens the debate on performance measurement and performance improvements in law enforcement.

Annotation taken, in the perspective of criminal and constitutional law, as well as in criminology, to the decision of the portuguese constitutional court, of January 13, 2011 – with respect to the problems of “consent” and “medical act”

1 – Summary of the decision taken by the Portuguese Constitutional Court, of January 13, 2011; 2 – Complete text of the decision of the Portuguese Constitutional Court, of January 13, 2011, Judge Maria João ANTUNES (Reporter), Judge Carlos Pamplona de OLIVEIRA, Judge José Borges SOEIRO, Judge Gil GALVÃO, Judge Rui Manuel Moura RAMOS (President) –in terms of the tribunalconstitucional.pt, August 1, 2011; 3 – Brief annotation to the problem of the “medical act”; 3.1 – Plus some conclusions on the brief annotation to the problem of the “medical act”; 3.2 – Brief annotation to the problem of “consent”– continuation of the previous comments; 4 – Conclusions. It must never be forgotten that “consent” does not stand as the only cause of exclusion of unlawfulness.

Os desafios da qualificação profissional pós-secundária não-superior (nível 4) para a inovação empresarial no contexto da União Europeia e dos países da OCDE

A maioria das nações mais desenvolvidas deve, em larga medida, a sua prosperidade à produtividade da sua força de trabalho. Esta produtividade relaciona-se, fundamentalmente, com dois aspectos essenciais. Por um lado, com o nível e adequação das qualificações e competências da população activa, as quais permitem desenvolver o empreendedorismo e criar riqueza e, por outro, com a qualidade e grau de sofisticação dos equipamentos, tecnologias, modelos de organização e sistemas de gestão de que as empresas dispõem. Nesta comunicação, elaborada por convite para apresentação na sessão comemorativa do 20º aniversário da AFTEM, no Porto, após a contextualização das exigências do mercado de trabalho em resultado da inovação empresarial e da emergência das economias baseadas no conhecimento, apresentam-se alguns estudos recentemente concluídos em diversos países e regiões da OCDE, nomeadamente, Austrália, Irlanda, Reino Unido e Escócia – nos quais se foca a necessidade de incrementar o nível de qualificações para responder às necessidades do tecido produtivo por forma a manter a competitividade da indústria e serviços desses países e regiões à escala global; em particular realça-se a importância de se aumentar a percentagem de população activa com nível 4 de qualificação profissional. Aborda-se, ainda, a situação da formação pós secundária não superior em Portugal (nível 4). Conclui-se, formulando algumas recomendações em termos de estratégias e de trabalho futuro com vista a dinamizar as oportunidades de qualificação de nível 4, em estreita articulação com as empresas, como forma de o tecido produtivo nacional dispor de níveis de qualificação de recursos humanos que permitam a mobilidade para novas actividades com maior valor acrescentado e, por esta via, atingir níveis de rentabilidade semelhante à dos restantes estados membros da UE e de outros países da OCDE.

Study on influence of the new CoDeSys V3.0 on the existing CoDeSys discipline of the Mind8 Engineering Center

CoDeSys "Controller Development Systems" is a development environment for programming in the area of automation controllers. It is an open source solution completely in line with the international industrial standard IEC 61131-3. All five programming languages for application programming as defined in IEC 61131-3 are available in the development environment. These features give professionals greater flexibility with regard to programming and allow control engineers have the ability to program for many different applications in the languages in which they feel most comfortable. Over 200 manufacturers of devices from different industrial sectors offer intelligent automation devices with a CoDeSys programming interface. In 2006, version 3 was released with new updates and tools. One of the great innovations of the new version of CoDeSys is object oriented programming. Object oriented programming (OOP) offers great advantages to the user for example when wanting to reuse existing parts of the application or when working on one application with several developers. For this reuse can be prepared a source code with several well known parts and this is automatically generated where necessary in a project, users can improve then the time/cost/quality management. Until now in version 2 it was necessary to have hardware interface called “Eni-Server” to have access to the generated XML code. Another of the novelties of the new version is a tool called Export PLCopenXML. This tool makes it possible to export the open XML code without the need of specific hardware. This type of code has own requisites to be able to comply with the standard described above. With XML code and with the knowledge how it works it is possible to do component-oriented development of machines with modular programming in an easy way. Eplan Engineering Center (EEC) is a software tool developed by Mind8 GmbH & Co. KG that allows configuring and generating automation projects. Therefore it uses modules of PLC code. The EEC already has a library to generate code for CoDeSys version 2. For version 3 and the constant innovation of drivers by manufacturers, it is necessary to implement a new library in this software. Therefore it is important to study the XML export to be then able to design any type of machine. The purpose of this master thesis is to study the new version of the CoDeSys XML taking into account all aspects and impact on the existing CoDeSys V2 models and libraries in the company Harro Höfliger Verpackungsmaschinen GmbH. For achieve this goal a small sample named “Traffic light” in CoDeSys version 2 will be done and then, using the tools of the new version it there will be a project with version 3 and also the EEC implementation for the automatically generated code.

An Extension of Gompertzian Growth Dynamics Weibull and Frechet Models

In this work a new probabilistic and dynamical approach to an extension of the Gompertz law is proposed. A generalized family of probability density functions, designated by Beta* (p, q), which is proportional to the right hand side of the Tsoularis-Wallace model, is studied. In particular, for p = 2, the investigation is extended to the extreme value models of Weibull and Frechet type. These models, described by differential equations, are proportional to the hyper-Gompertz growth model. It is proved that the Beta* (2, q) densities are a power of betas mixture, and that its dynamics are determined by a non-linear coupling of probabilities. The dynamical analysis is performed using techniques of symbolic dynamics and the system complexity is measured using topological entropy. Generally, the natural history of a malignant tumour is reflected through bifurcation diagrams, in which are identified regions of regression, stability, bifurcation, chaos and terminus.

Open-source software in operations research in engineering teaching

ENEGI 2013: Atas do 2º Encontro Nacional de Engenharia e Gestão Industrial, Universidade de Aveiro, 17 e 18 de maio de 2013, Aveiro, Portugal.