scholarly journals A Formal Method for Program Slicing

2005 ◽  
Author(s):  
Yingzhou Zhang ◽  
Baowen Xu ◽  
J.E. Labra Gayo
Keyword(s):  
Formal Method ◽  
Program Slicing

EDUCATION – RETURN TO REALITY

2020 ◽  
Vol 11 (1) ◽  
pp. 127-130
Author(s):  
Alexander Lukankin ◽  
Keyword(s):  
High Schools ◽  
Basic Education ◽  
Formal Method ◽  
Human Mind ◽  
Production Sector ◽  
The World ◽  
Soviet Russia ◽  
Correct Understanding ◽  
Natural Science Education ◽  
Technical Professions

The post-socialist transformation of general and vocational education system has led to the loss of many positive gains that were already achieved earlier. The polytechnic character of our school and its practice-oriented foundations, based on a reasonable combination of basic education and professional and applied training, were seriously undermined. Modern Russian secondary schools have become something like pre-revolutionary classical high schools, without taking into account the significant fact that in pre-Soviet Russia, along with high schools, there was a wide network of real schools. They focused students on further mastering technical professions and active participation in the production sector of the country. Today we are witnessing a global revolution in the spiritual sphere, aimed at changing the very essence of a man. Note that natural science education is valuable not only for its formal method, but also for providing the basis for a correct understanding of the world. It fosters independence of thought and distrust of other people’s words and authorities. This is the best protection of the human mind from all sorts of superstitions delusions and mysticism.

Specifying with Interface and Trait Abstractions in Abstract State Machines: A Controlled Experiment

2021 ◽  
Vol 30 (4) ◽  
pp. 1-29
Author(s):  
Philipp Paulweber ◽  
Georg Simhandl ◽  
Uwe Zdun
Keyword(s):  
Formal Methods ◽  
Formal Method ◽  
Object Oriented ◽  
Controlled Experiment ◽  
Specification Languages ◽  
Randomized Design ◽  
Textual Description ◽  
Efficiency And Effectiveness ◽  
Completely Randomized Design ◽  
Experimental Group

Abstract State Machine (ASM) theory is a well-known state-based formal method. As in other state-based formal methods, the proposed specification languages for ASMs still lack easy-to-comprehend abstractions to express structural and behavioral aspects of specifications. Our goal is to investigate object-oriented abstractions such as interfaces and traits for ASM-based specification languages. We report on a controlled experiment with 98 participants to study the specification efficiency and effectiveness in which participants needed to comprehend an informal specification as problem (stimulus) in form of a textual description and express a corresponding solution in form of a textual ASM specification using either interface or trait syntax extensions. The study was carried out with a completely randomized design and one alternative (interface or trait) per experimental group. The results indicate that specification effectiveness of the traits experiment group shows a better performance compared to the interfaces experiment group, but specification efficiency shows no statistically significant differences. To the best of our knowledge, this is the first empirical study studying the specification effectiveness and efficiency of object-oriented abstractions in the context of formal methods.

RESTRUCTURING PROGRAMS THROUGH PROGRAM SLICING

1994 ◽  
Vol 04 (03) ◽  
pp. 349-368 ◽  
Author(s):  
HYEON SOO KIM ◽  
YONG RAE KWON ◽  
IN SANG CHUNG
Keyword(s):  
Software Maintenance ◽  
Maintenance Phase ◽  
Software Tool ◽  
Logical Structure ◽  
Program Slicing ◽  
Loosely Coupled ◽  
Function Modules ◽  
Tightly Coupled ◽  
Function Module ◽  
And Control

Software restructuring is recognized as a promising method to improve logical structure and understandability of a software system which is composed of modules with loosely-coupled elements. In this paper, we present methods of restructuring an ill-structured module at the software maintenance phase. The methods identify modules performing multiple functions and restructure such modules. For identifying the multi-function modules, the notion of the tightly-coupled module that performs a single specific function is formalized. This method utilizes information on data and control dependence, and applies program slicing to carry out the task of extracting the tightly-coupled modules from the multi-function module. The identified multi-function module is restructured into a number of functional strength modules or an informational strength module. The module strength is used as a criterion to decide how to restructure. The proposed methods can be readily automated and incorporated in a software tool.

A scalable formal method for design and automatic checking of user interfaces

2005 ◽  
Vol 14 (2) ◽  
pp. 124-167 ◽  
Author(s):  
Jean Berstel ◽  
Stefano Crespi Reghizzi ◽  
Gilles Roussel ◽  
Pierluigi San Pietro
Keyword(s):  
User Interfaces ◽  
Formal Method

An information-leak analysis system based on program slicing

2002 ◽  
Vol 44 (15) ◽  
pp. 903-910 ◽  
Author(s):  
Reishi Yokomori ◽  
Fumiaki Ohata ◽  
Yoshiaki Takata ◽  
Hiroyuki Seki ◽  
Katsuro Inoue
Keyword(s):  
Program Slicing ◽  
Analysis System ◽  
Information Leak
Sign in / Sign up

Export Citation Format

Share Document