Agile Formal Method Engineering

2005 ◽  
pp. 109-128 ◽  
Author(s):  
Richard F. Paige ◽  
Phillip J. Brooke
Keyword(s):  
Formal Method ◽  
Method Engineering

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.

scholarly journals Method engineering to increase labor productivity and eliminate downtime

2020 ◽  
Vol 13 (2) ◽  
pp. 321
Author(s):  
Mildrend Montoya-Reyes ◽  
Alvaro González-Angeles ◽  
Ismael Mendoza-Muñoz ◽  
Margarita Gil-Samaniego-Ramos ◽  
Juan Ling-López
Keyword(s):  
Human Factor ◽  
Dead Time ◽  
Research Strategy ◽  
Method Engineering ◽  
Human Machine Interaction ◽  
Manufacturing Cell ◽  
Future Harm ◽  
The Individual ◽  
Machine Interaction

Purpose: The purpose of this work is to present a method based on the application of method engineering, in order to eliminate downtime and improve the manufacturing cell.Design/methodology/approach: The research strategy employed was a case study applied to a manufacturing company to explore the causes of excessive dead time and low productivity. The methodology used was divided in five steps. The first corresponds to the analysis of the lathe and grinding process; the second is the elaboration of the man-machine diagram to identify dead times; the third is the application of the improvement proposal; the fourth is the redistribution of the cell to optimize the process; the fifth is to conclude from the results obtained.Findings: With the proposed method, the downtime was reduced by 41% and only 50% of the available labor is required, therefore, it is concluded that the method can be used to redesign manufacturing cells.Research limitations/implications: This research was limited to analyzing and improving human-machine interaction, since work is not just the machine, or the individual alone, or the individual manipulating the machine, therefore, no other tools were used to improve the time of machines operation.Practical implications: Designing a manufacturing cell that allows the operator to do his job with less fatigue and not adapt the operator to the job, as commonly happens.Social implications: Companies must show a greater interest in occupational health by including human capital in their optimization plans to avoid future harm to workers.Originality/value: The key contribution of this paper focused on developing a novel and practical methodology to design or re-design manufacturing cells to improve productivity considering the human factor, inspired by the main concepts of method engineering.

Method rationale in method engineering

2005 ◽  
Author(s):  
M. Rossi ◽  
J.-P. Tolvanen ◽  
B. Ramesh ◽  
K. Lyytinen ◽  
J. Kaipala
Keyword(s):  
Method Engineering

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

Fixture Reusability and Reconfigurability Analysis Using Similarity Index

2000 ◽  
Author(s):  
Arlene G. Smithson ◽  
Zhenyu Kong ◽  
Dariusz Ceglarek
Keyword(s):  
Manufacturing System ◽  
Formal Method ◽  
Similarity Index ◽  
New Product ◽  
Fixture Design ◽  
Production Lines ◽  
Product Lines ◽  
Future Production ◽  
Manufacturing System Design ◽  
And Performance

Abstract Currently there is a lack of a formal method to utilize previous fixture information into the design of future product and production lines. The utilization of knowledge gained in the design of prior fixtures and the capability assessment of existing reconfigurable fixtures on the design of new product lines allow manufacturing system design for time and cost reductions. This paper presents the evaluation of a fixture design similarity index developed to assess the relevance of current fixtures design information for multi-model production (reconfigurability) or for future production lines design (reusability). The index developed decomposes N-2-1 fixture information into X, Y, and Z data with applicable constrains and part deflection requirements in the X, Y, and Z directions. This allows the evaluation and comparison of physical and performance attributes of any given fixture. An example demonstrating the methodology implementation to single fixture case analysis and conclusions are provided as part of the presentation.

Sign in / Sign up

Export Citation Format

Share Document