Loading…
Extending the UML Statecharts Notation to Model Security Aspects
El-Attar, Mohamed, Luqman, Hamza, Karpati, Peter, Sindre, Guttorm, Opdahl, Andreas L.
Published in IEEE transactions on software engineering (01.07.2015)
Published in IEEE transactions on software engineering (01.07.2015)
Get full text
Journal Article
Loading…
Loading…
Evaluating the Effectiveness of Notations for Designing Security Aspects
Muneer, Siraj Un, Nadeem, Muhammad, Kasi, Bakhtiar, Yousaf, Mir Hamayoun
Published in Advanced Communication Technology (ICACT), International Conference (01.02.2020)
Published in Advanced Communication Technology (ICACT), International Conference (01.02.2020)
Get full text
Conference Proceeding
Loading…
Process Patterns: Reusable Design Artifacts for Business Process Models
Kabir, Muhammad Ashad, Zhenchang Xing, Chandrasekaran, Prakash, Shang-Wei Lin
Published in Proceedings - International Computer Software & Applications Conference (01.07.2017)
Published in Proceedings - International Computer Software & Applications Conference (01.07.2017)
Get full text
Conference Proceeding
Loading…
Integration of a formal specification approach into CPPS engineering workflow for machinery validation
Vogel-Heuser, Birgit, Huber, Christoph, Cha, Suhyun, Beckert, Bernhard
Published in 2021 IEEE 19th International Conference on Industrial Informatics (INDIN) (21.07.2021)
Published in 2021 IEEE 19th International Conference on Industrial Informatics (INDIN) (21.07.2021)
Get full text
Conference Proceeding