Journal of Software Engineering and Applications
Volume 8, Issue 8 (August 2015)
ISSN Print: 1945-3116 ISSN Online: 1945-3124
Google-based Impact Factor: 1.22 Citations h5-index & Ranking
An Integration of UML Sequence Diagram with Formal Specification Methods—A Formal Solution Based on Z ()
Affiliation(s)
ABSTRACT
KEYWORDS
Share and Cite:
Cited by
Copyright © 2024 by authors and Scientific Research Publishing Inc.
This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.