Formal Methods Communities of Practice: A Survey of Personal Experience

Bowen, Jonathan P.; Breuer, Peter T.

doi:10.1007/978-3-031-12429-7_21

Cited by 3 publications

(3 citation statements)

References 74 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…There are both formal and informal approaches to CoPs. Formal CoPs are typically structured and organised under specific terms and conditions with a set purpose in mind (Bowen and Breuer 2022). On the other hand, informal CoPs are usually organic networks of individuals united by their shared interests but without any particular goal or structure (Schulte et al 2020).…”

Section: Mutual Participation As An Assumption Of Copmentioning

confidence: 99%

Addressing the Dark Side of Leadership in the University System Using Community of Practice (CoP) Approach

Omodan

2023

Administrative Sciences

View full text Add to dashboard Cite

University systems are increasingly facing the consequences of the dark side of leadership. The dark side of leadership in educational organisations is a worldwide phenomenon affecting universities, academies, and college campuses. To respond to this, this paper explores the potential of community practice as an approach to respond to the dark side of leadership in the university system. The paper is a conceptual argument and derives knowledge from argumentative and logical reasoning, located within an interpretive worldview and analysed using conceptual analysis as a tool to make sense of the arguments. The paper argues that shared commonality, collective problem solving, mutual participation, and social interactions are dimensions of remedy that can ameliorate the dark side of leadership. Based on this argument, the paper concludes that effective dimensions of remedy that could ameliorate the dark side of leadership in university contexts are shared commonality, collective problem solving, mutual participation, and social interactions, with a recommendation that they must be incorporated in university leadership dispositions.

show abstract

Section: Mutual Participation As An Assumption Of Copmentioning

confidence: 99%

Addressing the Dark Side of Leadership in the University System Using Community of Practice (CoP) Approach

Omodan

2023

Administrative Sciences

View full text Add to dashboard Cite

show abstract

“…The overarching goal of formal methods is to help engineers construct more reliable systems. -Clarke and Wing (1996) Motivation Research on formal methods has been continuing for more than three decades (Bowen and Breuer 2021). Initial applications of formal methods are introduced by Wing (1990) and Rushby (1993).…”

Section: Introductionmentioning

confidence: 99%

A user study for evaluation of formal verification results and their explanation at Bosch

Kaleeswaran,

Nordmann,

Vogel

et al. 2023

Empir Software Eng

View full text Add to dashboard Cite

Context Ensuring safety for any sophisticated system is getting more complex due to the rising number of features and functionalities. This calls for formal methods to entrust confidence in such systems. Nevertheless, using formal methods in industry is demanding because of their lack of usability and the difficulty of understanding verification results. Objective We evaluate the acceptance of formal methods by Bosch automotive engineers, particularly whether the difficulty of understanding verification results can be reduced. Method We perform two different exploratory studies. First, we conduct a user survey to explore challenges in identifying inconsistent specifications and using formal methods by Bosch automotive engineers. Second, we perform a one-group pretest-posttest experiment to collect impressions from Bosch engineers familiar with formal methods to evaluate whether understanding verification results is simplified by our counterexample explanation approach. Results The results from the user survey indicate that identifying refinement inconsistencies, understanding formal notations, and interpreting verification results are challenging. Nevertheless, engineers are still interested in using formal methods in real-world development processes because it could reduce the manual effort for verification. Additionally, they also believe formal methods could make the system safer. Furthermore, the one-group pretest-posttest experiment results indicate that engineers are more comfortable understanding the counterexample explanation than the raw model checker output. Limitations The main limitation of this study is the generalizability beyond the target group of Bosch automotive engineers.

show abstract

“…- Clarke and Wing (1996) Motivation. Research on formal methods has been continuing for more than three decades (Bowen and Breuer 2021). Initial applications of formal methods are introduced by Wing (1990) and Rushby (1993).…”

Section: Introductionmentioning

confidence: 99%

A User-Study Protocol for Evaluation of Formal Verification Results and their Explanation

Kaleeswaran¹,

Nordmann²,

Vogel³

et al. 2021

Preprint

View full text Add to dashboard Cite

Context: Ensuring safety for any sophisticated system is getting more complex due to the rising number of features and functionalities. This calls for formal methods to entrust confidence in such systems. Nevertheless, using formal methods in industry is demanding because of their lack of usability and the difficulty of understanding verification results. Objective: We evaluate the acceptance of formal methods by Bosch automotive engineers, particularly whether the difficulty of understanding verification results can be reduced. Method: We perform two different exploratory studies. First, we conduct a user survey to explore challenges in identifying inconsistent specifications and using formal methods by Bosch automotive engineers. Second, we perform a one-group pretest-posttest experiment to collect impressions from Bosch engineers familiar with formal methods to evaluate whether understanding verification results is simplified by our counterexample explanation approach. Results: The results from the user survey indicate that identifying refinement inconsistencies, understanding formal notations, and interpreting verification results are challenging. Nevertheless, engineers are still interested in using formal methods in real-world development processes because it could reduce the manual effort for verification. Additionally, they also believe formal methods could make the system safer. Furthermore, the one-group pretestposttest experiment results indicate that engineers are more comfortable un-

show abstract

Formal Methods Communities of Practice: A Survey of Personal Experience

Cited by 3 publications

References 74 publications

Addressing the Dark Side of Leadership in the University System Using Community of Practice (CoP) Approach

Addressing the Dark Side of Leadership in the University System Using Community of Practice (CoP) Approach

A user study for evaluation of formal verification results and their explanation at Bosch

A User-Study Protocol for Evaluation of Formal Verification Results and their Explanation

Contact Info

Product

Resources

About