A Rule-based Method to Match Software Patterns Against UML Models

DOI10.1016/j.entcs.2008.10.034zbMath1286.68305OpenAlexW2091851140MaRDI QIDQ5415655

Andrea Baruzzo, Marco Comini, Demis Ballis

Publication date: 13 May 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2008.10.034

zbMATH Keywords

pattern matchingrule-based domain specific languageUML design patternsUML formal specification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: A Rule-based Method to Match Software Patterns Against UML Models