CREATING TOOLS IN A SOFTWARE ENVIRONMENT BASED ON GRAPH REWRITING RULES

2000 ◽  
Vol 10 (02) ◽  
pp. 153-183
Author(s):  
A. DE LUCIA ◽  
G. TORTORA ◽  
M. TUCCI
Keyword(s):  
Software Development ◽  
Software Evolution ◽  
Mathematical Concept ◽  
Tool Development ◽  
Program Transformations ◽  
Software Environment ◽  
Web Structure ◽  
High Level ◽  
Rewriting Rules ◽  
The Web

This paper presents the software development workbench WSDW (Web structure-oriented Software Development Workbench) together with the tool development language TDL. WSDW is an integrated structure-oriented software environment which contains several tools for software evolution. The integration of tools is achieved by sharing a program representation which is based upon the mathematical concept of relation: the web structure is the basic high level representation of programs within the environment. The TDL language is a structure-oriented language that supports the creation of a wide variety of tools both for software development and maintenance. The elementary statements in a TDL program are web rewriting rules and manipulations of programs are expressed as web transformations. Moreover, to make program transformations more intuitive to the tool programmer, web rewriting rules are expressed graphically. Each tool in WSDW performs a sequence of web transformations and new software tools can be implemented as TDL programs and integrated into WSDW.

scholarly journals FORMAL METHODS TO AID THE EVOLUTION OF SOFTWARE

1995 ◽  
Vol 05 (01) ◽  
pp. 25-47 ◽  
Author(s):  
M. P. WARD ◽  
K. H. BENNETT
Keyword(s):  
Software Development ◽  
Reverse Engineering ◽  
Formal Methods ◽  
Software Evolution ◽  
Formal Method ◽  
Wide Spectrum ◽  
Software Systems ◽  
Legacy Systems ◽  
Program Transformations ◽  
Industrial Software

There is a vast collection of operational software systems which are vitally important to their users, yet are becoming increasingly difficult to maintain, enhance, and keep up to date with rapidly changing requirements. For many of these so-called legacy systems, the option of throwing the system away and rewriting it from scratch is not economically viable. Methods are therefore urgently required which enable these systems to evolve in a controlled manner. The approach described in this paper uses formal proven program transformations, which preserve or refine the semantics of a program while changing its form. These transformations are applied to restructure and simplify the legacy systems and to extract higher-level representations. By using an appropriate sequence of transformations, the extracted representation is guaranteed to be equivalent to the code. The method is based on a formal wide spectrum language, called WSL, with an accompanying formal method. Over the last ten years we have developed a large catalog of proven transformations, together with mechanically verifiable applicability conditions. These have been applied to many software development, reverse engineering, and maintenance problems. In this paper, we focus on the results of using this approach in the reverse engineering of medium scale, industrial software, written mostly in languages such as assembler and JOVIAL. Results from both benchmark algorithms and heavily modified, geriatric software are summarized. We conclude that formal methods have an important practical role in software evolution.

PAPER PHYSICS. The web structure in relation to the furnish composition and shoe press pulse profiles during wet pressing

2012 ◽  
Vol 27 (4) ◽  
pp. 798-805 ◽  
Author(s):  
Collin Hii ◽  
Øyvind W. Gregersen ◽  
Gary Chinga-Carrasco ◽  
Øyvind Eriksen ◽  
Kai Toven
Keyword(s):  
Porous Structure ◽  
Peak Pressure ◽  
Pulse Length ◽  
Pressure Profile ◽  
Steam Consumption ◽  
Web Structure ◽  
Wet Pressing ◽  
Solids Content ◽  
In The Beginning ◽  
The Web

Abstract This study shows that wet-pressing TMP and DIP with a shoe press pulse may yield similar afterpress solids, provided that an adequate shoe pulse length with similar pressure profile is applied. A wet web with more porous structure in the sheet dewatering (felt) layer seems to contribute to the increased dewatering during wet pressing. In addition, a shoe press pulse with high peak pressure at the end yields higher solids content after wet-pressing and higher bulk compared to a pulse with a peak pressure in the beginning. The increased dewatering during wet-pressing implies a reduction of steam consumption in the dryer.

Multidimensional analysis of the state of Russian studies on the education issues over 1993–2016

2018 ◽  
pp. 50-62
Author(s):  
Дмитрий Рубвальтер ◽  
Dmitry Rubvalter ◽  
Александр Либкинд ◽  
Alexander Libkind ◽  
Валентина Маркусова ◽  
...  
Keyword(s):  
Web Of Science ◽  
The State ◽  
Multidimensional Analysis ◽  
Russian Regions ◽  
Global Flow ◽  
Educational Issues ◽  
Foreign Countries ◽  
High Level ◽  
The Web ◽  
Made In

