Cover Image

Mapping from OCL/UML metamodel to PVS metamodel

Saved in:

Bibliographic Details
Main Author:	Ab Rahim, Lukman
Format:	Conference or Workshop Item
Published:	2008
Subjects:	QA75 Electronic computers. Computer science
Online Access:	http://eprints.utp.edu.my/8047/1/mapping_from_ocl_to_pvs.pdf http://eprints.utp.edu.my/8047/
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Mapping from OCL/UML metamodel to PVS metamodel
by: L.A., Rahim
Published: (2008)

PVS metamodel
by: Ab Rahim, Lukman
Published: (2009)

Evaluating different processes of translating OCL to PVS using model transformation
by: Ab Rahim, Lukman
Published: (2008)

Usage scenarios and goals for ontology definition metamodel
by: Hart, Lewis, et al.
Published: (2004)

Development of metamodel for information security risk management
by: Mohammed Ba Muqabel, Mohammed Salem
Published: (2013)

A metamodel for mobile forensics investigation domain
by: Ali, A., et al.
Published: (2017)

Digital forensics domain and metamodeling development approaches
by: Ameerbakhsh, Omair, et al.
Published: (2021)

Face validation of database forensic investigation metamodel
by: Dhaqm, A. A., et al.
Published: (2021)

A metamodeling approach for iot forensic investigation
by: Muhammed Saleh, Muhammed Saleh, et al.
Published: (2023)

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

Simplified database forensic investigation using metamodeling approach
by: Al-Dhaqm, Arafat Mohammed Rashad
Published: (2019)

Validating mobile forensic metamodel using tracing method
by: Ali, Abdulalem, et al.
Published: (2022)

Validating mobile forensic metamodel using tracing method
by: Ali, Abdulalem, et al.
Published: (2022)

Validating mobile forensic metamodel using tracing method
by: Ali, Abdulalem, et al.
Published: (2022)

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

Non functional requirements (NFRs) traceability metamodel for agile development
by: Firdaus, Adila, et al.
Published: (2015)

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

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

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

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

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

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

Metamodel-based framework in designing fault management in network management system
by: Mohammad Shahuddin, Syuhada
Published: (2017)

House price volatility metamodel for managing house price volatility knowledge
by: Abdullah, Aishah
Published: (2017)

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

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

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

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

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

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

The Role of Metamodeling in Systems Development
by: Balsam A. J., Mustafa, et al.
Published: (2023)

Introducing the open source metamodel concept
by: Elsawi, Ahmed Mohammed, et al.
Published: (2013)

Development of Metamodels as Logical and Algebraic Systems
by: Mezhuyev, Vitaliy
Published: (2014)

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

Development of physical security protection metamodel
by: Ahmed Hashi, Hussein
Published: (2013)

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

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

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

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

Enhancement of UML-based web engineering for metamodels : homepage development case study
by: Said, Karzan Wakil
Published: (2013)