A formal mapping between UML models and object-z specifications

@inproceedings{Kim2000AFM,
  title={A formal mapping between UML models and object-z specifications},
  author={Soon-Kyeong Kim and David A. Carrington},
  year={2000}
}

Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 66 CITATIONS, ESTIMATED 22% COVERAGE

Formal Specification of AML

VIEW 8 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

UML / OCL or Object-Z ?

VIEW 3 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

A Validation Approach for Checking Mobile Agents based UML

VIEW 3 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Formalizing the framework design language F-UML

  • First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings.
  • 2003
VIEW 3 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

FILTER CITATIONS BY YEAR

2000
2018

CITATION STATISTICS

  • 8 Highly Influenced Citations

  • Averaged 1 Citations per year over the last 3 years

Similar Papers

Loading similar papers…