A multidimensional analysis of the state of Russian studies on the education issues over 1993–2016 was carried out based on the materials of the data contained in the Web of Science (SSCI, A & HCI and SCI-E databases). There were determined the dynamics and trends of a number of relevant indicators, such as the number of Russian publications by year, the share of these publications in the global flow of publications on education issues, the dynamics of the share of publications made in co-authorship with foreign colleagues, etc. A number of distributions of Russian publications on educational issues was compiled and analyzed: by journals, by Russian regions and cities, by organizations and authors of the publications. It was found that most of these distributions were characterized by a high level of non-uniformity. A list of journals (125 titles) in which Russian works on education issues had been published was compiled. Russian organizations (308) and domestic researchers (about two thousand) engaged in studying the issues of education were identified. It was discovered that more than 200 organizations and about 400 academicians from 60 foreign countries had participated in Russian studies on the education issues.

Software Traceability – A Key to Improve Software Evolution

2016 ◽  
Vol 685 ◽  
pp. 881-885
Author(s):  
Alexey Ponomarev ◽  
Hitesh S. Nalamwar
Keyword(s):  
Life Cycle ◽  
Software Development ◽  
Software Evolution ◽  
Software Traceability ◽  
Development Life Cycle ◽  
Methods And Techniques ◽  
Software Development Life Cycle

Software traceability is an important part in software development that is getting more and more attention nowadays from organizations and researchers. The paper outlines the importance, different methods and techniques of software traceability. It also explains the need of automating traceability, problems and drawbacks of existing traceability tools, the ongoing challenges facing implementation of traceability in software development life cycle, and finally the paper discusses whether software traceability should be mandated as a key to improve software evolution

Software Evolution Rules with Condition Constrains to Support Component Type Matching Based on Bigraph

2018 ◽  
Vol 28 (10) ◽  
pp. 1429-1453 ◽  
Author(s):  
Chao-Ze Lu ◽  
Guo-Sun Zeng ◽  
Wen-Juan Liu
Keyword(s):  
Information System ◽  
Software Development ◽  
Software Architecture ◽  
Software Evolution ◽  
Type System ◽  
Reaction System ◽  
Basic Component ◽  
Development Method ◽  
Component Type ◽  
Tourism Information

With the gradual maturity of component oriented software development method, component-based software evolution technology has become hot research in academia and industry. Although many evolution rules are designed, they rarely consider component type-mismatched problem in evolution rules. This has led to evolution rules that often run error in software evolution execution. Hence, focusing on the mismatch problem of component type in software evolution, this paper addresses various evolution rules with condition constrains to support component type matching. First, we use the bigraph theory to model the software architecture and employ bigraph term language to describe the basic component evolution operations. Second, we join type system into the term language and use the type term language to express the condition constraints on position and connection for component evolution rules. These condition constraints can guarantee the type-matched among components that participate in software evolution. Furthermore, we show that the component type-matched still kept during a number of different evolution rules are used in the whole software evolution reaction system. Finally, two cases study of evolution progress of ATM system and tourism information system are presented. Two cases illustrate the effectiveness of our approach.

scholarly journals MODELOS DE MATURIDADE DE TESTE DE SOFTWARE: UMA REVISÃO SISTEMÁTICA DA LITERATURA

2018 ◽  
Vol 10 (2) ◽  
pp. 38-44
Author(s):  
Juliano Rodrigues Ramos
Keyword(s):  
Process Improvement ◽  
Software Process ◽  
Software Process Improvement ◽  
International Level ◽  
Maturity Models ◽  
Software Products ◽  
High Level ◽  
Test Process Improvement ◽  
Test Process ◽  
The Web

The high level of abstraction of software process improvement modelsand most software products make Maturity Test (TMA) and Test Process Improvement (TPI) win in industry and software research. The objective of this work is to delineate, from a literature review, the results are compared with the maturity models of Testing Processes (TMMi, TPI (Next) and MPT.br). The systemic basis of literature based on data available on the web. The results are a synthesis of the three types of test maturity investigated, being that they are part of the academic model and the comparisonsare characteristic of the models. In conclusion there are many maturity models of tests proposed in the literature, with TMMi and TPI being the most usable at an international level, and MPT.br the model in the Brazilian context.

scholarly journals Functional analysis of the food web of Bahia Magdalena, Baja California Sur, Mexico

2017 ◽  
Vol 41 (3) ◽  
pp. 519-544
Author(s):  
Víctor H. Cruz-Escalona ◽  
María V. Morales-Zárate ◽  
Andrés F. Navia ◽  
Juan M. Rguez-Baron ◽  
Pablo Del Monte-Luna
Keyword(s):  
Trophic Levels ◽  
Baja California Sur ◽  
Ecopath With Ecosim ◽  
Estuarine Ecosystem ◽  
Energy Control ◽  
Marine Communities ◽  
Web Structure ◽  
The World ◽  
The Web ◽  
Bahia Magdalena

