What makes industries believe in formal methods

The introduction of formal methods in the design and development departments of an industrial company has far reaching and long lasting consequences. In fact it changes the whole environment of methods, tools and skills that determine the design culture of that company. A decision to replace current design practice by formal methods, therefore, appears a vital one and is not lightly taken. The past has shown that efforts to introduce formal methods in industry has faced a lot of controversy and opposition at various hierarchical levels in companies, resulting in a marginal spread of such methods. This paper revisits the requirements for formal description techniques and identifies some critical success and inhibiting factors associated with the introduction of formal methods in the industrial practice. One of the inhibiting factors is the often encountered lack of appropriateness of the formal model to express and manipulate the design concerns that determine the world of the engineer. This factor motivated our research in the area of architectural and implementation design concepts. The last two sections of this paper report on some results of this research

Advanced Design Concepts for Open Distributed Systems Development

Experience with the engineering of large scale open distributed systems has shown that their design should be specified at several well-defined levels of abstraction, in which each level aims at satisfying specific user, architectural, and implementation needs. Therefore, designers should dispose of a comprehensive design methodology, which allows them to conceive a specification at a certain abstraction level and transform this specification into a conforming specification at a lower abstraction level. The collection of these transformations should abridge the total design trajectory from initial user requirements to final implementation. The authors present and discuss some advanced design concepts that provide a basis for such a design methodolog

Advances in architectural concepts to support distributed systems design

This paper presents and discusses some architectural concepts for distributed systems design. These concepts are derived from an analysis of limitations of some currently available standard design languages. We conclude that language design should be based upon the careful consideration of architectural concepts. This paper aims at supporting designers by presenting a methodological design framework in which they can reason about the design and implementation of distributed systems. The paper is also meant for language developers and formalists by presenting a collection of architectural concepts which deserve consideration for formal support

A design model for Open Distributed Processing systems

This paper proposes design concepts that allow the conception, understanding and development of complex technical structures for open distributed systems. The proposed concepts are related to, and partially motivated by, the present work on Open Distributed Processing (ODP). As opposed to the current ODP approach, the concepts are aimed at supporting a design trajectory with several, related abstraction levels. Simple examples are used to illustrate the proposed concepts

Domus tutor: A CBR tutoring agent for student support

The changes introduced by the Bologna process in the educational paradigm, moving from a lecturer centered paradigm to a learner centered paradigm, involves a more supported learning process based on learning outcomes and the adoption of new pedagogical methodologies. In this paper we present our strategy of integration of tutoring agents in learning environments, using the features of intelligent tutoring systems adapted to collaborative environments. The Domus Tutor agent is the face of the adaptive learning environment that integrates Learning Design, groupware and collaborative work technologies. The adaptation of the system to the learner profile is based on case-based reasoning methodology; witch is one of the major reasoning paradigms in artificial intelligence.- (undefined

Formal description techniques for distributed computing systems:the challenges for the 1990's

Initially FDTs where developed within IS0 and CCITT for specification, at a high-level of abstraction, of distributed systems. Research is now being performed on the use of FDTs to support the complete implementation trajectory. In this paper we discuss a number of such research activities that are conducted within the framework of the Lotosphere project(*). The paper discusses aspects of design methodology, correctness preserving transformation, the reflection of design criteria, the role of pre-defined specification and implementation constructs, and formal approaches to conformance testing. Furthermore some insight is given in the development of a comprehensive toolset that supports these aspects of design methodology. The paper concludes with some experience obtained from the application of these methods and tools to some realistic pilot implementations: an ISDN and MHS application and a Transaction Processing application

Single nucleotide polymorphisms from Theobroma cacao expressed sequence tags associated with witches' broom disease in cacao

In order to increase the efficiency of cacao tree resistance to witches¿ broom disease, which is caused by Moniliophthora perniciosa (Tricholomataceae), we looked for molecular markers that could help in the selection of resistant cacao genotypes. Among the different markers useful for developing marker-assisted selection, single nucleotide polymorphisms (SNPs) constitute the most common type of sequence difference between alleles and can be easily detected by in silico analysis from expressed sequence tag libraries. We report the first detection and analysis of SNPs from cacao-M. perniciosa interaction expressed sequence tags, using bioinformatics. Selection based on analysis of these SNPs should be useful for developing cacao varieties resistant to this devastating disease. (Résumé d'auteur

Water regimes and bean cultivar effects on the soil porous system characteristics

Bean (Phaseolus vulgaris L.) is a crop of great economic and social impacts in Brazil. This crop is extremely appreciated by the Brazilian population and an important source of protein. Usually the small farmers are responsible by the largest production of the bean in Brazil. This work deals with the analysis of the effect of different water regimes (35, 28, 21 and 14%) on the porous system of a soil cropped with two distinct cultivars (Campos Gerais and Tuiuiú). Soil water retention curve (SWRC) and its derivative were utilized with the aim of investigating the changes in the porous system. Pore size distribution was also evaluated. The experiment was carried out at a greenhouse and the soil water content for the different water regimes was monitored by means of a TDR. Four undisturbed samples were collected from each wooden bed (eight) for the physic-hydrical characterization. Discrepancies in the SWRC were noticed for the region of small pressure heads. Differences were not observed between bean cultivars to SWRC. However, the water capacity function was sensitive to show differences in the soil porous system due to the treatments and cultivars. The lowest water regimes promoted the highest volume of fissures (big pores >250 µm) and, consequently, the highest ones had the largest volume of storage pores (<25 µm)

Optical/NIR stellar absorption and emission-line indices from luminous infrared galaxies

We analyze a set of optical-to-near-infrared long-slit nuclear spectra of 16 infrared-luminous spiral galaxies. All of the studied sources present H$_2$ emission, which reflects the star-forming nature of our sample, and they clearly display H I emission lines in the optical. Their continua contain many strong stellar absorption lines, with the most common features due to Ca I, Ca II, Fe I, Na I, Mg I, in addition to prominent absorption bands of TiO, VO, ZrO, CN and CO. We report a homogeneous set of equivalent width (EW) measurements for 45 indices, from optical to NIR species for the 16 star-forming galaxies as well as for 19 early type galaxies where we collected the data from the literature. This selected set of emission and absorption-feature measurements can be used to test predictions of the forthcoming generations of stellar population models. We find correlations among the different absorption features and propose here correlations between optical and NIR indices, as well as among different NIR indices, and compare them with model predictions. While for the optical absorption features the models consistently agree with the observations,the NIR indices are much harder to interpret. For early-type spirals the measurements agree roughly with the models, while for star-forming objects they fail to predict the strengths of these indices.Comment: accepted for publication in MNRA