software formal method IEEE PAPER 2022


formal methods are a particular kind of mathematically rigorous techniques for the specification, development and verification of software and hardware systems formal methods are mathematical approaches to solving software (and hardware) problems at the requirements, specification, and design levels. Formal methods are most likely to be applied to safety-critical or security-critical software and systems, such as avionics software.




Automated Program Repair and Test Overfitting: Measurements and Approaches using Formal Methods
free download

overfitting and shows that formal methods did not consider correct patch, but the formal method did not verify its correctness checking in software development, ACM SIGSOFT Software

The software for interactive evaluation of mass spectrometri c imaging heterogeneity [version 1; peer review: awaiting peer
free download

The additional benefit of our method is that there is no data preprocessing is required other It could be also shown that the method works well with non-normalized data and there is no

Formalization of the prediction and ranking of software development life cycle models.
free download

reduce the failure of software but will also help to deliver the software in accordance with for the specific software project. In this paper, a method for selecting an appropriate software

Selecting a Software Development Methodology for Decentralized Applications
free download

To accomplish this, we used a case-study research method to uncover current design effective in developing DApps, only the Software Engineering for DApp framework is particularly

A Complete Bibliography of ACM Transactions on Software Engineering and Methodology
free download

Improving software modularization via automated analysis of latent topics and de- The design and implementation of hierarchical software systems with reusable com-

Transitioning from motivational goal models to user stories within user-centred software design
free download

a method for semiautomatically generating user stories from motivational goal models to support readability and clarity in RE, and requirements validation between software engineers

Micro-computed tomography of sandstone rocks: Raw, filtered and segmented datasets
free download

method . All images have a resolution of 2.25 μm (isometric voxels) and size of 10003 voxels. After the acquisition, the reconstruction was performed using the software provided by

Requirements Elicitation and Repeatable Processes-Interdisciplinary Collaboration between Software Engineering and Design
free download

led design process, a related design method and new ways of discussing animations. It has led to innovation in software engineering by increasing engagement with non-technical The preceding code indicates that Abs is a method that receives x of type int (ie, integer) and returns some y (also integer). So if we tried to call this method with a different type other

Progress on software verification: SV-COMP 2022
free download

software verification. The competition is an annual comparative evaluation of fully automatic software in terms of effectiveness and efficiency of software verification, establish standards,

Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR
free download

software verification might find their way into practice faster if provided in smaller, more specialized components. In this paper, we propose to strictly decompose software and software

Semi-Automatic Assessment of Modeling Exercises using Supervised Machine Learning
free download

the method in three exercises in a large undergraduate software engineering course SE1 in the summer with 1600 participants. SE1 teaches basic software a formal method as it

Opti-Soft+: A Recommender and Sensitivity Analysis for Optimal Software Feature Selection and Release Planning
free download

associated with new software features, we need to estimate the cost of software development the benefit of the implementation of the software . For software that implements information

Advances in Automatic Software Testing: Test-Comp 2022
free download

snapshot of the state-of-the-art in software testing to the community. This means to compare, field of formal methods, competitions are respected as an important evaluation method and

Ever Change a Running System : Structured Software Reengineering Using Automatically Proven-Correct Transformation Rules
free download

Abstract Legacy systems are business-critical software systems considerable amount of the total software development costs. Frequently We propose the concept of Structured Software

Biological Validation of the Free Software RhizoVision Explorer to Determine Root Parameters in Horticultural Crops
free download

the difference between one and another measurement method was only at the level of 1 the level of sensitivity of one or another method would in uence the selection or discarding of a

EXPLORING THE POTENTIAL OF HOW GEOGEBRA SOFTWARE CAN BE USED AS A VISUAL MEDIATOR BETWEEN PRESERVICE TEACHERS
free download

This paper is part of the large ongoing PhD project, which involves 10 University s third year BEd (FET) mathematics preservice teachers as participants. These preservice teachers Section 6.2 reports on the academic use of our method and software for instrumenting the 6.1 and 6. by outlining the practical benefits and limitations of our method and software for

Documenting Research Software in Engineering Science
free download

software was chosen: Neweul-M21 a research software that has been developed for over thirty years in an institute by engineers without formal software in the method section.

Code Commenting: How to properly comment code
free download

of software is written by developers that do not have any formal education in programming. As such, many developers who lack formal training in software of the method . For this type of

Utilization of the Software Life Cycle Model using Process-Centric Development and User-Centric Tool (PCD. UCT) model: A Review
free download

The method was then manually repeated, and all final and interim results were recorded on excel sheets. This method can be considered of as a phase in waterfall development that

Mathematical foundations based statistical modeling of software source code for software system evolution
free download

the software . In this work, exploration revolves around making use of the pattern hidden in various software This method also helps build comprehensive knowledgemaking use of text-

The influence of Free and Open-Source SoftwareGeographic Information System online training on spatial habits, knowledge and skills
free download

Besides human resources, we have another constraint related to geospatial software which is not affordable. Quantum GIS (QGIS) is one of the free and open source software (FOSS-

B2B App Store Governance in Software Platform Ecosystems: Dimensions and Types
free download

software puts platform owners into a challenging situation where integrating a B2B app store into their digital platform becomes a necessity to manage the dynamics of software method

MatCalib: a Matlab software package for Bayesian modeling of radiocarbon ages subject to temporal order constraints
free download

Bayesian age modeling is advantageous over the traditional method in several aspects. First, it The accompanying Matlab software package not only complements the existing MatCal

The AGT Epistasis Pattern Proposed a Novel Role for ZBED9 In Regulating Blood Pressure: Tehran Cardiometabolic Genetic Study (TCGS)
free download

The current study employed this method to detect antagonistic and synergistic interactions 4.0.3 software and P-values were adjusted using the Bonferroni correction method . Multiple A software architecture formed by three modules is proposed in this paper. The first and a general method for loading, integrating and transforming a collection of open data in a formal

Improving the nutritional properties of Brassica L. vegetables by spontaneous fermentation
free download

activity and Folin-Ciocalteau method to determine total phenolic formal analysis, investigation, and drafting. Carmen Campos is responsible for conceptualization, software formal

Role of Global Longitude Strain related miRNAs as potential prognostic indicators in myocardial infarction
free download

Software . The expression value of miRNAs relative to internal controls was calculated using the 2−△△Ct method . Statistical analysis was performed with SPSS software . Data were

SCHOOL OF MANAGEMENT STUDIES SBAA3017 SOFTWARE PROJECT MANAGEMENT
free download

software development methodology is a process for developing software (like other software is a key aspect of Agile software development as well. Brief overview of Agile Methodology

An airfoil geometric-feature extraction and discrepant data fusion learning method
free download

2 we propose a geometric-feature extraction method named BFE to extract geometric-features from both Euclidean space and manifold space and then fuse these geometric-features

Adjustable Block Analysis: Actor-based Creation of Block Summaries for Scaling Formal Verification
free download

Many techniques use formal verification as a basis. Although formal verification is applied with great success to many software development pipelines, the scalability is still a big

A machine learning and geostatistical hybrid method to improve spatial prediction accuracy of soil potentially toxic elements
free download

In this study, RF was used to address two main issues with the help of ArcGIS Pro 2.7 software for forest-based classi cation and regression spatial statistics tools. 1) to construct a

An Attribute Selection Process for Cross-Project Software Defect Prediction
free download

In this paper, we introduce a new approach for selecting the best set of attributes in software defect prediction. Our proposed method conducts two stages of selection. At the first stage,

Alternative stopping rules for random forest models fitted to National Health and Nutrition Examination Survey glycohemoglobin data
free download

and availability in many software packages. The semi-parametric model is determined by have also developed software for tting such models, in the R model4you package 12. Segal

Effect of glycerol addition time on the cryopreserved Korean native brindle cattle (Chikso) sperm quality
free download

Although cryopreservation is an efficient method for maintaining the biological and genetic We evaluated the effect of two cryopreservation method with different glycerol adding time

An AHP-Based Evaluation Method for Vocational Teachers Competency Standard
free download

software during the work progression and work exercise directly [62], [63]. Supportive software For example, software implementation in network system connection supports pupils

Software Fault Severity Prediction Using Git History Metrics and Commits
free download

Abstract: In this paper, we propose new software agnostic metrics extracted from Git history. We Results show that the proposed software agnostic metrics perform better in terms of fault

Measurement of Management Control System for Production Companies Using a Hybrid Z-SWARA and Z-WASPAS with FMEA Method : A Meta-Analysis
free download

This method is intended at assuring that the purposes and activities carried out have the desired outcomes and eventually lead to the objects and purposes of the company. In this matter

Source identification and characterization of organic nitrogen in atmospheric aerosols at a suburban site in China
free download

The SP-AMS data were processed and analysed within Igor Pro 6.36 (Wavemetrics) using the standard ToF-AMS analysis toolkit software package, SQUIRREL (version 1.57) and PIKA (

FARUL3S: a New Framework for Agile Regulated Ultra-Large-Scale Software Systems
free download

ABSTRACT The Ultra-Large-Scale Software (ULSS) systems development challenges today s top-down software management and development approaches. Northrop et al.(2006)According to the method of LoAs, in the case of closed c-inforgs we can only observe the for software quality metrics. We can now instantiate the SLMS scheme of software quality

The Combined Role of Obesity and Depressive Symptom in the Association with Ischemic Heart Disease and Its Subtypes
free download

This cross-sectional study aimed to explore the combined effects of depression and obesity on ischemic heart disease and its subtypes. Data from the National Health and Nutrition

Business Process Model and Notation for Forensic-Ready Software Systems
free download

However, software engineering support for the systematic development of such software While it is unreasonable to elicit every possible method we opted to create extension points

Numerical and Experimental Validation of Gas Metal Arc Welding on AISI 441 Ferritic Stainless Steel Through Mechanical and Microstructural Analysis
free download

finite element method (FEM) software to model software was used to predict the residual stresses and strains and the distortions of the welded components, while in the second software

Measuring the computational complexity of artifact design in Paleolithic archaeology
free download

The most important contrast between huntergatherer and complex societies lies in the absence of design aids such as written mathematics and computer software among the former.

Linguistic Processor (Simplified) For Decision Support In The Computer Networks Testing
free download

The algorithm was created for the purpose of implementation in the developed software and to create a method for linguistic processing of messages in the utilitys formal language, andfor selecting web services aimed at software rejuvenation. The method carried out the training The methods proposed for optimization of software rejuvenation in software systems are

Cardiovascular Benefits of Vitamin C Supplementation Against Particulate Air Pollution in Healthy Adults: A Double-Blind Randomized Crossover Trial
free download

In order to assess Vitamin C dietary level, we also asked all participants to use weighting method to record a three-days dietary intake (a weekend and two week days) at each

TOGA: A Neural Method for Test Oracle Generation
free download

Testing is widely recognized as an important stage of the software development lifecycle. Effective software testing can provide benefits such as bug finding, preventing regressions, and and retrieval, electronic adaptation, computer software or by similar or formal methodbased methodology in this book. Chapters 3 and 4 will cover the detailed account of the formal

Assessment of Plant Species Suitability in Green Walls Based on API, Heavy Metal Accumulation, and Particulate Matter Capture Capacity
free download

One method of reducing air pollution is to create green spaces, mainly green walls, as a scanned leaves areas were obtained in INCA software (Integrated measurement and calibration

Diaspora return and knowledge transfer
free download

the software ]. Most of us are using the software because it is new for us The software we whether an explicit or tacit knowledge transfer method is better suited also depends on the

Gender Diversity and Community Smells: a Double-Replication Study on Brazilian Software Teams
free download

software teams are gaining increasing attention from the research community due to their potential adverse effects on software authors, focusing on the Brazilian software teams; culture-

Detection Of Surface Defects And Subsurface Defects Of Polished Optics With Multisensor Image Fusion
free download

Herein a detection method for SDs and SSDs with 15 multisensor image fusion is proposed. The This method provides a more targeted reference for the evaluation and control 22 of the

Verifying Redundant-Check Based Countermeasures: A Case Study
free download

systems, designers of sensitive software use redundancy based countermeasure schemes. In We have proposed in this paper a method for formally verifying at source-code level that

Schema-guided Testing of Message-Oriented Systems
free download

Effective testing of message-oriented software requires describing the expected behaviour We follow a systematic method to write specifications that include both true and false

Justification for Adopting Qualitative Research Method Research Approaches, Sampling Strategy, Sample Size, Interview Method Saturation, and Data
free download

So far, we have known the QDA strategies, but what about the software to analyse The following section gives ideas and justification regarding some software for QDA.

PRINCIPLES OF CAREER GUIDANCE IN TEACHING STUDENTS
free download

(the use of various methods,methods and forms and software of education), as well as the who are not ready for a formal logical system and an axiomatic method can be cited as an

Construction of Verifier Combinations Based on Off-the-Shelf Verifiers
free download

Software verifiers have different strengths and weaknesses, First, we contribute a method to systematically and While we observed that portfolios of software verifiers are also restricted

software formal method





Using a formal method to model software design in XP projects
free download

A software engineer depends on an estab-lished best practice toolbox in order to build quality products. Extreme programmings practices tear away many well known techniques to aid developer efficiency; however this can mean that a project is poorly documented. This is

The integrated application based on real-time extended UML and improved formal method in real-time embedded software testing
free download

In this paper, formal methods were introduced into the real-time embedded software testing field and a real-time extended finite state machine, called rt_EFSM, was studied firstly. And then, the process of the integrated application based on real-time extended Unified

NuDE 2.0: A Formal Method -based Software Development, Verification and Safety Analysis Environment for Digital ICs in NPPs
free download

Abstract NuDE 2.0 (Nuclear Development Environment 2.0) is a formal method -based software development, verification and safety analysis environment for safety-critical digital ICs implemented with programmable logic controller (PLC) and field-programmable gate

Development of Software Requirement Analysis Tool for NPP Software Fields Based on Software Inspection and Formal Method
free download

This article introduces a computer-aided software requirement analysis tool, Software Inspection Support Requirement Traceability (SIS-RT), which has inspection, traceability analysis, and formal analysis capabilities. Inspection and requirement traceability analysis

Formal testing of object-oriented software : from the method to the tool
free download

This thesis presents a method and a tool for test set selection, dedicated to object-oriented applications and based on formal specifications. Testing is one method to increase the quality of todays extraordinary complex software . The aim is to find program errors with

Formal Method in Software Engineering
free download

❖ Finds errors in a specification that were initially overlooked, which will lead to less maintenance of the system.❖ Alloy produces an abstract model of a system, which will make it much easier to evolve, or expand. Thus, Alloy can check to ensure that new modifications

Design of Software Security Verification with Formal Method Tools
free download

Formal methods ensure the stability and reliability of soft-ware systems by using mathematical principles and proving conformance to a given set of requirements. The stable and reliable operation of software is especially important for system applications dealing

Complete safety software testing: a formal method
free download

In order to allow the introduction of safety-related digital control in nuclear power reactors, the software used by the systems must be demonstrated to be highly reliable. One method of improving software reliability is testing. A study of the complete testing of software was

A Formal Software Requirements Specification Method for Digital Plants Protection Systems
free download

This article describes NuSCR, a formal software requirements specification method for digital plant protection system in nuclear power plants. NuSCR improves the readability and specifiability by supplying different notations on the basis of the typical operation categories

Software inspections: comparing a formal method based with a classical reading methodology
free download

In this paper, we present a rigorous comparison of two inspection techniques: our formal method -based approach, SOLIMVA 3.0, with a set of Object-Oriented Reading Techniques (OORTs). We evaluated efficiency (required time to analyse a scenario) and effectiveness

Software component identification specification and classification using formal method and artificial neural networks
free download

Software Engineering is not only a technical discipline of its own, but also a problem domain where technologies coming from other disciplines are relevant and can play an important role in the development process. One important example is knowledge engineering [33], a

Industrial use of a safe and efficient formal method based software engineering process in avionics.
free download

Formal methods have reached industrial efficiency in avionics thanks to the development and deployment of an engineering process for software design and verification processes. It encompasses languages, compilers and formal verification tools in a highly automated

Applying Architecture Tradeoff Assessment Method (ATAM) As Part Of Formal Software Architecture
free download

In preparation for a customers Software System Critical Design Review (CDR); we concluded that an assessment approach based on a hybrid version of the Software Engineering Institutes (SEI) Architecture Trade-Off Analysis Method (ATAM) would be a



FREE IEEE PAPER AND PROJECTS


FREE IEEE PAPER

IEEE PAPER UNITED STATES