Use Case Analysis Based on Formal Methods: An Empirical Study

DOI10.1007/978-3-319-28114-8_7zbMath1472.68196OpenAlexW2412230309MaRDI QIDQ2787344

Ingrid Nunes, Marcos William da Silva Oliveira, Filipe Reis, E. Cota, Lucio Mauro Duarte, Leila Ribeiro

Publication date: 25 February 2016

Published in: Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-28114-8_7

zbMATH Keywords

model analysisempirical studygraph transformationuse cases

Mathematics Subject Classification ID

Knowledge representation (68T30) Grammars and rewriting systems (68Q42)

Related Items (1)

On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems

This page was built for publication: Use Case Analysis Based on Formal Methods: An Empirical Study