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.

An empirical assessment of customer satisfaction and quality of servisse: Comparing Servqual and Servperf

This paper assesses the validity and reliability of two instruments measuring quality of service, the SERVPERF and SERVQUAL scales, replicated in a novel cultural settings, a Portuguese energy company. To provide insights and strategies for managerial intervention, a relation between customers’ satisfaction and quality of service is established. The empirical study suggests a superior convergent and predictive validity of SERVPERF scale to measure quality of service in this settings when comparing to SERVQUAL. The main differences of this study with previous ones, are that this one resorts on a confirmatory factor analysis, the validation of the instruments is performed by using the same measures suggested by their creators and extends the line of research to a novel cultural settings, a Portuguese energy company. Concerning the relationship between service quality and customers’ satisfaction, all of the quality of service attributes correlate almost equally to the satisfaction ones, with a lower weight concerning tangibles.

An empirical assessment of customer satisfaction and quality of service: comparing SERVQUAL and SERVPERF

This paper assesses the validity and reliability of two instruments measuring quality of service, the SERVPERF and SERVQUAL scales, replicated in a novel cultural settings, a Portuguese energy company. To provide insights and strategies for managerial intervention, a relation between customers’ satisfaction and quality of service is established. The empirical study suggests a superior convergent and predictive validity of SERVPERF scale to measure quality of service in this settings when comparing to SERVQUAL. The main differences of this study with previous ones, are that this one resorts on a confirmatory factor analysis, the validation of the instruments is performed by using the same measures suggested by their creators and extends the line of research to a novel cultural settings, a Portuguese energy company. Concerning the relationship between service quality and customers’ satisfaction, all of the quality of service attributes correlate almost equally to the satisfaction ones, with a lower weight concerning tangibles.