Abstract
Software engineering diagrams are hard to verify and formally analyse, often due to inadequately defined diagram semantics: the semantics often does not enable formal analysis, or may be under specified to a degree that does not allow useful properties to be checked.
Original language | Undefined/Unknown |
---|---|
Pages | 414 |
DOIs | |
Publication status | Published - 2010 |