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.
- Govindan, Kannan & Kannan, Devika & Jørgensen, Thomas Ballegård & Nielsen, Tim Straarup, 2022. "Supply Chain 4.0 performance measurement: A systematic literature review, framework development, and empirical evidence," Transportation Research Part E: Logistics and Transportation Review, Elsevier, vol. 164(C).
- Tiago Afonso & Anabela C. Alves & Paula Carneiro, 2021. "Lean Thinking, Logistic and Ergonomics: Synergetic Triad to Prepare Shop Floor Work Systems to Face Pandemic Situations," International Journal of Global Business and Competitiveness, Springer, vol. 16(1), pages 62-76, December.
- 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.
- Mikhail Rogov & Céline Rozenblat, 2018. "Urban Resilience Discourse Analysis: Towards a Multi-Level Approach to Cities," Sustainability, MDPI, vol. 10(12), pages 1-21, November.
- Xiaoyu Zhan & Delia Mioara Popescu & Valentin Radu, 2020. "Challenges for Romanian Entrepreneurs in Managing Remote Workers," Book chapters-LUMEN Proceedings, in: Marcin Waldemar STANIEWSKI & Valentina VASILE & Adriana Grigorescu (ed.), International Conference Innovative Business Management & Global Entrepreneurship (IBMAGE 2020), edition 1, volume 14, chapter 49, pages 670-687, Editura Lumen.
- 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.
- Weishu Liu & Meiting Huang & Haifeng Wang, 2021. "Same journal but different numbers of published records indexed in Scopus and Web of Science Core Collection: causes, consequences, and solutions," Scientometrics, Springer;Akadémiai Kiadó, vol. 126(5), pages 4541-4550, May.
- Rui Wang & Xiangyu Guo & Shisheng Zhong & Gaolei Peng & Lin Wang, 2022. "Decision rule mining for machining method chains based on rough set theory," Journal of Intelligent Manufacturing, Springer, vol. 33(3), pages 799-807, March.
- 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).
- Peerally, Jahan Ara & Santiago, Fernando & De Fuentes, Claudia & Moghavvemi, Sedigheh, 2022. "Towards a firm-level technological capability framework to endorse and actualize the Fourth Industrial Revolution in developing countries," Research Policy, Elsevier, vol. 51(10).
- 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.
- Martin-Martin, Alberto & Orduna-Malea, Enrique & Harzing, Anne-Wil & Delgado López-Cózar, Emilio, 2017. "Can we use Google Scholar to identify highly-cited documents?," Journal of Informetrics, Elsevier, vol. 11(1), pages 152-163.
- 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.
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.