Deriving a digraph isomorphism for digraph compliance measurement

Authors:
Linda Marshall;Derrick Kourie
Affiliations:
University of Pretoria, South Africa;University of Pretoria, South Africa
Venue:
SAICSIT '10 Proceedings of the 2010 Annual Research Conference of the South African Institute of Computer Scientists and Information Technologists
Year:
2010

Citing 3
Cited 2

Depth-first iterative-deepening: an optimal admissible tree search

Artificial Intelligence
Artificial Intelligence: Structures and Strategies for Complex Problem Solving

Artificial Intelligence: Structures and Strategies for Complex Problem Solving
A Tour through the Visualization Zoo

Queue - Visualization

Developing a computer science curriculum in the South African context

Computer Science Education Research Conference
A comparison of the core aspects of the ACM/IEEE Computer Science Curriculum 2013 Strawman report with the specified core of CC2001 and CS2008 review

Proceedings of Second Computer Science Education Research Conference

Quantified Score

Hi-index	0.00

Visualization

Abstract

Many problems in the world exists where it is necessary to compare a given implementation with a specification and provide some quantification as to whether the implementation complies with the specification. An example of such a problem is determining whether a given curriculum complies with a specification as stipulated by a professional body such as the ACM/IEEE curriculum for Computing. In order to provide a mechanism for quantification, an algorithm is proposed that builds a new model. The new model is built in terms of the specification by making use of the contents of the implementation thereby ensuring that there is no loss of implementation data. Quantification with regards to the compliance of the implementation to the specification is provided by the proposed compliance measure. The measure comprises a suite of metrics with which the specification, implementation and the new model may be compared, resulting in a management tool for model improvement. A size-based metric of the compliance measure is proposed.