Use case analysis based on formal methods: an empirical study

DOI10.1007/978-3-319-28114-8_7MaRDI QIDQ2787344zbMATH OpenOpenAlexFDO

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

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

empirical studygraph transformationmodel analysisuse cases

Mathematics Subject Classification ID

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

Recommendations

• Fixing generalization defects in \textsc{UML} use case diagrams
• scientific article; zbMATH DE number 1693518
• scientific article; zbMATH DE number 1728249
• scientific article; zbMATH DE number 2006508
• Fundamental Approaches to Software Engineering

Cited in

(5)

• On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems
• scientific article; zbMATH DE number 1728249 (Why is no real title available?)
• Fixing generalization defects in \textsc{UML} use case diagrams
• Fundamental Approaches to Software Engineering
• Clarifying the semantics of value in use cases through Jackson's problem frames

This page was built for publication: Use case analysis based on formal methods: an empirical study

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2787344)