Ontology-Driven Audit Using the REA-Ontology

[1]  Monique Snoeck,et al.  B-MERODE: A Model-Driven Engineering and Artifact-Centric Approach to Generate Blockchain-Based Information Systems , 2020, CAiSE.

[2]  Jing Liu,et al.  A Survey on Security Verification of Blockchain Smart Contracts , 2019, IEEE Access.

[3]  Simon Polovina,et al.  REA2: A unified formalisation of the Resource-Event-Agent ontology , 2018, Appl. Ontology.

[4]  James Miller,et al.  Test Case Prioritization Using Extended Digraphs , 2015, ACM Trans. Softw. Eng. Methodol..

[5]  Monique Snoeck,et al.  Assessing the effectiveness of feedback enabled simulation in teaching conceptual modeling , 2014, Comput. Educ..

[6]  Lionel C. Briand,et al.  Achieving scalable model-based testing through test case diversity , 2013, TSEM.

[7]  Giancarlo Guizzardi,et al.  Transforming OntoUML into Alloy: towards conceptual model validation using a lightweight formal method , 2010, Innovations in Systems and Software Engineering.

[8]  V. Allee.  Value network analysis and value conversion of tangible and intangible assets , 2008 .

[9]  Monique Snoeck,et al.  Consistency by Construction: The Case of MERODE , 2003, ER.

[10]  Monique Snoeck,et al.  Existence Dependency: The Key to Semantic Integrity Between Structural and Behavioral Aspects of Object Types , 1998, IEEE Trans. Software Eng..

[11]  Guido Dedene,et al.  Formal Deadlock Elimination in an Object Oriented Conceptual Schema , 1995, Data Knowl. Eng..

[12]  Patrick Th. Eugster,et al.  Accurate Smart Contract Verification Through Direct Modelling , 2020, ISoLA.

[13]  Nicola Guarino.  Understanding and building, using ontologies , 1997, Int. J. Hum. Comput. Stud..