@leonardo

Model-driven development of reactive information systems: from graph transformation rules to JML contracts

, and . International Journal on Software Tools for Technology Transfer, 9 (2): 193--207 (March 2007)
DOI: 10.1007/s10009-006-0020-z

Links and resources

Tags

community

  • @dblp
  • @leonardo
@leonardo's tags highlighted