Semi-Formal, not Semi-Realistic: A New Approach to Describing Software Components

Author(s):  
E. James Montgomery ◽  
Rune Meling ◽  
Daniela Mehandjiska
Author(s):  
MICHAEL N. HUHNS

This paper describes a new approach to the production of robust software. We first motivate the approach by explaining why the two major goals of software engineering — correct software and reusable software — are not being addressed by the current state of software practice. We then describe a methodology based on active, cooperative, and persistent software components, i.e., agents, and show how the methodology produces robust and reusable software. We derive requirements for the structure and behavior of the agents, and report on preliminary experiments on applications based on the methodology. We conclude with a roadmap for development of the methodology and ruminations about uses for the new computational paradigm.


2020 ◽  
Vol 8 (3) ◽  
pp. 82-95
Author(s):  
Mohammed Zagane ◽  
Mustapha Kamel Abdi ◽  
Mamdouh Alenezi

Automatic vulnerabilities prediction assists developers and minimizes resources allocated to fix software security issues. These costs can be minimized even more if the exact location of vulnerability is correctly indicated. In this study, the authors propose a new approach to using code metrics in vulnerability detection. The strength part of the proposed approach lies in using code metrics not to simply quantify characteristics of software components at a coarse granularity (package, file, class, function) such as complexity, coupling, etc., which is the approach commonly used in previous studies, but to quantify extracted pieces of code that hint presence of vulnerabilities at a fine granularity (few lines of code). Obtained results show that code metrics can be used with a machine learning technique not only to indicate vulnerable components wish was the aim of previous approaches but also to detect and locate vulnerabilities with very good accuracy.


2017 ◽  
Vol 9 (1) ◽  
Author(s):  
S. Velykodniy ◽  
O. Tymofieieva

The article discusses a new approach to upgrade the software for SCADA-systems. A distinctive feature of this method is the ability to support more than ten most popular programming languages. By applying this method it’s possible to automate the process of recoding software components and, by doing so, it saves time programmers have to spend to rewrite the code and reduce the likelihood of structural errors inherited from the previous system.


Author(s):  
Victoria Mazalova ◽  
Igor Khokhriakov ◽  
Olga Merkulova ◽  
Alexander Nozik

A novel approach to the remote-control system for the compact multi-crystal energy-dispersive spectrometer for x-ray emission spectroscopy (XES) applications has been developed. This new approach is based on asynchronous communication between software components and on reactive design principles. In this paper, we identify the challenges we have faced, our solution to them as well as the implementation and future development prospects. The main motivation of this work was the development of a new holistic communication protocol that can be implemented to control various hardware components.


Author(s):  
Nicolae Crisan ◽  
Ligia Chira Cremene ◽  
Marcel Cremene

Long-term adaptation solutions do not receive much attention in the design phase of a wireless system. A new approach is proposed, where the antenna takes an active role in characterising and learning the operation environment. The proposed solution is based on a signal fishing mechanism. Several software components, among which a genetic optimizer, implement the processing stages of autonomous design of the antenna array during operation.


1999 ◽  
Vol 173 ◽  
pp. 185-188
Author(s):  
Gy. Szabó ◽  
K. Sárneczky ◽  
L.L. Kiss

AbstractA widely used tool in studying quasi-monoperiodic processes is the O–C diagram. This paper deals with the application of this diagram in minor planet studies. The main difference between our approach and the classical O–C diagram is that we transform the epoch (=time) dependence into the geocentric longitude domain. We outline a rotation modelling using this modified O–C and illustrate the abilities with detailed error analysis. The primary assumption, that the monotonity and the shape of this diagram is (almost) independent of the geometry of the asteroids is discussed and tested. The monotonity enables an unambiguous distinction between the prograde and retrograde rotation, thus the four-fold (or in some cases the two-fold) ambiguities can be avoided. This turned out to be the main advantage of the O–C examination. As an extension to the theoretical work, we present some preliminary results on 1727 Mette based on new CCD observations.


Author(s):  
V. Mizuhira ◽  
Y. Futaesaku

Previously we reported that tannic acid is a very effective fixative for proteins including polypeptides. Especially, in the cross section of microtubules, thirteen submits in A-tubule and eleven in B-tubule could be observed very clearly. An elastic fiber could be demonstrated very clearly, as an electron opaque, homogeneous fiber. However, tannic acid did not penetrate into the deep portion of the tissue-block. So we tried Catechin. This shows almost the same chemical natures as that of proteins, as tannic acid. Moreover, we thought that catechin should have two active-reaction sites, one is phenol,and the other is catechole. Catechole site should react with osmium, to make Os- black. Phenol-site should react with peroxidase existing perhydroxide.


Author(s):  
K. Chien ◽  
R. Van de Velde ◽  
I.P. Shintaku ◽  
A.F. Sassoon

Immunoelectron microscopy of neoplastic lymphoma cells is valuable for precise localization of surface antigens and identification of cell types. We have developed a new approach in which the immunohistochemical staining can be evaluated prior to embedding for EM and desired area subsequently selected for ultrathin sectioning.A freshly prepared lymphoma cell suspension is spun onto polylysine hydrobromide- coated glass slides by cytocentrifugation and immediately fixed without air drying in polylysine paraformaldehyde (PLP) fixative. After rinsing in PBS, slides are stained by a 3-step immunoperoxidase method. Cell monolayer is then fixed in buffered 3% glutaraldehyde prior to DAB reaction. After the DAB reaction step, wet monolayers can be examined under LM for presence of brown reaction product and selected monolayers then processed by routine methods for EM and embedded with the Chien Re-embedding Mold. After the polymerization, the epoxy blocks are easily separated from the glass slides by heatingon a 100°C hot plate for 20 seconds.


Author(s):  
W. A. Chiou ◽  
N. Kohyama ◽  
B. Little ◽  
P. Wagner ◽  
M. Meshii

The corrosion of copper and copper alloys in a marine environment is of great concern because of their widespread use in heat exchangers and steam condensers in which natural seawater is the coolant. It has become increasingly evident that microorganisms play an important role in the corrosion of a number of metals and alloys under a variety of environments. For the past 15 years the use of SEM has proven to be useful in studying biofilms and spatial relationships between bacteria and localized corrosion of metals. Little information, however, has been obtained using TEM capitalizing on its higher spacial resolution and the transmission observation of interfaces. The research presented herein is the first step of this new approach in studying the corrosion with biological influence in pure copper.Commercially produced copper (Cu, 99%) foils of approximately 120 μm thick exposed to a copper-tolerant marine bacterium, Oceanospirillum, and an abiotic culture medium were subsampled (1 cm × 1 cm) for this study along with unexposed control samples.


Author(s):  
Arthur V. Jones

With the introduction of field-emission sources and “immersion-type” objective lenses, the resolution obtainable with modern scanning electron microscopes is approaching that obtainable in STEM and TEM-but only with specific types of specimens. Bulk specimens still suffer from the restrictions imposed by internal scattering and the need to be conducting. Advances in coating techniques have largely overcome these problems but for a sizeable body of specimens, the restrictions imposed by coating are unacceptable.For such specimens, low voltage operation, with its low beam penetration and freedom from charging artifacts, is the method of choice.Unfortunately the technical dificulties in producing an electron beam sufficiently small and of sufficient intensity are considerably greater at low beam energies — so much so that a radical reevaluation of convential design concepts is needed.The probe diameter is usually given by


Sign in / Sign up

Export Citation Format

Share Document