封面图片

Mapping from OCL/UML metamodel to PVS metamodel

Saved in:

书目详细资料
主要作者:	Ab Rahim, Lukman
格式:	Conference or Workshop Item
出版:	2008
主题:	QA75 Electronic computers. Computer science
在线阅读:	http://eprints.utp.edu.my/8047/1/mapping_from_ocl_to_pvs.pdf http://eprints.utp.edu.my/8047/
标签:	添加标签没有标签, 成为第一个标记此记录!

相似书籍

Mapping from OCL/UML metamodel to PVS metamodel
由: L.A., Rahim
出版: (2008)

PVS metamodel
由: Ab Rahim, Lukman
出版: (2009)

Evaluating different processes of translating OCL to PVS using model transformation
由: Ab Rahim, Lukman
出版: (2008)

Usage scenarios and goals for ontology definition metamodel
由: Hart, Lewis, et al.
出版: (2004)

Development of metamodel for information security risk management
由: Mohammed Ba Muqabel, Mohammed Salem
出版: (2013)

A metamodel for mobile forensics investigation domain
由: Ali, A., et al.
出版: (2017)

Digital forensics domain and metamodeling development approaches
由: Ameerbakhsh, Omair, et al.
出版: (2021)

Face validation of database forensic investigation metamodel
由: Dhaqm, A. A., et al.
出版: (2021)

A metamodeling approach for iot forensic investigation
由: Muhammed Saleh, Muhammed Saleh, et al.
出版: (2023)

Development of a metamodeling tool for optimisation of control system
由: Abdullah, Shahrum Shah, et al.
出版: (2009)

Simplified database forensic investigation using metamodeling approach
由: Al-Dhaqm, Arafat Mohammed Rashad
出版: (2019)

Validating mobile forensic metamodel using tracing method
由: Ali, Abdulalem, et al.
出版: (2022)

Validating mobile forensic metamodel using tracing method
由: Ali, Abdulalem, et al.
出版: (2022)

Validating mobile forensic metamodel using tracing method
由: Ali, Abdulalem, et al.
出版: (2022)

Generic analysis metamodel based on service oriented software design
由: Nik Daud, Nik Marsyahariani, et al.
出版: (2015)

Non functional requirements (NFRs) traceability metamodel for agile development
由: Firdaus, Adila, et al.
出版: (2015)

A metamodel-based knowledge sharing system for disaster management
由: Othman, S. H., et al.
出版: (2016)

Towards adapting metamodeling approach for the mobile forensics investigation domain
由: Ali, Abdulalem, et al.
出版: (2015)

Towards metamodel-based approach for Information Security Awareness Management
由: Jama, A. Y., et al.
出版: (2015)

Towards adapting metamodelling technique for database forensics investigation domain
由: Al-Dhaqm, A. M. R., et al.
出版: (2015)

Towards managing information security knowledge through metamodelling approach
由: Baras, D. S. A., et al.
出版: (2015)

A metamodeling approach for structuring and organizing cloud forensics domain.
由: Al-Mugerrn, Rafef, et al.
出版: (2023)

Metamodel-based framework in designing fault management in network management system
由: Mohammad Shahuddin, Syuhada
出版: (2017)

House price volatility metamodel for managing house price volatility knowledge
由: Abdullah, Aishah
出版: (2017)

Expert validation of online social networks forensic investigation metamodel (OSNFIM)
由: Bade, Aliyu Musa, et al.
出版: (2023)

Development of metamodel on information security risk audit and assessment for it assets in commercial bank
由: Chen, Clement Kai Wen, et al.
出版: (2018)

Extensibility interaction flow modeling language metamodels to develop new web application concerns
由: Wakil, Karzan, et al.
出版: (2017)

Towards adapting metamodelling technique for an online social networks forensic investigation (OSNFI) Domain
由: Bade, Aliyu Musa, et al.
出版: (2022)

Modelling semantics of security risk assessment for bring your own device using metamodelling technique
由: Md. Zain, Zamhariah
出版: (2018)

Information Security Management Metamodel (ISMM) validation and verification through frequency-based selection technique
由: Abobakr Baras, Doaa Saleh, et al.
出版: (2021)

The Role of Metamodeling in Systems Development
由: Balsam A. J., Mustafa, et al.
出版: (2023)

Introducing the open source metamodel concept
由: Elsawi, Ahmed Mohammed, et al.
出版: (2013)

Development of Metamodels as Logical and Algebraic Systems
由: Mezhuyev, Vitaliy
出版: (2014)

Factors Affecting the Metamodelling Acceptance: A Case Study From Software Development Companies in Malaysia
由: Mezhuyev, Vitaliy, et al.
出版: (2018)

A Systematic Review of Metamodelling in Software Engineering
由: Murni Fatehah, Alias, et al.
出版: (2020)

Development of physical security protection metamodel
由: Ahmed Hashi, Hussein
出版: (2013)

Pengintegrasian data extensible markup language (XML) ke dalam pangkalan data hubungan menggunakan common warehouse metamodel (CWM)
由: Mohd. Nasir, Wan Mohd. Haffiz
出版: (2007)

Development and validation of a database forensic metamodel (DBFM)
由: Al Dhaqm, A., et al.
出版: (2017)

Quality assurance in higher education metamodel-based system
由: Othman, Siti Hajar, et al.
出版: (2018)

Student's intention to use wikis for Online Collaborative Learning (OCL)
由: Syed Salim, Sharifah Masitah
出版: (2016)