Program slicing by calculation

Program slicing is a well known family of techniques used to identify code fragments which depend on or are depended upon specific program entities. They are particularly useful in the areas of reverse engineering, program understanding, testing and software maintenance. Most slicing methods, usually oriented towards the imperative or object paradigms, are based on some sort of graph structure representing program dependencies. Slicing techniques amount, therefore, to (sophisticated) graph transversal algorithms. This paper proposes a completely different approach to the slicing problem for functional programs. Instead of extracting program information to build an underlying dependencies’ structure, we resort to standard program calculation strategies, based on the so-called Bird-Meertens formalism. The slicing criterion is specified either as a projection or a hiding function which, once composed with the original program, leads to the identification of the intended slice. Going through a number of examples, the paper suggests this approach may be an interesting, even if not completely general, alternative to slicing functional programs

Component identification through program slicing

This paper reports on the development of specific slicing techniques for functional programs and their use for the identification of possible coherent components from monolithic code. An associated tool is also introduced. This piece of research is part of a broader project on program understanding and re-engineering of legacy code supported by formal methods

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.

Design e responsabilidade social: cooperação entre escola e movimento de solidariedade social

Durante os anos lectivos de 2004/05 desenvolveu-se uma parceria entre a Escola Superior Artística do Porto (ESAP) e a Associação Conversas de Rua, de Lisboa, esta última com um grande trabalho pedagógico junto de um público jovem, consumidor de substância psicoactivas em contextos de diversão. Desta parceria resultou um projecto de Design Gráfico no âmbito de uma cadeira do 2º ano do Curso de Arte e Comunicação, envolvendo todos os seus alunos. Este foi o início de outras parcerias que os professores envolvidos estabeleceram entre a Escola e a Sociedade Civil. A actual marca gráfica da Associação SOS Racismo, foi igualmente fruto dessa intenção. Deste primeiro projecto pretendia-se a criação de diversos suportes gráficos essenciais para os educadores da Associação Conversas de Rua nas suas acções sociais de informação. Como conteúdos programáticos era fundamental para os alunos apreenderem as diversas fases de uma metodologia de projecto no âmbito do design de comunicação. A metodologia apoiou-se nas três etapas estruturantes (macroestrutura) comuns a todos os projectos de design, sendo elas, tal como o designer Gui Bonsiepe as denomina: estruturação do problema projectual; projecto e, finalmente, realização do projecto. Dentro da macroestrutura desenvolveram-se etapas particulares e inerentes à natureza deste projecto específico (microestrutura). A qualidade do resultado e o significado desta primeira parceria levou a que algumas entidades financiassem a produção da maior parte dos projectos. Além das exposições daí originadas, alguns dos flyers e produtos concebidos pelos alunos encontrando-se actualmente em circulação. Com estes projectos, reconhecemos e comprovamos que a Escola pode ser um local ideal para cruzar intenções pedagógicas a diversos níveis. Os frutos destas parcerias permitem apresentá-los hoje como paradigmas de sucesso na relação da Escola com movimentos de cariz social e por isso, como um exemplo pedagógico que outras Instituições de Ensino poderiam promover. Acreditamos que o envolvimento emocional do aluno e a utilidade das propostas dadas em aula podem ser os principais potenciadores da sua aprendizagem.

Design e responsabilidade social: cooperação entre escola e movimento de solidariedade social

Durante os anos lectivos de 2004/05 desenvolveu-se uma parceria entre a Escola Superior Artística do Porto e a Instituição Particular de Solidariedade Social: Conversas de Rua – Associação, de Lisboa. Desta parceria resultou um projecto no âmbito de uma cadeira do 2º ano do Curso de Arte e Comunicação, envolvendo todos os seus alunos. A qualidade do resultado e o significado desta parceria levou a que as Câmaras Municipais de Sintra e Cascais, e a própria Associação, aceitassem financiar a produção da maior parte dos projectos. Fizeram-se 2 exposições e alguns dos flyers e produtos concebidos pelos alunos encontrando-se actualmente em vigor. Pretendemos partilhar esta experiência educativa pois reconhecemos que a Escola pode ser um local ideal para cruzar intenções pedagógicas. Ao mesmo tempo que desenvolve competências técnicas e criativas nos alunos pode dar-lhes, também, a oportunidade de contacto directo com a sociedade civil nos aspectos onde o seu trabalho é de grande utilidade, desenvolvendo assim o sentido da responsabilidade e ética profissional. Este projecto foi o início de outros, nomeadamente com a Associação SOS Racismo. Acreditamos no envolvimento emocional do aluno e na utilidade das propostas dadas em aula como principais potenciadores da aprendizagem.

Lições de Direito e Processo Penal, Solicitadoria, 3º Ano, Escola Superior de Gestão do Instituto Politécnico do Cávado e do Ave, Ano Lectivo de 2014/2015

Lições de Direito e Processo Penal, Solicitadoria, 3º Ano, Escola Superior de Gestão do Instituto Politécnico do Cávado e do Ave, Ano Lectivo de 2014/2015 § Lessons of Law and Criminal Procedure, Solicitors, 3rd Year, School of Management of the Polytechnic Institute of Cávado and Ave, Academic Year 2014/2015

Lições de Direito Económico e Financeiro, Gestão Bancária e Seguros, 1º Ano, Escola Superior de Gestão do Instituto Politécnico do Cávado e do Ave, Ano Lectivo de 2014/2015

Lições de Direito Económico e Financeiro, Gestão Bancária e Seguros, 1º Ano, Escola Superior de Gestão do Instituto Politécnico do Cávado e do Ave, Ano Lectivo de 2014/2015 § Lessons from the Economic and Financial Law, Banking and Insurance Management, 1st Year, School of Management of the Polytechnic Institute of Cávado and Ave, Academic Year 2014/2015.

Lições de Direito dos Valores Mobiliários, Mestrado em Auditoria, Escola Superior de Gestão do Instituto Politécnico do Cávado e do Ave, Ano Lectivo de 2014/2015

Lições de Direito dos Valores Mobiliários, Mestrado em Auditoria, Escola Superior de Gestão do Instituto Politécnico do Cávado e do Ave, Ano Lectivo de 2014/2015 § Lessons Securities Law, Master in Audit, School of Management of the Polytechnic Institute of Cávado and Ave, Academic Year 2014/2015

Lições de Direito e Procedimento Tributário, Fiscalidade, Escola Superior de Gestão do Instituto Politécnico do Cávado e do Ave, Ano Lectivo de 2014/2015

Lições de Direito e Procedimento Tributário, Fiscalidade, Escola Superior de Gestão do Instituto Politécnico do Cávado e do Ave, Ano Lectivo de 2014/2015 § Lessons in Law and Tax Procedure, Taxation, School of Management of the Polytechnic Institute of Cávado and Ave, Academic Year 2014/2015