External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Formal Verification of UML Diagrams: A First Step Towards Code Generation

Jeffrey E. Smith, Mieczyslaw M. Kokar, Kenneth Baclawski. Formal Verification of UML Diagrams: A First Step Towards Code Generation. In Andy Evans, Robert B. France, Ana M. D. Moreira, Bernhard Rumpe, editors, Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists, Workshop of the pUML-Group held together with the «UML»2001, October 1st, 2001 in Toronto, Canada. Volume 7 of LNI, pages 224-240, GI, 2001.

Authors

Jeffrey E. Smith

This author has not been identified. Look up 'Jeffrey E. Smith' in Google

Mieczyslaw M. Kokar

This author has not been identified. Look up 'Mieczyslaw M. Kokar' in Google

Kenneth Baclawski

This author has not been identified. Look up 'Kenneth Baclawski' in Google
runs on