In the present study we developed a trophic model (ECOPATH with ECOSIM), to describe the structure and functioning of Bahía Magdalena estuarine ecosystem. The model, constituted by 24 functional groups, indicates that one third of the total ecosystem biomass is produced by secondary and tertiary trophic levels. The magnitude of total flows in the system and the transfer efficiency among trophic levels, are similar to those observed in other tropical systems around the world. A large proportion of the total flows are directed to the maintenance of the trophic web structure. The value of the connectance index (CI) was 0.2, meaning that there is only 20% of realized connections within the web. Benthic primary producers contribute with 53% of the total ascendency. We believe that the energy control in this particular ecosystem is top-down type (through the main predators), suggesting that high-trophic level species negatively affect other groups in the system. This trophic model can be used for exploring different hypothesis concerning the biotic and abiotic mechanisms that modify the structure and functioning of the Bahía Magdalena ecosystem, with the ultimate goal of understanding how this attributes determine the resilience of marine communities.

AUTOMATED CONTINUOUS INTEGRATION USING CIRCLECI AND FIREBASE FOR ANDROID APPLICATION DEVELOPMENT

2021 ◽  
Vol 47 (05) ◽  
Author(s):  
NGUYỄN THỊ PHƯƠNG GIANG ◽  
TRẦN THỊ MINH KHOA
Keyword(s):  
Software Development ◽  
Industry 4.0 ◽  
Software Evolution ◽  
Android Application ◽  
Application Development ◽  
Software Developers ◽  
Continuous Integration ◽  
Complete Process ◽  
Automation Testing

Continuous Integration (CI) is the most common practice among software developers where they integrate their work into a frequent baseline. The industry 4.0 is facing huge challenges while developing Software at multiple sites and tested on multiple platforms. Today, so many CI tools widely used for software development as CircleCI, Jenkins, Travis. CircleCI is one of the CI tools that can helps in automating the complete process, reducing the works of a developer and check the development at each and every step of Software evolution. In this paper, we discuss the implementation of CircleCI for android application development. Firebase Test Lab will be used for some additional automation testing.

The northernmost record of Eriostethus rufus (Uchida, 1932) (Hymenoptera, Ichneumonidae) with an indication of new host, Trichonephila clavata (Koch, 1878) (Araneae, Araneidae) and its web manipulation

2021 ◽  
Vol 3 ◽  
pp. ec03015
Author(s):  
Keizo Takasuka
Keyword(s):  
Dna Barcoding ◽  
New Host ◽  
Web Structure ◽  
Inverted Triangle ◽  
Orb Web ◽  
The Web ◽  
Northern Japan

Eriostethus rufus (Uchida, 1932) is a polysphinctine ectoparasitoid of araneid spiders (Neoscona spp.) and is endemic to Japan. An individual was collected in Yamagata Prefecture (38º46' N), northern Japan, the northernmost record of the species and also the genus. Its identification was confirmed by morphology and by DNA barcoding. The cocoon was found in a large modified web, which is unique in that the web structure is shaped like an inverted triangle extending to over 50 cm with the cocoon hanging from an ill-defined part of the cocoon web without any organized structure surrounding the cocoon. The host spider of this individual appears to be Trichonephila clavata (Koch, 1878) (Araneidae, Nephilinae) based on several circumstantial evidences. The structure of the modified web suggests that the pre-existing web was partly reused, the orb web was completely removed, and sustaining threads of the barrier web would be newly moored to the substrates. This record means that E. rufus parasitises host spiders of two subfamilies, which is unusual for the group.

Toward Agile Interactive Software Development Process Models for Crowd Source Projects

2014 ◽  
pp. 117-131
Author(s):  
Izzat Alsmadi ◽  
Saqib Saeed
Keyword(s):  
Software Development ◽  
Process Models ◽  
Agile Development ◽  
Software Project ◽  
Interactive Software ◽  
Crowd Sourcing ◽  
Software Projects ◽  
The Public ◽  
Development Models ◽  
High Level

Typical traditional software development models are initially designed for company-style software project teams. They also assume a typical software project that has somewhat clear goals, scope, budget, and plan. Even Agile development models that are very flexible in considering previous project parameters assume somewhat stable team and project structures. However, in recent years, the authors have noticed expansion in software projects that are developed in a very illusive flexible team, scope, budget, and plan structures. Examples of such projects are those projects offered in open competition (also called crowd sourcing) structure for software developers to be part of. In typical open competition projects, initial, high level project ideas are submitted to the public through the Internet. The project initiators give their initial requirements, constraints, and conditions for successful products or submissions. Teams can be organized before or through the competition. Submission and evaluation of deliverables from teams are subjected to project initiator evaluation along with evaluation teams organized through the open competition host. This chapter investigates all traditional project characteristics. The authors elaborate on all those elements that should be modified to fit the open competition agile structure. They use several case studies to demonstrate management issues related to managing software projects in open competitions.

Sign in / Sign up

Export Citation Format

Share Document