External Links

Cite Key

Statistics

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

PDF

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.

A Formal Semantics for Use Case Diagram Via Event-B

Thiago C. de Sousa, Luciano Kelvin, Constantino D. Neto, Carlos Giovanni Nunes de Carvalho. A Formal Semantics for Use Case Diagram Via Event-B. JSW, 12(3):189-200, 2017. [doi]

Authors

Thiago C. de Sousa

This author has not been identified. Look up 'Thiago C. de Sousa' in Google

Luciano Kelvin

This author has not been identified. Look up 'Luciano Kelvin' in Google

Constantino D. Neto

This author has not been identified. Look up 'Constantino D. Neto' in Google

Carlos Giovanni Nunes de Carvalho

This author has not been identified. Look up 'Carlos Giovanni Nunes de Carvalho' in Google
runs on