Efficiency of formal verification of ArchiMate business processes with NuSMV model checker [PDF]
Annals of computer science and information systems, 2015 Piotr Szwed
doaj +1 more source
SoSyM reflections: the 2021 "state of the journal" report. [PDF]
Softw Syst Model, 2022 Ergin H, Gray J, Rumpe B, Schindler M.
europepmc +1 more source
Personal Health Train Architecture with Dynamic Cloud Staging. [PDF]
SN Comput Sci, 2023 Bonino da Silva Santos LO +4 more
europepmc +1 more source
A design concept of big data analytics model for managers in hospitality industries. [PDF]
Pers Ubiquitous Comput, 2023 Mousavian S, Miah SJ, Zhong Y.
europepmc +1 more source
Automated conceptual model clustering: a relator-centric approach. [PDF]
Softw Syst Model, 2022 Guizzardi G +3 more
europepmc +1 more source
Towards a Language to Support Value Cocreation: An Extension to the ArchiMate Modeling Framework [PDF]
Annals of computer science and information systems, 2018 Christophe Feltus +2 more
doaj +1 more source
A Design of the Resilient Enterprise: A Reference Architecture for Emergent Behaviors Control. [PDF]
Sensors (Basel), 2020 Bemthuis R, Iacob ME, Havinga P.
europepmc +1 more source
Model-Driven Approach for Realization of Data Collection Architectures for Cyber-Physical Systems of Systems to Lower Manual Implementation Efforts. [PDF]
Sensors (Basel), 2021 Trunzer E +3 more
europepmc +1 more source
The foundation for future education, teaching, training, learning, and performing infrastructure - The open interoperability conceptual framework approach. [PDF]
Heliyon, 2023 Perisic A +3 more
europepmc +1 more source
Access Control Design Practice and Solutions in Cloud-Native Architecture: A Systematic Mapping Study. [PDF]
Sensors (Basel), 2023 Rahaman MS, Tisha SN, Song E, Cerny T.
europepmc +1 more source