Enhancing a Rigorous Reuse Process with Natural Language Requirement Specifications

Author(s):  
Laura Felice ◽  
Carmen Leonardi ◽  
Liliana Favre ◽  
Maria Virginia Mauco

Reusability is the ability to use the same software elements for constructing many different applications. Formal specifications can help to semiautomatic design processes based on reusable components. However, during the first stages of development, when the interaction with the stakeholders is crucial, the use of client-oriented requirements engineering techniques seems to be necessary in order to enhance the communication between the stakeholders and the software engineers. In this chapter, we propose a systematic reuse approach that integrates natural language requirement specifications with formal specifications in RSL (RAISE Specification Language). On the one hand, some heuristics are described to develop a formal specification in RSL starting from models belonging to the Requirements Baseline. On the other hand, we have defined a reusable component model that integrates RSL specifications at different levels of abstraction, as well as presented a process with reuse based on the model.

2021 ◽  
Vol 26 (5) ◽  
pp. 453-460
Author(s):  
Krishna Chythanya Nagaraju ◽  
Cherku Ramesh Kumar Reddy

A reusable code component is the one which can be easily used with a little or no adaptation to fit in to the application being developed. The major concern in such process is the maintenance of these reusable components in one place called ‘Repository’, so that those code components can be effectively identified as well as reused. Word embedding allows us to numerically represent our textual information. They have become so pervasive that almost all Natural Language Processing projects make use of them. In this work, we considered to use Word2Vec concept to find vector representation of features of a reusable component. The features of a reusable component in the form of sequence of words are input to Word2Vec network. Our method using Word2Vec with Continuous Bag of Words out performs existing method in the market. The proposed methodology has shown an accuracy of 94.8% in identifying the existing reusable component.


1997 ◽  
Vol 06 (04) ◽  
pp. 481-509 ◽  
Author(s):  
Michael Hess

A system is described that uses a mixed-level knowledge representation based on standard Horn Clause Logic to represent (part of) the meaning of natural language documents. A variable-depth search strategy is outlined that distinguishes between the different levels of abstraction in the knowledge representation to locate specific passages in the documents. A detailed description of the linguistic aspects of the system is given. Mixed-level representations as well as variable-depth search strategies are applicable in fields outside that of NLP.


2017 ◽  
Vol 28 (1-2) ◽  
pp. 28-35 ◽  
Author(s):  
B. A. Baranovski

Nowadays, bioecological characteristics of species are the basis for flora and vegetation studying on the different levels. Bioecological characteristics of species is required in process of flora studying on the different levels such as biotopes or phytocenoses, floras of particular areas (floras of ecologically homogeneous habitats), and floras of certain territories. Ramensky scale is the one of first detailed ecological scales on plant species ordination in relation to various environmental factors; it developed in 1938 (Ramensky, 1971). A little later (1941), Pogrebnyak’s scale of forest stands was proposed. Ellenberg’s system developed in 1950 (Ellenberg, 1979) and Tsyganov’s system (Tsyganov, 1975) are best known as the systems of ecological scales on vascular plant species; these systems represent of habitat detection by ecotopic ecomorphs of plant species (phytoindication). Basically, the system proposed by Alexander Lyutsianovich Belgard was the one of first system of plant species that identiified ectomorphs in relation to environmental factors. As early as 1950, Belgard developed the tabulated system of ecomorphs using the Latin ecomorphs abbreviation; he also used the terminology proposed in the late 19th century by Dekandol (1956) and Warming (1903), as well as terminology of other authors. The article analyzes the features of Belgard’s system of ecomorphs on vascular plants. It has certain significance and advantages over other systems of ecomorphs. The use of abbreviated Latin names of ecomorphs in tabular form enables the use shortened form of ones. In the working scheme of Belgard’s system of ecomorphs relation of species to environmental factors are represented in the abbreviated Latin alphabetic version (Belgard, 1950). Combined into table, the ecomorphic analysis of plant species within association (ecological certification of species), biotope or area site (water area) gives an explicit pattern on ecological structure of flora within surveyed community, biotope or landscape, and on environmental conditions. Development and application by Belgrard the cenomorphs as «species’ adaptation to phytocenosis as a whole» were completely new in the development of systems of ecomorphs and, in this connection, different coenomorphs were distinguished. Like any concept, the system of ecomorphs by Belgard has the possibility and necessity to be developed and added. Long-time researches and analysis of literature sources allow to propose a new coenomorph in the context of Belgard’s system of ecomorphs development: silvomargoant (species of forest margin, from the Latin words margo – edge, boundary (Dvoretsky, 1976), margo – margin, ad margins silvarum – along the deciduous forest margins). As an example of ecomorphic characterization of species according to the system of ecomorphs by Belgard (when the abbreviated Latin ecomorph names are used in tabular form and the proposed cenomorph is used), it was given the part of the table on vascular plants ecomorphs in the National Nature Park «Orelsky» (Baranovsky et al). The Belgard’s system of ecomorphs is particularly convenient and can be successfully applied to data processing in the ecological analysis of the flora on wide areas with significant species richness, and the proposed ecomorph will be another necessary element in the Belgard’s system of ecomorphs. 


