A systematic mapping of semi-formal and formal methods in requirements engineering of industrial Cyber-Physical systems
Author
Abstract
Suggested Citation
DOI: 10.1007/s10845-021-01753-8
Download full text from publisher
As the access to this document is restricted, you may want to search for a different version of it.
References listed on IDEAS
- Ercan Oztemel & Samet Gursev, 2020. "Literature review of Industry 4.0 and related technologies," Journal of Intelligent Manufacturing, Springer, vol. 31(1), pages 127-182, January.
- Byeongwoo Jeon & Joo-Sung Yoon & Jumyung Um & Suk-Hwan Suh, 2020. "The architecture development of Industry 4.0 compliant smart machine tool system (SMTS)," Journal of Intelligent Manufacturing, Springer, vol. 31(8), pages 1837-1859, December.
- Franceschini, Fiorenzo & Maisano, Domenico & Mastrogiacomo, Luca, 2016. "Empirical analysis and classification of database errors in Scopus and Web of Science," Journal of Informetrics, Elsevier, vol. 10(4), pages 933-953.
Most related items
These are the items that most often cite the same works as this one and are cited by the same works as this one.- Kyu Tae Park & Jinho Yang & Sang Do Noh, 2021. "VREDI: virtual representation for a digital twin application in a work-center-level asset administration shell," Journal of Intelligent Manufacturing, Springer, vol. 32(2), pages 501-544, February.
- Shuting Wang & Jie Meng & Yuanlong Xie & Liquan Jiang & Han Ding & Xinyu Shao, 2023. "Reference training system for intelligent manufacturing talent education: platform construction and curriculum development," Journal of Intelligent Manufacturing, Springer, vol. 34(3), pages 1125-1164, March.
- Christoph March & Ina Schieferdecker, 2021.
"Technological Sovereignty as Ability, Not Autarky,"
CESifo Working Paper Series
9139, CESifo.
- Christoph March & Ina Schieferdecker, 2021. "Technological Sovereignty as Ability, not Autarky," Munich Papers in Political Economy 12, Munich School of Politics and Public Policy and the School of Management at the Technical University of Munich.
- Pompeu Casanovas & Louis de Koker & Mustafa Hashmi, 2022. "Law, Socio-Legal Governance, the Internet of Things, and Industry 4.0: A Middle-Out/Inside-Out Approach," J, MDPI, vol. 5(1), pages 1-28, January.
- Anna Kwiotkowska & Radosław Wolniak & Bożena Gajdzik & Magdalena Gębczyńska, 2022. "Configurational Paths of Leadership Competency Shortages and 4.0 Leadership Effectiveness: An fs/QCA Study," Sustainability, MDPI, vol. 14(5), pages 1-21, February.
- Masoud Zafarzadeh & Magnus Wiktorsson & Jannicke Baalsrud Hauge, 2021. "A Systematic Review on Technologies for Data-Driven Production Logistics: Their Role from a Holistic and Value Creation Perspective," Logistics, MDPI, vol. 5(2), pages 1-32, April.
- Özköse, Hakan & Güney, Gül, 2023. "The effects of industry 4.0 on productivity: A scientific mapping study," Technology in Society, Elsevier, vol. 75(C).
- Iñigo Flores Ituarte & Suraj Panicker & Hari P. N. Nagarajan & Eric Coatanea & David W. Rosen, 2023. "Optimisation-driven design to explore and exploit the process–structure–property–performance linkages in digital manufacturing," Journal of Intelligent Manufacturing, Springer, vol. 34(1), pages 219-241, January.
- Matthieu Ballandonne & Igor Cersosimo, 2021. "A note on reference publication year spectroscopy with incomplete information," Scientometrics, Springer;Akadémiai Kiadó, vol. 126(6), pages 4927-4939, June.
- Qinglan Liu & Adriana Hofmann Trevisan & Miying Yang & Janaina Mascarenhas, 2022. "A framework of digital technologies for the circular economy: Digital functions and mechanisms," Business Strategy and the Environment, Wiley Blackwell, vol. 31(5), pages 2171-2192, July.
- Thelwall, Mike, 2018. "Microsoft Academic automatic document searches: Accuracy for journal articles and suitability for citation analysis," Journal of Informetrics, Elsevier, vol. 12(1), pages 1-9.
- Liangjie Xia & Yongwan Bai & Sanjoy Ghose & Juanjuan Qin, 2022. "Differential game analysis of carbon emissions reduction and promotion in a sustainable supply chain considering social preferences," Annals of Operations Research, Springer, vol. 310(1), pages 257-292, March.
- John Mugambwa Serumaga-Zake & John Andrew van der Poll, 2021. "Addressing the Impact of Fourth Industrial Revolution on South African Manufacturing Small and Medium Enterprises (SMEs)," Sustainability, MDPI, vol. 13(21), pages 1-31, October.
- Chi Ma & Hongquan Gui & Jialan Liu, 2023. "Self learning-empowered thermal error control method of precision machine tools based on digital twin," Journal of Intelligent Manufacturing, Springer, vol. 34(2), pages 695-717, February.
- Gabriele Sampagnaro, 2023. "Keyword occurrences and journal specialization," Scientometrics, Springer;Akadémiai Kiadó, vol. 128(10), pages 5629-5645, October.
- Fadi Shehab Shiyyab & Abdallah Bader Alzoubi & Qais Mohammad Obidat & Hashem Alshurafat, 2023. "The Impact of Artificial Intelligence Disclosure on Financial Performance," IJFS, MDPI, vol. 11(3), pages 1-25, September.
- Zhaoyuan He & Paul Turner, 2021. "A Systematic Review on Technologies and Industry 4.0 in the Forest Supply Chain: A Framework Identifying Challenges and Opportunities," Logistics, MDPI, vol. 5(4), pages 1-22, December.
- Andres Bustillo & Roberto Reis & Alisson R. Machado & Danil Yu. Pimenov, 2022. "Improving the accuracy of machine-learning models with data from machine test repetitions," Journal of Intelligent Manufacturing, Springer, vol. 33(1), pages 203-221, January.
- Márquez, Laura Andreina Matos & Rezende, Eva Caroline Nunes & Machado, Karine Borges & Nascimento, Emilly Layne Martins do & Castro, Joana D'arc Bardella & Nabout, João Carlos, 2023. "Trends in valuation approaches for cultural ecosystem services: A systematic literature review," Ecosystem Services, Elsevier, vol. 64(C).
- Wurong Fu, 2021. "Macroscopic numerical model of reinforced concrete shear walls based on material properties," Journal of Intelligent Manufacturing, Springer, vol. 32(5), pages 1401-1410, June.
More about this item
Keywords
Formal methods; Industrial Cyber-Physical system; Requirements engineering; Semi-formal methods; Systematic mapping study;All these keywords.
Statistics
Access and download statisticsCorrections
All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:spr:joinma:v:33:y:2022:i:6:d:10.1007_s10845-021-01753-8. See general information about how to correct material in RePEc.
If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.
If CitEc recognized a bibliographic reference but did not link an item in RePEc to it, you can help with this form .
If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.
For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: Sonal Shukla or Springer Nature Abstracting and Indexing (email available below). General contact details of provider: http://www.springer.com .
Please note that corrections may take a couple of weeks to filter through the various RePEc services.