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

Slicing functional programs 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 targeting either the imperative or the object oriented 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

Planning Considerations for Tourism in the Minho-Lima Region (Northwest Portugal)

In administering their territories, most local municipalities aim to preserve their natural, historical and ethnographical resources while simultaneously using them to increase revenue and employment. In order to efficiently promote the products and services available and attract tourists, decision makers, private and public, need to know and incorporate tourists’ preferences in their marketing strategies. In this chapter we illustrate the use of stated preferences as an instrument to identify national and foreign tourists’ preferences regarding the products and services that the touristic destination of the Minho-Lima region (Northwest Portugal) should offer. As a starting point, we have taken the three general groups of touristic resources mentioned above as attributes. We take Ponte de Lima, a municipality in this region that has a strong cultural tourism potential as an example to identify possible future tourism scenarios for this territory. We believe the previously identified methodology can be a valuable instrument in the identification of the strengths and weaknesses of the selected territory and, thus, support the decision making process behind its future tourist development and marketing strategies.

Portugal’s Minho-Lima region as a tourist destination: tourism operators’ attitudes towards its management and promotion

The success of tourism development depends on the capacity of a region’s tourism agents to establish and sustain networks, involving both private-sector companies and the public sector. Creating an attractive destination able to compete with others that are better positioned and consolidated requires cooperative behaviour among the various agents involved. This behaviour will facilitate both external and internal competition, which in turn will assure better product quality, continuous product renewal, a strong offer of unique experiences and the efficient use of endogenous resources. In this paper, the authors discuss the results of a survey of restaurant owners and of interviews conducted with the main institutional agents concerned with tourism promotion and the economic development of the Minho–Lima region. Such an approach, the authors argue, can be valuable in identifying the strengths and weaknesses of the area in question with regard to future tourism development. The authors work from the premise that the commitment of tourism agents constitutes a precondition for the success of the strategy to be defined. This is especially applicable to Minho–Lima, which to date has suffered from an absence of commitment and coordination on the part of those agents.

Qualifound – a modular tool developed for quality improvement in foundries

Purpose – Castings defects are usually easy to characterize, but to eradicate them can be a difficult task. In many cases, defects are caused by the combined effect of different factors, whose identification is often difficult. Besides, the real non-quality costs are usually unknown, and even neglected. This paper aims to describe the development of a modular tool for quality improvement in foundries, and its main objective is to present the application potential and the foundry process areas that are covered and taken into account. Design/methodology/approach – The integrated model was conceived as an expert system, designated Qualifound, which performs both qualitative and quantitative analyses. For the qualitative analyses mode, the nomenclature and the description of defects are based on the classification suggested by the International Committee of the Foundry Technical Association. Thus, a database of defects was established, enabling one to associate the defects with the relevant process operations and the identification of their possible causes. The quantitative analysis mode deals with the number of produced and rejected castings and includes the calculation of the non-quality costs. Findings – The validation of Qualifound was carried out in a Portuguese foundry, whose quality system had been certified according to the ISO 9000 standards. Qualifound was used in every management area and it was concluded that the application had the required technological requisites to provide the necessary information for the foundry management to improve process quality. Originality/value – The paper presents a successful application of an informatics tool on quality improvement in foundries.

The importance of quality in the consolidation of textile in Minho

The textile industry has a long tradition in Portugal and it is one of the most important sectors, despite the current economic crisis. It has always assumed a prominent role in terms of employment and a relevant position within the Portuguese economy. The lack of quality and the lower prices that other countries offer causes the loss of clients. Quality is a main tool to survive nowadays in the textile sector. To undertake our analysis, we made use of an existing database where 55 firms belonged to the textile industry, namely to the manufacturing sector. A new survey was created based on the original survey and was sent to 5 firms. Besides the survey, we also sent a few questions to the firms in order to retract more information about the actually situation in our country, concerning the textile industry. Several tables, graphs and pie charts were made to help shed light on our findings. This research was conducted in order to determine the importance of quality in the consolidation of textile firms in the north of Portugal. Most firms in our sample feel that quality improvement, business benefits, mobilizing employees’ knowledge and business image were important and that competition is very intense and is mainly by price and not by differentiation of product or service. The quality program has contributed to improve their competitive position and the improvement of their overall performance. The majority of the firms in our sample undertake TQM measures for quality purposes to meet customer expectations and prevent errors. Of all firms surveyed, the quality is certainly very important for its survival.

La innovación de los procesos - diferenciación en los servicios turísticos

The innovation contributes to business success and increased competitive advantage, one of the concepts that has deserved more attention among researchers in the field of management. Innovation is not exclusive of tangible products or services and can naturally extend to the process itself, the organization or marketing. Although it is not easy to gather a universal concept for innovation, do not seem to be no doubt that its importance is such that allows the company to build on the foundations of this future development, regardless of past success. This work has as its central purpose the study of process innovation in the supply outlook for tourism, given its importance in achieving business success. The recognition of its value assumes it as a challenge, making it necessary to distinguish with product, marketing and organizational innovation, either in substance or in the organizational competencies. Will be presented in this work, a brief description (as well as evolution of the concept) as a way of contextualizing and, then, clarified the distinction between the concepts process innovation and innovation process. Search will bring together the key distinguishing features from the perspective of tourism as a means of achieving competitive advantage for business. We will also discuss implications for management and future studies.

Preliminary clinical trial in percutaneous nephrolithotomy using a real-time navigation system for percutaneous kidney access

Background: Precise needle puncture of renal calyces is a challenging and essential step for successful percutaneous nephrolithotomy. This work tests and evaluates, through a clinical trial, a real-time navigation system to plan and guide percutaneous kidney puncture. Methods: A novel system, entitled i3DPuncture, was developed to aid surgeons in establishing the desired puncture site and the best virtual puncture trajectory, by gathering and processing data from a tracked needle with optical passive markers. In order to navigate and superimpose the needle to a preoperative volume, the patient, 3D image data and tracker system were previously registered intraoperatively using seven points that were strategically chosen based on rigid bone structures and nearby kidney area. In addition, relevant anatomical structures for surgical navigation were automatically segmented using a multi-organ segmentation algorithm that clusters volumes based on statistical properties and minimum description length criterion. For each cluster, a rendering transfer function enhanced the visualization of different organs and surrounding tissues. Results: One puncture attempt was sufficient to achieve a successful kidney puncture. The puncture took 265 seconds, and 32 seconds were necessary to plan the puncture trajectory. The virtual puncture path was followed correctively until the needle tip reached the desired kidney calyceal. Conclusions: This new solution provided spatial information regarding the needle inside the body and the possibility to visualize surrounding organs. It may offer a promising and innovative solution for percutaneous punctures.