Validation of System Behavior from an Integrated Semantics of Use Case and Design Models

Duc-Hanh Dang. Validation of System Behavior from an Integrated Semantics of Use Case and Design Models. In Claudia Pons, editor, Proceedings of the Doctoral Symposium at the ACM/IEEE 10th International Conference on Model-Driven Engineering Languages and Systems, Nashville (TN), USA, October 1st, 2007. Volume 262 of CEUR Workshop Proceedings, CEUR-WS.org, 2007. [doi]

@inproceedings{Dang07,
  title = {Validation of System Behavior from an Integrated Semantics of Use Case and Design Models},
  author = {Duc-Hanh Dang},
  year = {2007},
  url = {http://ceur-ws.org/Vol-262/paper07.pdf},
  tags = {semantics, design},
  researchr = {https://researchr.org/publication/Dang07},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the  Doctoral Symposium at the ACM/IEEE 10th International Conference on Model-Driven Engineering Languages and Systems, Nashville (TN), USA, October 1st, 2007},
  editor = {Claudia Pons},
  volume = {262},
  series = {CEUR Workshop Proceedings},
  publisher = {CEUR-WS.org},
}