{"title":"The Role of 4IR-5IR Leadership-Management in the Adoption of Formal Methods","authors":"John Andrew van der Poll","doi":"10.3390/systems12080306","DOIUrl":null,"url":null,"abstract":"Formal methods (FMs) have been cited as a viable methodology for developing high-quality software. However, the steep learning curve in efficiently using the underlying discrete mathematics and logic has hindered FMs’ adoption, leading to a decline in their initial interest in the 1980s. Traditionally, technical approaches have been pursued to address the FMs challenge. Having taken cognisance of a similar pre-4IR decline in AI, the researcher views FMs as technology and considers solutions at intersections of 4IR-5IR technology adoption, leveraged by the support of governors, termed leadership-management in this work. Following a qualitative research choice, scholarly literature is reviewed, and sets of qualitative propositions are defined to develop a conceptual framework for a 4IR-5IR leadership-management adoption of FMs. Aspects that emerged and are incorporated into the framework are cross-functional and executive levels of leadership, transformative, adaptive, and servant leadership styles, using FM tools that embed a high level of user experience, and 4IR technologies, augmented with 5IR human aspects. The framework is hoped to motivate a company’s leadership to contribute to technology and technical ICT-based decision-making increasingly. Future work in this area would involve securing input from practitioners and exercising the framework in an industrial setting.","PeriodicalId":36394,"journal":{"name":"Systems","volume":"6 1","pages":""},"PeriodicalIF":2.3000,"publicationDate":"2024-08-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Systems","FirstCategoryId":"90","ListUrlMain":"https://doi.org/10.3390/systems12080306","RegionNum":4,"RegionCategory":"社会学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"SOCIAL SCIENCES, INTERDISCIPLINARY","Score":null,"Total":0}
引用次数: 0
Abstract
Formal methods (FMs) have been cited as a viable methodology for developing high-quality software. However, the steep learning curve in efficiently using the underlying discrete mathematics and logic has hindered FMs’ adoption, leading to a decline in their initial interest in the 1980s. Traditionally, technical approaches have been pursued to address the FMs challenge. Having taken cognisance of a similar pre-4IR decline in AI, the researcher views FMs as technology and considers solutions at intersections of 4IR-5IR technology adoption, leveraged by the support of governors, termed leadership-management in this work. Following a qualitative research choice, scholarly literature is reviewed, and sets of qualitative propositions are defined to develop a conceptual framework for a 4IR-5IR leadership-management adoption of FMs. Aspects that emerged and are incorporated into the framework are cross-functional and executive levels of leadership, transformative, adaptive, and servant leadership styles, using FM tools that embed a high level of user experience, and 4IR technologies, augmented with 5IR human aspects. The framework is hoped to motivate a company’s leadership to contribute to technology and technical ICT-based decision-making increasingly. Future work in this area would involve securing input from practitioners and exercising the framework in an industrial setting.