Consistency Checking of Re-engineered UML Class Diagrams via Datalog+/-
Attributed to:
VADA: Value Added Data Systems -- Principles and Architecture
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-319-21542-6_3
Publication URI: http://dx.doi.org/10.1007/978-3-319-21542-6_3
Type: Book Chapter
Book Title: Rule Technologies: Foundations, Tools, and Applications - 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings (2015)
Page Reference: 35-53
ISBN: 978-3-319-21541-9