2021 ◽  
Vol 37 (01) ◽  
pp. 045-052
Author(s):  
Mario Bazanelli Junqueira Ferraz ◽  
Guilherme Constante Preis Sella

AbstractNasal dorsal preservation surgery was described more than 100 years ago, but recently has gained prominence. Our objective is to show the surgical technique, the main indications and counterindications, and the complications. It is a technique that does not cause the detachment of the upper lateral cartilage (ULC) from the nasal septum, and has the main following sequence: preparation of the septum and its resection can be at different levels (high or low, i.e., SPAR [septum pyramidal adjustment and repositioning] A or B); preparation of the pyramid; transversal osteotomy; lateral osteotomy(s); and septopyramidal adjustment. The result is a nose with a lower radix than the original, a deprojection of the nasal dorsum tending to maintain its original shape; an increase in the interalar distance (IAD) and enlargement of the nasal middle ⅓; and loss of projection of the nasal tip and roundness of the nostrils. Thus, the ideal candidate is the one who benefits from such side effects, that is: tension nose, that is, high radix with projected dorsum, projected anterior nasal septal angle (ANSA), narrow middle ⅓, narrow IAD, thin nostrils and straight perpendicular plate of the ethmoid (PPE), and, depending on the characteristics, the deviated nose. The counterindications are low radix, irregularities in the nasal dorsum, ANSA lower than rhinion, and a wide middle ⅓. And the main stigmas are: a nose with a very low radix, middle ⅓ enlarged, residual hump, and saddling of the supratip area. Other issues of this technique are: the shape of the radix; the need or not to remove PPE; wide dorsum; irregular dorsum; ANSA lower than rhinion; weak cartilages; long nasal bone; deviated PPE; and obsessive patient. We conclude that this is a great technique for noses with characteristics suitable to it; care must be taken with the stigmas it can cause.


Sensors ◽  
2021 ◽  
Vol 21 (15) ◽  
pp. 5136
Author(s):  
Bassem Ouni ◽  
Christophe Aussagues ◽  
Saadia Dhouib ◽  
Chokri Mraidha

Sensor-based digital systems for Instrumentation and Control (I&C) of nuclear reactors are quite complex in terms of architecture and functionalities. A high-level framework is highly required to pre-evaluate the system’s performance, check the consistency between different levels of abstraction and address the concerns of various stakeholders. In this work, we integrate the development process of I&C systems and the involvement of stakeholders within a model-driven methodology. The proposed approach introduces a new architectural framework that defines various concepts, allowing system implementations and encompassing different development phases, all actors, and system concerns. In addition, we define a new I&C Modeling Language (ICML) and a set of methodological rules needed to build different architectural framework views. To illustrate this methodology, we extend the specific use of an open-source system engineering tool, named Eclipse Papyrus, to carry out many automation and verification steps at different levels of abstraction. The architectural framework modeling capabilities will be validated using a realistic use case system for the protection of nuclear reactors. The proposed framework is able to reduce the overall system development cost by improving links between different specification tasks and providing a high abstraction level of system components.


2021 ◽  
Vol 13 (2) ◽  
pp. 485
Author(s):  
Blanca L. Díaz Mariño ◽  
Frida Carmina Caballero-Rico ◽  
Ramón Ventura Roque Hernández ◽  
José Alberto Ramírez de León ◽  
Daniel Alejandro González-Bandala

Understanding the value of research for society has become a priority, and several methodologies have been developed to assess the social impact of research. This study aimed to determine how productive interactions are developed during the execution of research projects. A retrospective study was conducted on 33 projects from 1999 to 2020. Semi-structured interviews with the technical managers were conducted to analyze how different actors of the project—researchers, government officials, and civil society and private sector stakeholders—were involved, illustrating how productive interactions occur in specific biodiversity contexts. The results revealed different levels and intensities of productive interactions; on the one hand, three projects involved all actors; eight involved researchers outside the institution; and 25 involved community members. The number of participants ranged from 2 to 37. All research evaluated had a disciplinary orientation. The type and time of interactions with other interested parties depended on the amount of funding, project type, project duration, and, significantly, on the profile of the technical manager. The importance of assessing and valuing productive interactions was identified as a fundamental element in promoting the social impact of research, as well as integrating inter- or multidisciplinary projects that impact the conservation of socio-ecological systems.


Sign in / Sign up

Export Citation Format

Share Document