Refinement Inference for Sequence Diagrams

DOI10.1007/978-3-642-35843-2_37zbMATH Open1303.68040OpenAlexW2106823034MaRDI QIDQ2927663

Lunjin Lu, Dae-Kyoo Kim

Publication date: 4 November 2014

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

Full work available at URL: https://doi.org/10.1007/978-3-642-35843-2_37

zbMATH Keywords

sequence diagramspattern conformancerefinement inferencerefinement of sequence diagramsrefinement verificationsemantics of sequence diagramssequence diagram transformation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Refinement Inference for Sequence Diagrams

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